@ -12,13 +12,17 @@
typedef u32 Handle ; typedef u32 Handle ;
typedef s32 Result ; typedef s32 Result ;
const Handle INVALID_HANDLE = 0 ;
namespace Kernel { namespace Kernel {
// From kernel.h. Declarations duplicated here to avoid a circular header dependency.
// TODO: Verify code
class Thread ; const ResultCode ERR_OUT_OF_HANDLES ( ErrorDescription : : OutOfMemory , ErrorModule : : Kernel ,
Thread * GetCurrentThread ( ) ; ErrorSummary : : OutOfResource , ErrorLevel : : Temporary ) ;
// TOOD: Verify code
const ResultCode ERR_INVALID_HANDLE = InvalidHandle ( ErrorModule : : Kernel ) ;
enum KernelHandle { enum KernelHandle : {
CurrentThread = 0xFFFF8000 ,
CurrentThread = 0xFFFF8000 ,
CurrentProcess = 0xFFFF8001 ,
CurrentProcess = 0xFFFF8001 ,
} ; } ;
@ -61,103 +65,127 @@ public:
LOG_ERROR ( Kernel , " (UNIMPLEMENTED) " ) ;
LOG_ERROR ( Kernel , " (UNIMPLEMENTED) " ) ;
return UnimplementedFunction ( ErrorModule : : Kernel ) ;
return UnimplementedFunction ( ErrorModule : : Kernel ) ;
}
}
} ;
class HandleTable : NonCopyable { private :
public : friend void intrusive_ptr_add_ref ( Object * ) ;
HandleTable ( ) ;
friend void intrusive_ptr_release ( Object * ) ;
~ HandleTable ( ) { }
// Allocates a handle within the range and inserts the object into the map.
unsigned int ref_count = 0 ;
Handle Create ( Object * obj , int range_bottom = INITIAL_NEXT_ID , int range_top = 0x7FFFFFFF ) ; } ;
static Object * CreateByIDType ( int type ) ;
// Special functions that will later be used by boost::instrusive_ptr to do automatic ref-counting
inline void intrusive_ptr_add_ref ( Object * object ) {
+ + object - > ref_count ;
}
template < class T >
inline void intrusive_ptr_release ( Object * object ) {
void Destroy ( Handle handle ) {
if ( - - object - > ref_count = = 0 ) {
if ( Get < T > ( handle ) ) {
delete object ;
occupied [ handle - HANDLE_OFFSET ] = false ;
delete pool [ handle - HANDLE_OFFSET ] ;
}
}
}
}
bool IsValid ( Handle handle ) const ;
/**
* This class allows the creation of Handles , which are references to objects that can be tested
* for validity and looked up . Here they are used to pass references to kernel objects to / from the
* emulated process . it has been designed so that it follows the same handle format and has
* approximately the same restrictions as the handle manager in the CTR - OS .
*
* Handles contain two sub - fields : a slot index ( bits 31 : 15 ) and a generation value ( bits 14 : 0 ) .
* The slot index is used to index into the arrays in this class to access the data corresponding
* to the Handle .
*
* To prevent accidental use of a freed Handle whose slot has already been reused , a global counter
* is kept and incremented every time a Handle is created . This is the Handle ' s " generation " . The
* value of the counter is stored into the Handle as well as in the handle table ( in the
* " generations " array ) . When looking up a handle , the Handle ' s generation must match with the
* value stored on the class , otherwise the Handle is considered invalid .
*
* To find free slots when allocating a Handle without needing to scan the entire object array , the
* generations field of unallocated slots is re - purposed as a linked list of indices to free slots .
* When a Handle is created , an index is popped off the list and used for the new Handle . When it
* is destroyed , it is again pushed onto the list to be re - used by the next allocation . It is
* likely that this allocation strategy differs from the one used in CTR - OS , but this hasn ' t been
* verified and isn ' t likely to cause any problems .
*/
class HandleTable final : NonCopyable {
public :
HandleTable ( ) ;
template < class T >
/**
T * Get ( Handle handle ) {
* Allocates a handle for the given object .
if ( handle = = CurrentThread ) {
* @ return The created Handle or one of the following errors :
return reinterpret_cast < T * > ( GetCurrentThread ( ) ) ;
* - ` ERR_OUT_OF_HANDLES ` : the maximum number of handles has been exceeded .
}
*/
ResultVal < Handle > Create ( Object * obj ) ;
if ( handle < HANDLE_OFFSET | | handle > = HANDLE_OFFSET + MAX_COUNT | | ! occupied [ handle - HANDLE_OFFSET ] ) {
/**
if ( handle ! = 0 ) {
* Returns a new handle that points to the same object as the passed in handle .
LOG_ERROR ( Kernel , " Bad object handle %08x " , handle ) ;
* @ return The duplicated Handle or one of the following errors :
}
* - ` ERR_INVALID_HANDLE ` : an invalid handle was passed in .
return nullptr ;
* - Any errors returned by ` Create ( ) ` .
} else {
*/
Object * t = pool [ handle - HANDLE_OFFSET ] ;
ResultVal < Handle > Duplicate ( Handle handle ) ;
if ( t - > GetHandleType ( ) ! = T : : HANDLE_TYPE ) {
LOG_ERROR ( Kernel , " Wrong object type for %08x " , handle ) ;
return nullptr ;
}
return static_cast < T * > ( t ) ;
}
}
// ONLY use this when you know the handle is valid.
/**
template < class T >
* Closes a handle , removing it from the table and decreasing the object ' s ref - count .
T * GetFast ( Handle handle ) {
* @ return ` RESULT_SUCCESS ` or one of the following errors :
if ( handle = = CurrentThread ) {
* - ` ERR_INVALID_HANDLE ` : an invalid handle was passed in .
return reinterpret_cast < T * > ( GetCurrentThread ( ) ) ;
*/
}
ResultCode Close ( Handle handle ) ;
const Handle realHandle = handle - HANDLE_OFFSET ;
/// Checks if a handle is valid and points to an existing object.
_dbg_assert_ ( Kernel , realHandle > = 0 & & realHandle < MAX_COUNT & & occupied [ realHandle ] ) ;
bool IsValid ( Handle handle ) const ;
return static_cast < T * > ( pool [ realHandle ] ) ;
}
template < class T , typename ArgT >
/**
void Iterate ( bool func ( T * , ArgT ) , ArgT arg ) {
* Looks up a handle .
int type = T : : GetStaticIDType ( ) ;
* @ returns Pointer to the looked - up object , or ` nullptr ` if the handle is not valid .
for ( int i = 0 ; i < MAX_COUNT ; i + + )
*/
{
Object * GetGeneric ( Handle handle ) const ;
if ( ! occupied [ i ] )
continue ;
T * t = static_cast < T * > ( pool [ i ] ) ;
if ( t - > GetIDType ( ) = = type ) {
if ( ! func ( t , arg ) )
break ;
}
}
}
bool GetIDType ( Handle handle , HandleType * type ) const {
/**
if ( ( handle < HANDLE_OFFSET ) | | ( handle > = HANDLE_OFFSET + MAX_COUNT ) | |
* Looks up a handle while verifying its type .
! occupied [ handle - HANDLE_OFFSET ] ) {
* @ returns Pointer to the looked - up object , or ` nullptr ` if the handle is not valid or its
LOG_ERROR ( Kernel , " Bad object handle %08X " , handle ) ;
* type differs from the handle type ` T : : HANDLE_TYPE ` .
return false ;
*/
template < class T >
T * Get ( Handle handle ) const {
Object * object = GetGeneric ( handle ) ;
if ( object ! = nullptr & & object - > GetHandleType ( ) = = T : : HANDLE_TYPE ) {
return static_cast < T * > ( object ) ;
}
}
Object * t = pool [ handle - HANDLE_OFFSET ] ;
return nullptr ;
* type = t - > GetHandleType ( ) ;
return true ;
}
}
Object * & operator [ ] ( Handle handle ) ;
/// Closes all handles held in this table.
void List ( ) ;
void Clear ( ) ;
void Clear ( ) ;
int GetCount ( ) const ;
private : private :
/**
* This is the maximum limit of handles allowed per process in CTR - OS . It can be further
* reduced by ExHeader values , but this is not emulated here .
*/
static const size_t MAX_COUNT = 4096 ;
static size_t GetSlot ( Handle handle ) { return handle > > 15 ; }
static u16 GetGeneration ( Handle handle ) { return handle & 0x7FFF ; }
/// Stores the Object referenced by the handle or null if the slot is empty.
std : : array < Object * , MAX_COUNT > objects ;
enum {
/**
MAX_COUNT = 0x1000 ,
* The value of ` next_generation ` when the handle was created , used to check for validity . For
HANDLE_OFFSET = 0x100 ,
* empty slots , contains the index of the next free slot in the list .
INITIAL_NEXT_ID = 0x10 ,
*/
} ;
std : : array < u16 , MAX_COUNT > generations ;
/**
* Global counter of the number of created handles . Stored in ` generations ` when a handle is
* created , and wraps around to 1 when it hits 0x8000 .
*/
u16 next_generation ;
std : : array < Object * , MAX_COUNT > pool ;
/// Head of the free slots linked list.
std : : array < bool , MAX_COUNT > occupied ;
u16 next_free_slot ;
int next_id ;
} ; } ;
extern HandleTable g_handle_table ; extern HandleTable g_handle_table ;
Yuri Kunde Schlesner
10 years ago