Algorithms for translating Ada multitasking
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
On a formal model of the tasking concept in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
ACM SIGAda Ada Letters
A model for a portable Ada run-time library
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Hi-index | 0.00 |
This paper describes a simple and efficient approach to implementing the Ada operations of entry calls, conditional and timed entry calls, accept statements, selective wait statements and delay statements. This is accomplished by describing the tasking supervisor -- a collection of programs which control the tasking operations. Ada definitions of the data structures and the supervisor procedures are given. The semantics of the Ada tasking operations are related to the supervisor by following the description of tasking in chapter 9 of the Reference Manual for the Ada Programming Language (1983). The structure of the object code for various Ada source language constructs is given. The interaction between the Ada object code and the run-time supervisor is described in detail. The remaining tasking opertions are described in Part 1 of this report (Riccardi and Baker 1984).