Task termination in Ada 95

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationRELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97
EditorsK Hardy, J Briggs
Place of PublicationBERLIN 33
PublisherSpringer
Pages149-160
Number of pages12
ISBN (Print)3-540-63114-3
Publication statusPublished - 1997
Event1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97) - LONDON
Duration: 2 Jun 19976 Jun 1997

Conference

Conference1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97)
CityLONDON
Period2/06/976/06/97

Keywords

  • asynchronous communication
  • termination
  • Ada 95

Cite this