Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
Loading...
Searching...
No Matches
rte_checkpoint.h
Go to the documentation of this file.
1
47
48#ifndef RTE_CHECKPOINT_H
49#define RTE_CHECKPOINT_H
50
51#include <stdint.h>
52
57
58#ifdef __cplusplus
59extern "C" {
60#endif
61
69typedef struct
70{
75 uint32_t checkpoint_id;
76
82
86
98 rte_watchdog_t watchdog;
100
138 const rte_checkpoint_config_t *config);
139
140#ifdef __cplusplus
141}
142#endif
143
145
146#endif /* RTE_CHECKPOINT_H */
rte_status_t rte_channel_checkpoint(rte_voter_t *voter, const rte_checkpoint_config_t *config)
Performs one bounded checkpoint rendezvous across every channel registered with a voter.
rte_status_t
Common result/status codes.
Definition rte_status.h:27
uint32_t rte_duration_ms_t
Definition rte_types.h:27
rte_voter_storage_t rte_voter_t
Opaque handle to a voter instance.
Definition rte_voter.h:149
Common status/error codes returned by every Safe API Framework function. Shared across all OS Abstrac...
Common fixed-width types and the caller-owned-storage handle pattern used by every OAL service (see A...
N-way voting across registered rte_channel_t links (2oo2/2oo3/NMR).
Watchdog mechanism for detecting system/task hang conditions.
Checkpoint configuration.
rte_duration_ms_t max_delay_ms