The Impact of Recovery on Concurrency Control

Abstract

It is widely recognized by practitioners that concurrency control an recovery for transaction systems interact in subtle ways. In most theoretical work, however, concurrency control and recovery are treated as separate, largely independent problems. In this paper we investigate the interactions between concurrency control and recovery. We consider two general recovery methods for abstract data types, update-in-place and deferred-update. While each requires operations to conflict if they do not commute, the two recovery methods require subtly different notions of commutativity. We give a precise characterization of the conflict relations that work with each recovery method, and show that each permits conflict relations that the other does not. Thus, the two recovery methods place incomparable constraints on concurrency control. Our analysis applies to arbitrary abstract data types, including those with operations that may be partial or non-deterministic. Keywords: Crash recovery, Computer programming, High level languages, Synchronization.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1989
Accession Number
ADA210828

Entities

People

  • William E. Weihl

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Automata
  • Availability
  • Classification
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Databases
  • Information Processing
  • Language
  • Military Research
  • Operating Systems
  • Programming Languages
  • Security
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.
  • Systems Analysis and Design