Cited By
View all- Fernandez J(1997)A taxonomy of coordination mechanisms used by real-time processesACM SIGAda Ada Letters10.1145/249100.249109XVII:2(29-54)Online publication date: 1-Mar-1997
Automatic compiler recognition of monitor tasks
Abstract
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 disadvantages of this approach are discussed, both in terms of the functional impact to the user and the execution-time efficiency of the optimization.
References
[1]
[Ada9X 93] Annotated Ada 9X Reference Manual, Draft version 3.0, Ada 9X Mapping/Revision Team. Intermetrics, Inc., 1993.
[2]
[Baker 90] Baker, T., "Opening up Ada Tasking", Proceedings of the Fourth International Workshop on Real-time Ada Issues, special edition of ACM Ada Letters, Vol. X, No. 9 (Fall 1990), pp. 60-64.
[3]
[DDC-I 91] DACS VAX/VMS to 80x86 Bare Ada Cross Compiler System User's Guide (Version 4.6). DDC-I, Inc., 1991.
[4]
[DDC-I 93] DACS VAX/VMS to MIPS R3000 Bare Ada Cross Compiler System User's Guide (Version 4.6.6). DDC-I, Inc., 1993.
[5]
[Eventoff 80] Eventoff, W., Harvey, D., and Price, R. J., "The Rendezvous and Monitor Concepts: Is There an Efficiency Difference?", Proceedings of the ACM-SIGPLAN Symposium on the Ada Programming Language, special edition of ACM SIGPLAN Notices, Vol. 15, No. 11 (November 1980), pp. 156-165.
[6]
[Frankel 87] Frankel, G., "Improving Ada Tasking Performance", Proceedings of the International Workshop on Real-Time Ada Issues, special edition of ACM Ada Letters, Vol. VII, No. 6 (Fall 1987), pp. 47-48.
[7]
[Goel 92] Goel, A., and Bender, M. E. "Ada Tasking Optimizations", Proceedings of the Tenth Annual National Conference on Ada Technology 1992, pp. 294-303.
[8]
[Habermann 80] Habermann, A. N., and Nassi, I. P., "Efficient Implementation of Ada Tasks", Technical report CMU-CS-80-103, Department of Computer Science, Carnegie-Mellon University, January 1980.
[9]
[IBM 92] IBM Ada/370 User's Guide (Release 3.0), Third Edition, and IBM Ada/370 Programmer's Guide (Release 3.0), Third Edition. IBM Corporation, 1992.
[10]
[Locke 93] Locke, C. D., Mesler, T. J., and Vogel, D. R., "Replacing Passive Tasks with Ada 9X Protected Records", ACM Ada Letters, Vol. XIII, No. 2 (March/April 1993), pp. 91-96.
[11]
[MIPS 90] MIPS-Ada 3.0 Programmer's Guide. MIPS Computer Systems, Inc., 1990.
[12]
[Pierce 87] Pierce, R. H., "On the Use of Passive Tasks in Ada", Proceedings of the International Workshop on Real-Time Ada Issues, special edition of ACM Ada Letters, Vol. VII, No. 6 (Fall 1987), pp. 121-123.
[13]
[Roy 90] Roy, D., "PIWG Measurement Methodology", Ada Performance Issues, special edition of ACM Ada Letters, Vol. X, No. 3 (Winter 1990), pp. 72-90.
[14]
[Sun 92] Sun Ada Programmer's Guide (Sun Ada 1.1). Sun Microsystems, Inc., 1992.
Index Terms
- Automatic compiler recognition of monitor tasks
Recommendations
The Intel labs Haskell research compiler
Haskell '13The Glasgow Haskell Compiler (GHC) is a well supported optimizing compiler for the Haskell programming language, along with its own extensions to the language and libraries. Haskell's lazy semantics imposes a runtime model which is in general difficult ...
Automatic Compiler Production: The Front End
This paper describes a system for automatically producing complete compiler front ends from simple, nonprocedural specifications of the source language. This system is based on a detailed model of a compiler front end that is presented first. The system ...
The Intel labs Haskell research compiler
Haskell '13: Proceedings of the 2013 ACM SIGPLAN symposium on HaskellThe Glasgow Haskell Compiler (GHC) is a well supported optimizing compiler for the Haskell programming language, along with its own extensions to the language and libraries. Haskell's lazy semantics imposes a runtime model which is in general difficult ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
May/June 1994
93 pages
Copyright © 1994 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 May 1994
Published in SIGADA Volume XIV, Issue 3
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 121Total Downloads
- Downloads (Last 12 months)26
- Downloads (Last 6 weeks)7
Reflects downloads up to 18 Dec 2024
Other Metrics
Citations
Cited By
View all- Fernandez J(1997)A taxonomy of coordination mechanisms used by real-time processesACM SIGAda Ada Letters10.1145/249100.249109XVII:2(29-54)Online publication date: 1-Mar-1997
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in