API for the environment data structure.
void * lf_thread_t
Definition lf_arduino_support.h:120
Type definitions that are widely used across different parts of the runtime.
Execution environment. This struct contains information about the execution environment....
Definition environment.h:49
Definition lf_POSIX_threads_support.h:41
The base type for all reactor self structs.
Definition lf_types.h:276
Definition lf_types.h:208
struct self_base_t * base
Definition watchdog.h:30
watchdog_function_t watchdog_function
Definition watchdog.h:38
lf_cond_t cond
Definition watchdog.h:35
bool active
Definition watchdog.h:36
lf_thread_t thread_id
Definition watchdog.h:34
instant_t expiration
Definition watchdog.h:32
interval_t min_expiration
Definition watchdog.h:33
trigger_t * trigger
Definition watchdog.h:31
bool terminate
Definition watchdog.h:37
int64_t instant_t
Definition tag.h:63
int64_t interval_t
Definition tag.h:68
void _lf_initialize_watchdogs(environment_t *env)
Initialize watchdog mutexes. For any reactor with one or more watchdogs, the self struct should have ...
Definition watchdog.c:29
void _lf_watchdog_terminate_all(environment_t *env)
Terminate all watchdog threads.
Definition watchdog.c:45
void(* watchdog_function_t)(void *)
Definition watchdog.h:26
void lf_watchdog_start(watchdog_t *watchdog, interval_t additional_timeout)
Start or restart the watchdog timer.
Definition watchdog.c:142
void lf_watchdog_stop(watchdog_t *watchdog)
Stop the specified watchdog without invoking the expiration handler. This function sets the expiratio...
Definition watchdog.c:154
struct watchdog_t watchdog_t