watchdog.h

Go to the documentation of this file.

 
#ifndef WATCHDOG_H
#define WATCHDOG_H 1
 
#include "lf_types.h"
#include "environment.h"
#include "platform.h" // For lf_thread_t.
 
#ifdef __cplusplus
extern "C" {
#endif

typedef void (*watchdog_function_t)(void*);

typedef struct watchdog_t {
  struct self_base_t* base;

  trigger_t* trigger;

  instant_t expiration;

  interval_t min_expiration;

  lf_thread_t thread_id;

  lf_cond_t cond;

  bool active;

  bool terminate;

  watchdog_function_t watchdog_function;
} watchdog_t;

void lf_watchdog_start(watchdog_t* watchdog, interval_t additional_timeout);

void lf_watchdog_stop(watchdog_t* watchdog);

// The following functions are internal to the runtime and should not be documented by Doxygen.

void _lf_initialize_watchdogs(environment_t* env);

void _lf_watchdog_terminate_all(environment_t* env);
 
#ifdef __cplusplus
}
#endif
 
#endif