Barrelfish
|
Data Fields | |
struct bulk_pool_id | id |
lvaddr_t | base_address |
size_t | buffer_size |
enum bulk_trust_level | trust |
struct capref | pool_cap |
size_t | num_buffers |
struct bulk_buffer ** | buffers |
The bulk pool is a continuous region in (virtual) memory that consists of equally sized buffers.
lvaddr_t bulk_pool::base_address |
the base address of the pool
size_t bulk_pool::buffer_size |
the size of a single buffer in bytes
struct bulk_buffer** bulk_pool::buffers |
array of the buffers for this pool (pre allocated)
struct bulk_pool_id bulk_pool::id |
TODO: find a unique id
size_t bulk_pool::num_buffers |
the maximum number of buffers in this pool
struct capref bulk_pool::pool_cap |
capability for the entire pool
enum bulk_trust_level bulk_pool::trust |
pool trust level depending on first assignment