• Home
  • Search
  • Modular reasoning about open systems: a case study of distributed commit
  • Cite Icon2
  • https://doi.org/10.5555/951807.951813Copy DOI Icon

Modular reasoning about open systems: a case study of distributed commit

  • Dec 6, 1993
  • Ranjini Das +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

We show how to reason about distributed database management systems, in which a commit protocol is used to coordinate activity of several resource managers. This is an interesting case study of an open system, in which each component is developed independently to operate with many possible environments. We give specifications for each resource manager, and a specification for the commit protocol, and show that the whole system is correct as long as each component has the properties required of it. We then show how to prove that specific examples have these properties. >

Similar Papers
  • Conference Article
  • Citations3

Resource management in the Cronus distributed operating system

  • Aug 01, 1987
  • R Schantz +2
  • Conference Article
  • Citations1

Adaptive fair resource management with an arbiter for multi-tier computing systems

  • Sep 01, 2009
  • Naoki Hayashi +2
  • Conference Article
  • Citations5

Fault Tolerance in Distributed Database Management Systems - Improving reliability with RAID

  • Mar 01, 2019
  • 2019 Innovations in Power and Advanced Computing Technologies (i-PACT)
  • Sumit Pareek +2
  • Research Article
  • Citations1

New Directions in Resource Recreation Management: A Response to the Educational Challenge

  • Apr 01, 1997
  • SCHOLE: A Journal of Leisure Studies and Recreation Education
  • Dave Robinson +3
  • Book Chapter
  • Citations1

Chapter 8 - Two-Phase Commit

  • Jan 01, 2009
  • Principles of Transaction Processing
  • Philip A Bernstein +1
  • Book Chapter
  • Citations3

22 - Distributed Databases

  • Jan 01, 2011
  • Data Architecture
  • Charles D Tupper
  • Conference Article
  • Citations9

King louie

  • Mar 30, 2020
  • Daniel Seybold +2
  • Research Article
  • Citations1

The V3 video server--managing analog and digital video clips

  • Jun 01, 1993
  • ACM SIGMOD Record
  • Thomas C Rakow +1
  • Conference Article
  • Citations8

The V3 video server--managing analog and digital video clips

  • Jun 01, 1993
  • Thomas C Rakow +1
  • Research Article
  • Citations1

Private Sector-led Urban Development Projects. Management, Partnerships and Effects in the Netherlands and the UK

  • Jan 01, 2012
  • Architecture and the Built Environment
  • Erwin Heurkens
  • Conference Article
  • Citations12

Indeterminacy, monitors, and dataflow

  • Jan 01, 1977
  • Arvind +2
  • Conference Article

AUM: Unleashing the Efficiency Potential of Shared Processors with Accelerator Units for LLM Serving

  • Jan 31, 2026
  • Xinkai Wang +11
  • Conference Article
  • Citations3

Performance Evaluation of Concurrency Control Algorithm for Multilevel Secure Distributed Databases

  • Dec 30, 2004
  • N Kaur +2
  • Conference Article
  • Citations72

Distributed Database Management Systems and the Data Grid

  • Apr 01, 2001
  • Digest of papers - IEEE Symposium on Mass Storage Systems
  • Heinz Stockinger
  • Research Article
  • Citations2

Architectural considerations for providing statistical analysis of distributed data

  • Sep 01, 1990
  • Information and Software Technology
  • Mh Sadreddini +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.