Abstract
This position paper revises the execution time timers and group budgets of the Ada programming language, to provide full support for execution time control for interrupt handling similar to that for tasks. This is done by adding abstract execution time timer and group budget types, that are inherited by the concrete timers and group budgets for tasks and interrupts. The visitor pattern with double dispatching is applied to allow a single implementation of an execution time control policy, such as the deferrable server, to work for both tasks and interrupts.
- K. N. Gregertsen and A. Skavhaug. A Real-Time Framework for Ada 2005 and the Ravenscar Profile. In 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, pages 515--522. IEEE, 2009. Google Scholar
Digital Library
- K. N. Gregertsen and A. Skavhaug. Implementing the new Ada 2005 timing event and execution time control features on the AVR32 architecture. Journal of Systems Architecture, 56(10):509--522, oct 2010. Google Scholar
Digital Library
- K. N. Gregertsen and A. Skavhaug. Implementation and Usage of the new Ada 2012 Execution Time Control Features. Ada User Journal, 32(4):265--275, 2011.Google Scholar
- K. N. Gregertsen and A. Skavhaug. Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit. In Reliable Software Technologies -- Ada-Europe 2012, pages 177--192. Springer Berlin Heidelberg, 2012. Google Scholar
Digital Library
- K. N. Gregertsen and A. Skavhaug. Execution time timers for interrupt handling. ACM SIGAda Ada Letters, 33(2):87--96, nov 2013. Google Scholar
Digital Library
- T. Vardanega and R. White. Session summary: improvements to Ada. ACM SIGAda Ada Letters, 33(2):126--130, nov 2013. Google Scholar
Digital Library
Recommendations
Execution time timers for interrupt handling
This paper argues that the addition of interrupt timers follows naturally by execution time measurement for interrupt handling introduced with Ada 2012, and that full execution time control for interrupts allows safety against unexpected interrupt rates ...
Execution-time control for interrupt handling
This paper proposes that execution-time control features for interrupt handling should be added to the Ada standard library. By measuring the execution-time for interrupts separately the accuracy of task execution-time measurement will be also improved. ...
Interrupt Handling for Out-of-Order Execution Processors
Processors with multiple functional units, including the superscalars, achieve significant performance enhancement through low-level execution concurrency. In such processors, multiple instructions are often issued and definitely executed concurrently ...






Comments