Automatic compiler recognition of monitor tasks
@article{Schilling1994AutomaticCR, title={Automatic compiler recognition of monitor tasks}, author={Jonathan L. Schilling and Johan Olm{\"u}tz Nielsen}, journal={ACM Sigada Ada Letters}, year={1994}, pages={91-104} }
Monitor tasks, also known as passive tasks, are a kind of Ada task that is subject to well-known and very powerful optimization. In most compilation systems that perform this optimization, monitor tasks are identified to the complier by the user, via an implementation-defined pragma. This paper describes an alternate approach, whereby the compiler automatically recognizes and optimizes monitor tasks, without need of a pragma, compiler option, or any other user action. The advantages and…
One Citation
A taxonomy of coordination mechanisms used by real-time processes
- Computer ScienceALET
- 1997
A taxonomy of the coordination mechanisms for the synchronization and communication of concurrent processes is proposed. The taxonomy deals with the issues of a real-time software architecture that…
References
SHOWING 1-10 OF 23 REFERENCES
Replacing passive tasks with Ada9X protected records
- Computer ScienceALET
- 1993
The changes in coding required to convert an application originally designed to exploit passive tasking to use the protected record construct instead are illustrated and some of the trade-offs that result are discussed.
Improving Ada tasking performance
- Computer ScienceIRTAW '87
- 1987
For Ada to really fulfill its potential for embedded systems, its model of concurrency — the tasking model — mus t be sufficiently fast to meet the timing needs of those systems . Typically, those…
On the use of passive tasks in Ada
- Computer ScienceIRTAW '87
- 1987
Suggestion that for certain real-time systems it may never be possible to use the Ada rendezvous, and that other mean s of scheduling Ada tasks could be used, is regrettable because it will reduce the portability of the program which uses an unofficial scheduling system.
The rendezvous and monitor concepts: is there an efficiency difference?
- Computer ScienceSIGPLAN '80
- 1980
The efficiency of Ada's rendezvous concept is compared with Concurrent Pascal's monitor concept and the results indicate that a concurrent programming language should provide both types of concepts.
PIWG measurement methodology
- MedicineWorking Group on Ada Performance Issues
- 1990
A suite of Ada benchmarks was created by a PIWG team of dedicated volunteers in 1985, revised and widely distributed in’ 1986, and has become a de facto performance measurement standard.
Improving Ada Tasking Performance", Proceedings of the International Worksho p on Real-Time Ada Issues, special edition of ACM Ada
- (Fall
- 1987
Sun 92] Sun Ada Programmer's Guide (Sun Ada 1 .1) . Sun Microsystems, Inc
- Sun 92] Sun Ada Programmer's Guide (Sun Ada 1 .1) . Sun Microsystems, Inc
- 1992
ACM Ada Letters
- ACM Ada Letters
- 1994
DDC-I 91
- DDC-I 91