Abstract
Ada 2005 significantly improved Ada's capabilities for handling real time systems by introducing scheduling and timing paradigms. To date, Ada's support for multiprocessor systems has not been as effective, even though Ada has concurrency directly in the language. This paper identifies three missing paradigms from the language, mapping threads to processor\s, releasing many tasks from barriers, and Non-blocking_Delay, and proposes ways that they can be supported.
- ISO/IEC 8652:2007, The Ada Programming LanguageGoogle Scholar
- Barnes, John, Rationale for Ada 2005, available online from www.adaic.comGoogle Scholar
- Michell, Stephen., "Interfacing Ada to Operating Systems", Proceedings of the 13th Annual Real Time Ada Workshop, April 17-19 2007, ACM Ada Letters, Vol 27, Issue 2, July 2007, ACM, New York. Google Scholar
Digital Library
- IEEE 1003.1 and IS9945-1:2009, The Portable Operating System InterfaceGoogle Scholar
- Wellings A and Burns A., Beyond Ada 2005, "Allocating Tasks to Processors in SMP Systems", Proceedings of the 13th Annual Real Time Ada Workshop, April 17-19 2007, ACM Ada Letters, Vol 27, Issue 2, July 2007, ACM, New York. Google Scholar
Digital Library
- Wong, Luke, Michell, Stephen, Moore, Brad, Initial Work Scope Summary for updating Ada POSIX Binding IS 143519:2001 to the Ada Programming Language IS8652:2007, available from ISO/IEC/JTC1/SC22/WG9 Ada Working Group as document N477r.Google Scholar
Recommendations
CORBA-as-Needed: A Technique to Construct High Performance CORBA Applications
HiPC '02: Proceedings of the 9th International Conference on High Performance ComputingThis paper proposes a new optimization technique called CORBA-as-needed to improve the performance of distributed CORBA applications. This technique is based on the observation that in many cases the client and the server of a distributed application ...
Hierarchical scheduling with ada 2005
Ada-Europe'06: Proceedings of the 11th Ada-Europe international conference on Reliable Software TechnologiesHierarchical scheduling is a basic technique to achieve temporal isolation between applications in high-integrity systems when an integrated approach is opted for over traditional federation. While comparatively heavyweight approaches to hierarchical ...
T-SMART—task-safe, minimal Ada realtime toolset
This paper describes T-SMART, an Ada83 executive and toolset for the production of safety critical and hard real time applications. T-SMART consists of three main integrated parts:- Ada runtime executive audited to DO-178B standard for use in safety-...






Comments