Error Recovery in Capability Systems,
Abstract
Methodologies and checking techniques have been proposed to improve software reliability. It has also been argued that capability mechanisms are the natural support for these techniques because they enhance modular decomposition and information hiding. However, there is a conflict between these observations; modular decomposition limits the possible recovery actions to the information that a module can access directly. Each module must rely upon the reliability of those that it uses. This paper presents a mechanism which allows recovery to be managed at any level in this system while satisfying the information hiding principle. It is based on a save-restore mechanism. In addition, primitives to define consistent states in the system are provided by the Kernel. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1978
- Accession Number
- ADA064794
Entities
People
- Didier Lanciaux
- William A. Wulf
Organizations
- Carnegie Mellon University