Barrelfish
|
Per-channel state belonging to waitset. More...
Data Fields | |
struct waitset_chanstate * | prev |
Next/prev channel in queue. | |
struct waitset * | waitset |
Waitset in which this channel is registered. | |
struct event_closure | closure |
Event closure to run when channel is ready. | |
enum ws_chantype | chantype |
Channel type. | |
enum ws_chanstate | state |
Channel event state. | |
uint32_t | token |
Token of an event. | |
bool | persistent |
Channel should be always registered. | |
struct waitset_chanstate * | polled_prev |
Dispatcher's polled queue. | |
struct thread * | wait_for |
Thread waiting for this event. | |
struct waitset_chanstate * | trigger |
Chanstate that triggers this chanstate. | |
Per-channel state belonging to waitset.
This data is logically private to the waitset, but is allocated and stored inside the channels themselves.