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