Semaphores in Ada-94

Date

1994

Authors

Yue, Kwok-Bun

Journal Title

Journal ISSN

Volume Title

Publisher

Ada Letters

Abstract

The new protected type and requeue features in Ada-94 make possible the efficient implementations of many concurrent solutions, previously not possible in Ada-83. In this paper, the implementations of various semaphore systems in Ada-94 are presented. These systems are more general and powerful than the familiar binary and counting semaphores. As examples, the uses of the most general one, PVgeneral, in resource management and the synchronization of general mutual exclusion problems are discussed.

Description

Keywords

Citation

Yue, K., Semaphores in Ada-94. Ada Letters. vol.14, no.5, pp71-79, 1994.