Barrelfish
Data Fields
waitset_chanstate Struct Reference

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.
 

Detailed Description

Per-channel state belonging to waitset.

This data is logically private to the waitset, but is allocated and stored inside the channels themselves.


The documentation for this struct was generated from the following file: