ABSTRACT
No abstract available.
Index Terms
- Improving Ada tasking performance
Recommendations
Low-level Ada tasking support for GNAT-performance and portability improvements
Special issue: best of WAdaS'96GNARL is the tasking runtime system of the Gnu NYU Ada95 Translator (GNAT). GNARL is divided into two main layers, the lower of which isolates dependences on a particular host operating system or real-time kernel. For portability, the primary ...
Mixing coroutines and processes in an Ada tasking implementation
Not all tasks in an Ada program make use of the full functionality defined in the language reference manual. Certain idiomatic uses of Ada tasks allow these tasks to be implemented as coroutines. This paper presents a method for mixing coroutines and ...
Timing Analysis of Ada Tasking Programs
Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96Concurrent real-time software is increasingly used in safety-critical embedded systems. Assuring the quality of such software requires the rigor of formal methods. In order to analyze a program formally, we must first construct a mathematical model of ...
Comments