Accession Number:

ADA064794

Title:

Error Recovery in Capability Systems,

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1978-06-01

Pagination or Media Count:

27.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE