Transactions: a construct for reliable distributed computing

  • Authors:
  • Alfred Z. Spector;Peter M. Schwarz

  • Affiliations:
  • Carnegie-Mellon University, Pittsburgh, PA;Carnegie-Mellon University, Pittsburgh, PA

  • Venue:
  • ACM SIGOPS Operating Systems Review
  • Year:
  • 1983

Quantified Score

Hi-index 0.02

Visualization

Abstract

Transactions have proven to be a useful tool for constructing reliable database systems and are likely to be useful in many types of distributed systems. To exploit transactions in a general purpose distributed system, each node can execute a transaction kernel that provides services necessary to support transactions at higher system levels. The transaction model that the kernel supports must permit arbitrary operations on the wide collection of data types used by programmers. New techniques must be developed for specifying the synchronization and recovery properties of abstract types that are used in transactions. Existing mechanisms for synchronization, recovery, deadlock management and communication are often inadequate to implement these types efficiently, and they must be adapted or replaced.