Abstract
Ada 83 removed from the programmer the burden of coding potentially complex termination conditions between clients and servers by introducing an ‘or terminate’ option to the select statement. With the use of indirect communication (emphasised by the provision of protected objects in Ada 95), it is no longer straightforward to obtain program termination. This paper illustrates the problem and shows how the asynchronous select statement and a general-purpose library package can be used to simplify the termination protocols. The advantages and disadvantages of the approach are discussed. The paper then considers the extent to which termination could be supported in Ada. It explores the idea of having a termination option with an entry call.
Keywords
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Burns, A. (1988). Programming in occam 2, Addison Wesley.
Intermetrics (1995). Ada 95 reference manual, ANSI/ISO/IEC-8652:1995, Intermetrics.
U.S. Department of Defense (1983). Reference manual for the Ada programming language, ANSI/MIL-STD 1815 A, U.S. Department of Defense.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wellings, A.J., Burns, A., Pazy, O. (1997). Task termination in Ada 95. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_14
Download citation
DOI: https://doi.org/10.1007/3-540-63114-3_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63114-9
Online ISBN: 978-3-540-69150-1
eBook Packages: Springer Book Archive