Artigo Revisado por pares

An implementation of monitors

1976; Wiley; Volume: 6; Issue: 3 Linguagem: Inglês

10.1002/spe.4380060310

ISSN

1097-024X

Autores

A. M. Lister, K. J. Maynard,

Tópico(s)

Logic, programming, and type systems

Resumo

Abstract 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)
Altmetric
PlumX