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 language | English |
---|---|
Title of host publication | RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97 |
Editors | K Hardy, J Briggs |
Place of Publication | BERLIN 33 |
Publisher | Springer |
Pages | 149-160 |
Number of pages | 12 |
ISBN (Print) | 3-540-63114-3 |
Publication status | Published - 1997 |
Event | 1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97) - LONDON Duration: 2 Jun 1997 → 6 Jun 1997 |
Conference
Conference | 1997 Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 97) |
---|---|
City | LONDON |
Period | 2/06/97 → 6/06/97 |
Keywords
- asynchronous communication
- termination
- Ada 95