Redundancy and Recovery in the HIVE Virtual Machine,

摘要

The HIVE project is concerned with studying high level virtual machine architectures suitable for designing and implementing large, high-integrity transaction processing applications such as communication switching and database access systems. The main aim of the work is to develop a unified set of structural concepts and components in terms of which all the different and often conflicting design aspects of such systems can be coherently expressed. The approach followed has been to embody these ideas in the specification of a high integrity virtual machine, HIVE, and to implement HIVE and evaluate it experimentally by using it to implement test-bed applications systems. This work has involved considering not only the architecture of the overall run-time software during normal operation, but also various selective approaches to data protection, redundancy and recovery, and methods for easing the task of describing, generating and integrating all the software of an application in an incremental, evolutionary way. This report is concerned primarily with the first two of these areas. It presents the main points the HIVE system as it stands at present, with particular emphasis on the selective data redundancy and recovery aspects, and also discusses the rationale behind the main design principles of the system. (Author)