Barrelfish
Data Fields
waitset_chanstate Struct Reference

Per-channel state belonging to waitset. More...

+ Collaboration diagram for waitset_chanstate:

Data Fields

struct waitset_chanstateprev
 Next/prev channel in queue.
 
struct waitsetwaitset
 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_chanstatepolled_prev
 Dispatcher's polled queue.
 
struct threadwait_for
 Thread waiting for this event.
 
struct waitset_chanstatetrigger
 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: