Specification and Proof Techniques for Serializers
This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. This mechanism is the serializer which may be described as a kind of protection mechanism, in that it prevents impro...
| Main Authors: | , |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/5756 |
| _version_ | 1826213813408497664 |
|---|---|
| author | Atkinson, Russell Hewitt, Carl |
| author_facet | Atkinson, Russell Hewitt, Carl |
| author_sort | Atkinson, Russell |
| collection | MIT |
| description | This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. 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 generalization and improvement of the monitor mechanism of Brinch-Hansen and Hoare. |
| first_indexed | 2024-09-23T15:55:14Z |
| id | mit-1721.1/5756 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T15:55:14Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/57562019-04-12T08:27:51Z Specification and Proof Techniques for Serializers Atkinson, Russell Hewitt, Carl This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. 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 generalization and improvement of the monitor mechanism of Brinch-Hansen and Hoare. 2004-10-01T20:34:13Z 2004-10-01T20:34:13Z 1977-08-01 AIM-438 http://hdl.handle.net/1721.1/5756 en_US AIM-438 37 p. 11673723 bytes 8252798 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Atkinson, Russell Hewitt, Carl Specification and Proof Techniques for Serializers |
| title | Specification and Proof Techniques for Serializers |
| title_full | Specification and Proof Techniques for Serializers |
| title_fullStr | Specification and Proof Techniques for Serializers |
| title_full_unstemmed | Specification and Proof Techniques for Serializers |
| title_short | Specification and Proof Techniques for Serializers |
| title_sort | specification and proof techniques for serializers |
| url | http://hdl.handle.net/1721.1/5756 |
| work_keys_str_mv | AT atkinsonrussell specificationandprooftechniquesforserializers AT hewittcarl specificationandprooftechniquesforserializers |