reactor-c/reactor__threaded_8h_source.html

#ifndef REACTOR_THREADED_H

#define REACTOR_THREADED_H


#include "lf_types.h"


void _lf_increment_tag_barrier(environment_t* env, tag_t future_tag);


void _lf_increment_tag_barrier_locked(environment_t* env, tag_t future_tag);


void _lf_decrement_tag_barrier_locked(environment_t* env);


int _lf_wait_on_tag_barrier(environment_t* env, tag_t proposed_tag);


bool wait_until(instant_t wait_until_time, lf_cond_t* condition);


tag_t get_next_event_tag(environment_t* env);


tag_t send_next_event_tag(environment_t* env, tag_t tag, bool wait_for_reply);


void _lf_next_locked(environment_t* env);

#endif // REACTOR_THREADED_H

instant_t
int64_t instant_t
Time instant.
Definition tag.h:101

_lf_increment_tag_barrier_locked
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.

_lf_wait_on_tag_barrier
int _lf_wait_on_tag_barrier(environment_t *env, tag_t proposed_tag)
Wait on the tag barrier for the environment.

_lf_decrement_tag_barrier_locked
void _lf_decrement_tag_barrier_locked(environment_t *env)
Decrement the total number of pending barrier requests for the environment tag barrier.

send_next_event_tag
tag_t send_next_event_tag(environment_t *env, tag_t tag, bool wait_for_reply)
Send the next event tag.

wait_until
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.

get_next_event_tag
tag_t get_next_event_tag(environment_t *env)
Return the tag of the next event on the event queue.

_lf_increment_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 ...

_lf_next_locked
void _lf_next_locked(environment_t *env)
Advance the logical time.

lf_types.h
Type definitions that are widely used across different parts of the runtime.

environment_t
Execution environment.
Definition environment.h:52

tag_t
A tag is a time, microstep pair.
Definition tag.h:119