Why Do Computers Stop and What Can Be Done About It?
Published 1 January 2024Open access
Jim Gray
Citations671
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
An analysis of the failure statistics of a commercially available fault-tolerant system shows that administration and software are the major contributors to failure. Various approaches to software fault tolerance are then discussed notably process-pairs, transactions and reliable storage. It is pointed out that faults in production software are often soft (transient) and that a transaction mechanism combined with persistent process-pairs provides fault-tolerant execution – the key to software fault-tolerance.
Keywords
Computer Science
ACM Transactions on Computer SystemsFail-stop processors
767 Citations1983Richard D. Schlichting, Fred B. Schneider
A methodology that facilitates the design of fault-tolerant computing systems is presented, based on the notion of a fail-stop processor, which automatically halts in response to any internal failure and does so before the effects of that failure become visible.
ACM SIGOPS Operating Systems ReviewA message system supporting fault tolerance
245 Citations1983Anita Borg, Jim Baumbach +1 more
IEEE Transactions on ComputersException Handling and Software Fault Tolerance
170 Citations1982Cristian Cristian
A unified point of view on programmed exception handling and default exception handling based on automatic backward recovery based onautomatic backward recovery is constructed, finding a class of faults for which default exception Handling can provide effective fault tolerance.
ACM Computing SurveysHighly available systems for database applications
49 Citations1984Won Bae Kim
A design of adistributed software subsystem is proposed that can serve as a unified framework for constructing database application systems that meetvarious requirements for high availability.
Multiprocessing architectures for local computer networks
17 Citations1981Alfred Z. Spector
A new communication model for local computer networks whereby processes execute generalized remote references that cause operations to be performed by remote processes is presented, which provides a taxonomy of primitives that are naturally useful in many applications and can be specially implemented to provide for high efficiency.