The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1979 vol.5)
pp: 10-23
C.E. Hewitt , Artificial Intelligence Laboratory and the Laboratory for Computer Science, Massachusetts Institute of Technology
ABSTRACT
This paper presents a specification language, implementation mechanism, and proof techniques for problems involving the arbitration of concurrent requests to shared protected resources whose integrity must be preserved. This mechanism is the serializer, which may be described as a kind of protection mechanism, in that it prevents improper orders of access to a protected resource. Serializers are a more structured form of the monitor mechanism of Brinch Hansen and Hoare.
INDEX TERMS
verification, Monitor, parallelism, program proving, readers-writers, serializer, starvation
CITATION
C.E. Hewitt, "Specification and Proof Techniques for Serializers", IEEE Transactions on Software Engineering, vol.5, no. 1, pp. 10-23, January 1979, doi:10.1109/TSE.1979.234149
271 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool