Asynchronous transfer of control in Ada 9X
Abstract
The Taft proposal is described in detail. It involves introducing a new "and" clause into the select statement thereby providing a means of programming asynchronous transfer of control without the use of the abort facility. An evaluation of the proposal considers some of its limitations, the major one of which is the possibility of deadlock if a group of tasks use the facility to affect each other. Ways of removing this difficulty are considered. The model is then compared with the alternative of introducing asynchronous exceptions. Finally a unified model is presented that combines the advantages of the Taft proposal and asynchronous exceptions.
References
[1]
T. Baker, "Improving Immediacy in Ada", Proceedings of the 2nd International Workshop on Real Time Ada Issues, ACM Ada Letters, Ada Letters 8(7), pp. SO-56 (1988).
[2]
P. de Bondeli, "Asynchronous Transfer of Control and Scheduling Problems", Proceedings of the 2nd International Workshop on Real Time Ada Issues, ACM Ada Letters, Ada Letters 8(7), pp. 57-60 (1988).
[3]
P. de Bondeli, "Asynchronous Transfer of Control - Session Summary", Proceedings of the 2nd International Workshop on Real Time Ada Issues, ACM Ada Letters, Ada Letters 8(7), pp. 4349 (1988).
[4]
A. Burns and A.J. Wellings, "Programming Atomic Actions in Ada", Ada Letters 9(6), pp. 67-79 (September/October 1989).
[5]
A. Burns and AJ. Wellings, "Usability of the Ada Tasking Model", Proceedings of the 3nd International Workshop on Real Time Ada Issues, ACM Ada Letters, Ada Letters X(4), pp. 49-56 (1990).
[6]
A. Burns and TJ. Quiggle, "Effective Use of Abort in Programming Mode Changes", Ada Letters (1990).
[7]
R.H. Campbell and B. Randell, "Error Recovery in Asynchronous Systems", Technical Report 186, Computing Laboratory, University of Newcastle-upon-Tyne (July 1983).
[8]
K. Elsom, "Asynchronous Communication in Ada", Proceedings of the 3nd International Workshop on Real Time Ada Issues, ACM Ada Letters, Ada Letters X(4) (1990).
[9]
J.W.S. Liu and K.J. Lin, "On Means to Provide Flexibility in Scheduling", Proceedings of the 2nd International Workshop on Real Time Ada Issues, Ada Letters, Devon 8(7), pp. 32-34 (1988).
[10]
T. Taft, "Asynchronous Event Handling", Ada Revision Request, Intermetrics Inc., Concord Avenue, Cambridge, MA 02138, USA (1989).
[11]
W.J. Toetenel and J. Van Katwijk, "Asynchronous Transfer of Control in Ada", Proceedings of the 2nd International Workshop on Real Time Ada Issues, ACM Ada Letters, Ada Letters 8(7), pp. 65-79 (1988).
Index Terms
- Asynchronous transfer of control in Ada 9X
Recommendations
Asynchronous transfer of control in Ada 9X
IRTAW '90: Proceedings of the fourth international workshop on Real-time Ada issuesThe Taft proposal is described in detail. It involves introducing a new "and" clause into the select statement thereby providing a means of programming asynchronous transfer of control without the use of the abort facility. An evaluation of the proposal ...
Asynchronous communication in Ada
The current definition of Ada manifestly fails to satisfy the requirements for supporting the application domain characteristics of real-time, embedded and distributed systems particularly with respect to the capability for asynchronous message passing. ...
A critique of the Ada 9X mutual control mechanism (requeue) and an alternative mapping (onlywhen)
Protected Record (PR) is the proposed Ada 9X light-weight synchronization mechanism. We assume that the reader is familiar with the Ada 9X proposal for PR [DoD, DPW, BW]. The requeue is one of the Ada 9X mappings of the requirement for flexibility and ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1990 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 1990
Published in SIGADA Volume X, Issue 9
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 163Total Downloads
- Downloads (Last 12 months)42
- Downloads (Last 6 weeks)4
Reflects downloads up to 27 Dec 2024
Other Metrics
Citations
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