Synchronizing Shared Abstract Types. Revision

Abstract

This paper discusses the synchronization issues that arise when transaction facilities are extended for use with shared abstract data types. A formalism for specifying the concurrency properties of such types is developed, based on dependency relations that are defined in terms of an abstract type's operations. The formalism requires that the specification of an abstract type state whether or not cycles involving these relations should be allowed to form. Directories and two types of queues are specified using the technique, and the degree to which concurrency is restricted by type-specific properties is exemplified. The paper also discusses how the specifications of types interact to determine the behavior of transactions. A locking technique is described that permits implementations to make use of type-specific information to approach the limits of concurrency. Keywords: Data bases.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 18, 1983
Accession Number
ADA221817

Entities

People

  • Alfred Z. Spector
  • Peter M. Schwarz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Counter IED

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Databases
  • Directories
  • Guarantees
  • Language
  • Multithreading
  • Operating Systems
  • Programming Languages
  • Recovery
  • Semantics
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.