Loading [MathJax]/extensions/TeX/extpfeil.js
Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS | IEEE Conference Publication | IEEE Xplore

Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS


Abstract:

Traditional time-triggered operating systems are implemented by multiplexing a single hardware timer - the system timer - in software, having the kernel maintain dispatch...Show More

Abstract:

Traditional time-triggered operating systems are implemented by multiplexing a single hardware timer - the system timer - in software, having the kernel maintain dispatcher tables at run time. Our Sloth on Time approach proposes to make use of multiple timer cells as available on modern micro controller platforms to encapsulate dispatcher tables in the timer configuration, yielding low scheduling and dispatching latencies at run time. Sloth on Time instruments available timer cells in different roles to implement time-triggered task activation, deadline monitoring, and time synchronization, amongst others. By comparing the Sloth on Time kernel implementation to two commercial kernels, we show that our concept significantly reduces the overhead of time-triggered operating systems. The speed-ups in task dispatching that it achieves range up to a factor of 171x, and its dispatch latencies go as low as 14 clock cycles. Additionally, we demonstrate that Sloth on Time minimizes jitter and increases schedulability for its real-time applications, and that it avoids situations of priority inversion where traditional kernels fail by design.
Date of Conference: 04-07 December 2012
Date Added to IEEE Xplore: 31 January 2013
Print ISBN:978-1-4673-3098-5
Print ISSN: 1052-8725
Conference Location: San Juan, PR, USA

Contact IEEE to Subscribe

References

References is not available for this document.