Yue, Kwok-Bun2019-10-042019-10-041994Yue, K., Semaphores in Ada-94. Ada Letters. vol.14, no.5, pp71-79, 1994.https://hdl.handle.net/10657.1/1504The 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.Article