On the Correctness of Atomic Multi-Writer Registers

Abstract

Errors are corrected in a previously published multi-writer register algorithm. The correctness of the modified algorithm is proved, in detail, using input output automata. Keywords: Input output processing: Atomic registers; Multi-writer registers; Wait free; Automata.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 07, 1988
Accession Number
ADA197406

Entities

People

  • Russel Schaffer

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Classification
  • Computer Science
  • Computers
  • Construction
  • Distributed Computing
  • Equations
  • Information Processing
  • Information Systems
  • Input Output Processing
  • Language
  • Military Research
  • Notation
  • Security
  • Sequences
  • Transitions

Readers

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