article

Free access

Ramifications of re-introducing asynchronous exceptions to the Ada language

Author:

Thomas J. QuiggleAuthors Info & Claims

ACM SIGAda Ada Letters, Volume X, Issue 4

Pages 25 - 31

https://doi.org/10.1145/91360.91367

Published: 01 May 1989 Publication History

PDF eReader

Abstract

Re-introduction of asynchronous exceptions into the Ada language has been suggested as a means to solve certain problems in intertask communication. The author argues that such re-introduction would provide inconsistent and nondeterministic semantics, disallow several important classes of optimization, cause considerable distributed overhead, complicate program proof and verification efforts, prove error-prone to use, and offer little new functionality. Further discussions of alternate solutions to the requirements which motivated asynchronous exceptions are encouraged.

References

[1]

Association for Computing Machinery, Special Interest Group for Ada, Ada Runtime Environment Working Group, MRTSI Subgroup, "A Model Runtime System Interface for Ada," Ada Letters. vol. 9, no. 1, pp. 84-152, Jan/Feb 1989.]]

Google Scholar

[2]

Baker, T., "Improving Immediacy in Ada," Procceding~ O/ the Second International Workshop on Real- Time Ada issues, a Special Edition of Ada Letters, vol. 8, no. 'I, pp. 5~ 56. Fall 1988.]]

Digital Library

Google Scholar

[3]

Brosgol, 11. XI. "Summary of Ada 1,anguagc Changes," .4na I~cffers. vol. I, no. 3, pp. 34-43, March, April 1982.]]

Digital Library

Google Scholar

[4]

DeBondeli. P. "Asynchronous Transfer of Control and Scheduling Problems," Proceedings oj the Second International Workshop on Real- Time Ada lasues. a Special Edition oj Ada Lctfers. vol. 8. no. 7. pp. 57-60. Fall 1988.]]

Digital Library

Google Scholar

[5]

DeBondeli, P., "Session Summary Asynchronous Transfer of Control," Proceedings of the Second International H'orkshop on Heal- Time Ada Idsuer, a Special Edition oj Ada Lettera, vol. 8, no. 7, pp. 43-49. Fall 19RR.]]

Google Scholar

[6]

Habermann, A. N. and I. R. Nassi. Efficient Implementation of Ada Tasks, CMU-CS-80-103, January 4, 1980.]]

Google Scholar

[7]

Hilfinger, P. N., "lmplemenlation Strategies for Ada Tasking Idioms," in Proceedings of the AdaTEC Conjerence on Ada, Arlington, Virginia, pp. 26-30, Association for Computing Machinery, New York, October 6-8, 1982.]]

Google Scholar

[8]

Ichbiah, J. D., Language Study Note LSN.189, 19 June, 1981.]]

Google Scholar

[9]

Ichbiah, J. D., R,ationdle for the Design of the Ada Programming Language, (unpublished), 1986.]]

Google Scholar

[10]

Rasmussen, J. B. and B. Appelbe, "Real-time Interrupt Handling in Ada," Sojtware - Practice and Ezperiencc, vol. 17, no. 3, pp. 197-213, March, 1987.]]

Digital Library

Google Scholar

[11]

Taylor, R. N. "Complexity of Analyzing the Synchronization Structure of Concurrent Programs." Acta Injormatica, vol. 19, pp. 57-84, 1983.]]

Digital Library

Google Scholar

[12]

Toetenel. W.J. and J. van Katwijk, "Asynchronous Transfer of Control in Ada." Proceedings oj the Second Inlernalional Workshop on Real-Time Ada Idsue~, a Special Edition oj Ada Letfers, vol. 8, no. 7, pp. 05-79, Fall 1988.]]

Digital Library

Google Scholar

[13]

United States Department of Defense, Ada Joint Programming Office, Rejcrcncc Manual For The Ada Programming Language, ANSI/MIL-STD-1815A, 1985.]]

Google Scholar

Cited By

View all

Quiggle T(1989)Asynchronous transfer of control working groupACM SIGAda Ada Letters10.1145/91360.91366X:4(15-24)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91360.91366
Quiggle TGoodenough J(1989)Asynchronous transfer of control working groupProceedings of the third international workshop on Real-time Ada issues10.1145/91354.91366(15-24)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91354.91366
Antonelli CVolz R(1993)An alternative to asynchronous transfer of control in Ada 9XACM SIGAda Ada Letters10.1145/152827.152829XIII:2(37-43)Online publication date: 15-Mar-1993
https://dl.acm.org/doi/10.1145/152827.152829

Recommendations

Ramifications of re-introducing asynchronous exceptions to the Ada language
IRTAW '89: Proceedings of the third international workshop on Real-time Ada issues

Re-introduction of asynchronous exceptions into the Ada language has been suggested as a means to solve certain problems in intertask communication. The author argues that such re-introduction would provide inconsistent and nondeterministic semantics, ...
Implementing transactions using Ada exceptions: which features are missing?
Exception handling for a 21st century programming language proceedings

Transactional Drago programming language is an Ada extension that provides transaction processing capabilities. Exceptions have been integrated with transactions in Transactional Drago; exceptions are used to notify transaction aborts and any unhandled ...
ADA exceptions: specification and proof techniques

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGAda Ada Letters Volume X, Issue 4

Spring 1990

161 pages

ISSN:1094-3641

DOI:10.1145/91360

Editor:
John B. Goodenough

Issue’s Table of Contents

IRTAW '89: Proceedings of the third international workshop on Real-time Ada issues
May 1989
170 pages
ISBN:0897913604
DOI:10.1145/91354
Chairman:
John B. Goodenough

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 May 1989

Published in SIGADA Volume X, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
190
Total Downloads

Downloads (Last 12 months)51
Downloads (Last 6 weeks)10

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Quiggle T(1989)Asynchronous transfer of control working groupACM SIGAda Ada Letters10.1145/91360.91366X:4(15-24)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91360.91366
Quiggle TGoodenough J(1989)Asynchronous transfer of control working groupProceedings of the third international workshop on Real-time Ada issues10.1145/91354.91366(15-24)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91354.91366
Antonelli CVolz R(1993)An alternative to asynchronous transfer of control in Ada 9XACM SIGAda Ada Letters10.1145/152827.152829XIII:2(37-43)Online publication date: 15-Mar-1993
https://dl.acm.org/doi/10.1145/152827.152829

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Ramifications of re-introducing asynchronous exceptions to the Ada language

Implementing transactions using Ada exceptions: which features are missing?

ADA exceptions: specification and proof techniques