Specification and Proof Techniques for Serializers.

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1977
Accession Number
ADA062533

Entities

People

  • Carl Hewitt
  • Russell Atkinson

Organizations

  • Massachusetts Institute of Technology

Tags

DTIC Thesaurus Topics

  • Arbitration
  • Artificial Intelligence
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Engineering
  • Guarantees
  • Hospitals
  • Language
  • Massachusetts
  • Military Research
  • Operating Systems
  • Programming Languages
  • Scheduling (Production)
  • Side Effects
  • Software Development

Fields of Study

  • Computer science

Readers

  • Government and Public Administration Law.
  • Immunology
  • Mathematical Modeling and Probability Theory.