Specification and Proof Techniques for Serializers

Authors:
C. E. Hewitt;R. R. Atkinson
Affiliations:
Artificial Intelligence Laboratory and the Laboratory for Computer Science, Massachusetts Institute of Technology;-
Venue:
IEEE Transactions on Software Engineering
Year:
1979

Citing 0
Cited 3

Looking for efficient implementations of concurrent objects

PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
On the implementation of concurrent objects

Dependable and Historic Computing
Towards a universal construction for transaction-based multiprocess programs

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.