Task termination in Ada 95

  • A. J. Wellings
  • A. Burns
  • O. Pazy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1251)

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

asynchronous communication termination Ada 95 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • A. J. Wellings
    • 1
  • A. Burns
    • 1
  • O. Pazy
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkUK
  2. 2.O. PazyTel-AvivIsrael

Personalised recommendations