|
Barrelfish
|
Per-channel state belonging to waitset. More...
Collaboration diagram for waitset_chanstate: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.
1.8.11