Asynchronous transfer of control in Ada

Toetenel, W.J.; Katwijk, J. van

doi:10.1145/59368.59378

Ada Lett.

1988

DOI: 10.1145/59368.59378

|View full text |Cite

Asynchronous transfer of control in Ada

W.J. Toetenel

J. van Katwijk

Abstract: Rapid event driven mode shifts and certain kinds of error recovery require a task asynchronously to affect the flow of control of another task in ways that cannot be conveniently achieved by abort alone….

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1989

1990

Publication Types

Select...

Article2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Asynchronous transfer of control in Ada 9X

Burns¹,

Wellings²,

Davies³

1990

Ada Lett.

View full text Add to dashboard Cite

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.

show abstract

Asynchronous transfer of control in Ada 9X

Burns¹,

Wellings²,

Davies³

1990

Ada Lett.

View full text Add to dashboard Cite

show abstract

Ramifications of re-introducing asynchronous exceptions to the Ada language

Quiggle¹

1989

Ada Lett.

View full text Add to dashboard Cite

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.

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Asynchronous transfer of control in Ada

Abstract: Rapid event driven mode shifts and certain kinds of error recovery require a task asynchronously to affect the flow of control of another task in ways that cannot be conveniently achieved by abort alone….

Cited by 2 publications

References 2 publications

Asynchronous transfer of control in Ada 9X

Asynchronous transfer of control in Ada 9X

Ramifications of re-introducing asynchronous exceptions to the Ada language

Contact Info

Product

Resources

About