Accession Number : ADA188225

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

Corporate Author : NORTH CAROLINA UNIV AT CHAPEL HILL DEPT OF COMPUTER SCIENCE

Personal Author(s) : Staunstrup, Jorgen ; Nievergelt, Jurg

PDF Url : ADA188225

Report Date : 15 Oct 1987

Pagination or Media Count : 11

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.

Descriptors :   *READ WRITE MEMORIES, AUTOMATA, BEHAVIOR, DATA BASES, MODELS, OVERLAP, PREDICTIONS, RANGE(EXTREMES), REGISTERS(CIRCUITS), RESPONSE, SHARING, SPECIFICATIONS, TIME, WIRE, DISTRIBUTED DATA PROCESSING

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE