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… 
1 Citations
A taxonomy of coordination mechanisms used by real-time processes
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
TLDR
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
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
TLDR
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?
TLDR
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
  • Daniel Roy
  • Medicine
    Working Group on Ada Performance Issues
  • 1990
TLDR
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
Opening up Ada-tasking
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
...
...