The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Hi-index | 0.00 |
One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high level mechanisms for communication and synchronization among tasks executing in parallel. The open question about these mechanisms is whether they provide programmers with both the appropriate level of abstraction and also the necessary level of control. This paper describes in detail the implementation of a system using parallelism that was written during the Ada test and evaluation process. Research on Gandalf is supported by the Software Engineering Division of CENTACS/CORADCOM, Fort Monmouth, NJ.