ssm
Runtime Library for the Sparse Synchronous Model
|
Indicates a routine should run when a scheduled variable is written. More...
#include <ssm.h>
Data Fields | |
struct ssm_trigger * | next |
Next sensitive trigger, if any. More... | |
struct ssm_trigger ** | prev_ptr |
Pointer to ourself in previous list element. More... | |
ssm_act_t * | act |
Routine triggered by this channel variable. More... | |
Indicates a routine should run when a scheduled variable is written.
Node in linked list of activation records, maintained by each scheduled variable to determine which continuations should be scheduled when the variable is updated.
ssm_act_t* act |
Routine triggered by this channel variable.
struct ssm_trigger* next |
Next sensitive trigger, if any.
struct ssm_trigger** prev_ptr |
Pointer to ourself in previous list element.