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_channel.c File Reference

One redundant channel: validates parameters, then dispatches to its configured send/recv callbacks, tracking health as a side effect (ADR-025). More...

Include dependency graph for rte_channel.c:

Go to the source code of this file.

Functions

rte_status_t rte_channel_init (rte_channel_storage_t *storage, const rte_channel_config_t *config)
 Initializes one vital channel over a caller-supplied transport.
rte_status_t rte_channel_send (rte_channel_t *handle, const void *data, size_t data_size)
 Sends data on this channel via its OSAdapter send callback.
rte_status_t rte_channel_receive (rte_channel_t *handle, void *data, size_t data_size, uint32_t timeout_ms)
 Receives data on this channel via its OSAdapter receive callback.
rte_status_t rte_channel_get_health (const rte_channel_t *handle, rte_channel_health_t *out_health)
 Queries this channel's health statistics.
const char * rte_channel_get_name (const rte_channel_t *handle)
 Returns this channel's name, as given in rte_channel_config_t::name at rte_channel_init() time.
rte_status_t rte_channel_set_healthy (rte_channel_t *handle, bool is_healthy)
 Marks this channel healthy/unhealthy.
rte_status_t rte_channel_destroy (rte_channel_t *handle)
 Destroys a vital channel instance.

Detailed Description

One redundant channel: validates parameters, then dispatches to its configured send/recv callbacks, tracking health as a side effect (ADR-025).

Definition in file rte_channel.c.