void lf_sched_init(environment_t *env, size_t number_of_workers, sched_params_t *parameters)
Initialize the scheduler.
void lf_sched_free(lf_scheduler_t *scheduler)
Free the memory used by the scheduler.
void lf_sched_done_with_reaction(size_t worker_number, reaction_t *done_reaction)
Inform the scheduler that worker thread 'worker_number' is done executing the 'done_reaction'.
reaction_t * lf_sched_get_ready_reaction(lf_scheduler_t *scheduler, int worker_number)
Ask the scheduler for one more reaction.
void lf_scheduler_trigger_reaction(lf_scheduler_t *scheduler, reaction_t *reaction, int worker_number)
Inform the scheduler that worker thread 'worker_number' would like to trigger 'reaction' at the curre...
Type definitions that are widely used across different parts of the runtime.
Common scheduler parameters.
Execution environment.
Definition environment.h:52
Parameters used in schedulers of the threaded reactor C runtime.
Definition scheduler_instance.h:35
Reaction activation record to push onto the reaction queue.
Definition lf_types.h:195
Struct representing the most common scheduler parameters.
Definition scheduler_instance.h:89