reactor_threaded.h File Reference

Runtime infrastructure for the threaded version of the C target of Lingua Franca. More...

#include "lf_types.h"

Go to the source code of this file.

Functions
void	_lf_decrement_tag_barrier_locked (environment_t *env)
	Decrement the total number of pending barrier requests for the environment tag barrier.
void	_lf_increment_tag_barrier (environment_t *env, tag_t future_tag)
	Raise a barrier to prevent the current tag for the specified environment from advancing to or beyond the value of the future_tag argument, if possible.
void	_lf_increment_tag_barrier_locked (environment_t *env, tag_t future_tag)
	Version of _lf_increment_tag_barrier to call when the caller holds the mutex.
void	_lf_next_locked (environment_t *env)
	Advance the logical time.
int	_lf_wait_on_tag_barrier (environment_t *env, tag_t proposed_tag)
	Wait on the tag barrier for the environment.
tag_t	get_next_event_tag (environment_t *env)
	Return the tag of the next event on the event queue.
tag_t	send_next_event_tag (environment_t *env, tag_t tag, bool wait_for_reply)
	Send the next event tag.
bool	wait_until (instant_t wait_until_time, lf_cond_t *condition)
	Wait until physical time matches or exceeds the time of the specified tag.

Detailed Description

Runtime infrastructure for the threaded version of the C target of Lingua Franca.

Author

Edward A. Lee

Marten Lohstroh

Soroush Bateni