An implementation of monitors
1976; Wiley; Volume: 6; Issue: 3 Linguagem: Inglês
10.1002/spe.4380060310
ISSN1097-024X
Autores Tópico(s)Logic, programming, and type systems
ResumoAbstract Monitors and similar constructs have been suggested by Hansen 1 and Hoare 2 as suitable structuring concepts for operating systems. This paper describes an implementation of monitors in BCPL and shows how the scope rules of BCPL can be used to provide most of the requisite compile time checking. Some observations are made on problems of implementation, particularly in respect of mutual exclusion, and on the use and construction of monitors in practice.
Referência(s)