The Behavior of Shared Objects: Concepts, Pitfalls, and a New Model,

Abstract

The authors discuss the behavior of objects shared by several concurrent processes whose operations on the objects may overlap in time. Shared objects range from files in a distributed database to a piece of hardware, e.g. a wire or a flip-flop. This wide range of operations share some common properties and fundamental limitations. These are of primary importance in understanding the behavior of shared objects. The specification of the behavior of shared objects under concurrent access includes both functional and timing aspects. It is tempting to ignore of oversimplify timing, for example by assuming that all operations have bounded response times, but this may lead to contradictions. Proposed is a new specification technique, based on predictor automata, which captures both functional and timing behavior. Keywords: Arbiters; shared registers.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 15, 1987
Accession Number
ADA188225

Entities

People

  • Jorgen Staunstrup
  • Jurg Nievergelt

Organizations

  • University of North Carolina at Chapel Hill

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Computations
  • Computer Science
  • Computers
  • Electronic Circuits
  • Electronic Components
  • Language
  • Linear Algebra
  • Multithreading
  • North Carolina
  • Probability
  • Semantics
  • Specifications
  • Standards
  • Transitions

Readers

  • Computational Modeling and Simulation
  • Parallel and Distributed Computing.
  • Theoretical Analysis.