Download Efficient Time-Triggered Execution in an Interrupt-Driven Real

[9] Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, and Rebecca
Isaacs. 30 seconds is not enough! A study of operating system timer usage. In
Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer
Systems 2008 (EuroSys ’08), pages 205–218, New York, NY, USA, March 2008.
ACM Press.
[10] G. Varghese and T. Lauck. Hashed and hierarchical timing wheels: Data
structures for the efficient implementation of a timer facility. In Proceedings of
the 11th ACM Symposium on Operating Systems Principles (SOSP ’87), pages
25–38, New York, NY, USA, 1987. ACM Press.
[11] Ingo Molnar. kernel/timer.c design. http://lkml.org/lkml/2005/10/19/46,
2005.
[12] Antônio Augusto Fröhlich, Giovani Gracioli, and João Felipe Santos. Periodic
timers revisited: The real-time embedded system perspective. Computers &
Electrical Engineering, 37(3):365–375, 2011.
46