ITaskHeartbeatSink class
#include <system/task_health.hpp>
Narrow sink used by task runners to publish liveness heartbeats.
The interface is intentionally transport- and scheduler-agnostic so it can be used from FreeRTOS tasks as well as host-testable coordination code.
Derived classes
- class TaskHealthMonitor final
- Tracks per-task heartbeat freshness and watchdog gating eligibility.
Constructors, destructors, conversion operators
- ~ITaskHeartbeatSink() defaulted virtual
Public functions
- void publish_heartbeat(TaskHealthTaskId task_id, uint64_t now_ms) pure virtual
- Publishes one liveness heartbeat for the selected task at
now_ms.