Thread IDs
struct tid_range { struct rbt_node node; uint64_t start; uint64_t length; struct tid_range *next;};struct tid_range referenced types:
struct tid_space { struct rbt tree; struct spinlock lock; struct tid_range reserve_pool[TID_RANGE_RESERVE_COUNT]; struct tid_range *reserve_free;};struct tid_space referenced types:
Defines
Section titled “Defines”#define TID_RANGE_RESERVE_COUNT 128