The Safety and Liveness Properties of a Protocol Family for Versatile Survivable Storage Infrastructures

Abstract

Survivable storage systems mask faults. A protocol family shifts the decision of which types of faults from implementation time to data-item creation time. If desired, each data-item can be protected from different types and numbers of faults with changes only to client-side logic. This paper presents proofs of the safety and liveness properties for a family of storage access protocols that exploit data versioning to efficiently provide consistency for erasure-coded data. Members of the protocol family may assume either a synchronous or asynchronous model, can tolerate hybrid crash-recovery and Byzantine failures of storage-nodes, may tolerate either crash or Byzantine clients, and may or may not allow clients to perform repair. Additional protocol family members for synchronous systems under omission and fail-stop failure models of storage-nodes are developed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2004
Accession Number
ADA490157

Entities

People

  • Garth R. Goodson
  • Gregory R. Ganger
  • Jay J. Wylie
  • Michael Reiter

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Asynchronous Systems
  • Classification
  • Coding
  • Computer Science
  • Consistency
  • Decoding
  • Environment
  • Fault Tolerance
  • Guarantees
  • Information Operations
  • Infrastructure
  • Multithreading
  • Observation
  • Recovery
  • Semantics
  • Symbols
  • Validation

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Networking
  • Mathematical Modeling and Probability Theory.