|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
Priority queue for deferred work. Higher priority tasks execute first. Fixed storage, no allocation. Application dequeues and executes.
rte_task_queue_enqueue(queue, task) - Add to queue rte_task_queue_dequeue(queue, task) - Remove highest priority
Tasks sorted by priority field (higher = first). Same priority: FIFO.
Enqueue: O(n) insertion sort Dequeue: O(n) shift n = queue size (typically < 64)