Accession Number:

ADA141823

Title:

Specification and Implementation of Atomic Data Types.

Descriptive Note:

Doctoral thesis,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s):

Report Date:

1984-03-01

Pagination or Media Count:

150.0

Abstract:

Maintaining the consistency of long-lived, on-line dataa is a difficult task, particularly in a distributed system. It explores an approach in which atomicity is ensured by the data objects shared by concurrent activities such objects are called atomic objects, and data types whose objects are atomic are called atomic types. This dissertation addresses three fundamental questions What is an atomic type How can an atomic type be specified How can an atomic type be implemented Atomicity of activities is a global property of an entire system, while atomicity of types is a local property of individual types. The definitions of atomicity discussed encompass both serializability and recoverability, and use user-supplied specifications of objects to permit greater concurrency. The specification of a data type divides into two parts the serial specification, which describes how the type behaves in the absence of concurrency and failures, and the behavioral specification, which describes how the type supports atomicity. Several implementations of atomic types are presented illustrating how existing techniques for synchronization and recovery can be extended to use information about the behavior of objects to increase concurrency.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE