Reliable computer systems: collected papers of the Newcastle Reliability Project
SK Shrivastava · Texts and monographs in computer science · 1985
1. System Reliability.- Software Fault Tolerance Terminology Proposals.- System Structure for Software Fault Tolerance.- Operating Systems: The Problems of Performance and Reliability.- 2. Recovery Blocks.- A Program Structure for Error Detection and Recovery.- A Reconsideration of the Recovery Block Scheme.- Recovery Blocks in Action: A System Supporting High Reliability.- Sequential Pascal with Recovery Blocks.- Fault Tolerant Sequential Programming Using Recovery Blocks.- A Recovery Cache for the PDP-11.- Recovery and Crash Resistance in a Filing System.- 3. Exception Handling.- Software Reliability: The Role of Programmed Exception Handling.- Exception Handling and Software Fault Tolerance.- Robust Data Types.- Systematic Detection of Exception Occurrences.- Safe Programming.- 4. Concurrent Systems.- Process Structuring, Synchronisation and Recovery Using Atomic Actions.- A Formal Model of Atomicity in Asynchronous Systems.- Reliable Resource Allocation Between Unreliable Processes.- Concurrent Pascal with Backward Error Recovery: Language Features and Examples.- Concurrent Pascal with Backward Error Recovery: Implementation.- A Framework for Software Fault Tolerance in Real-Time Systems.- 5. Multilevel Systems.- A Model of Recoverability in Multilevel Systems.- The Provision of Recoverable Interfaces.- Structuring Distributed Systems for Recoverability and Crash Resistance.- 6. Distributed Systems.- Consistent State Restoration in Distributed Systems.- Recovery Control of Communicating Processes in a Distributed System.- A Dependency Commitment and Recovery Model for Atomic Actions.- Fail-Safe Extrema-Finding in a Circular Distributed System.- The Design of a Reliable Remote Procedure Call Mechanism.- Reliable Remote Calls for Distributed Unix: An Implementation Study.- The Newcastle Connection or UNIXes of the World Unite.- Recoverability Aspects of a Distributed File System.- 7. Fault Tolerance and System Structuring.- Fault Tolerance and System Structuring.