Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Hi-index | 0.00 |
Inside a Toulousian project on “Fault tolerant computing system”, we are interested by error confinement (hardware and software errors) and by error recovery at the operating system level. This paper discusses the principles of domains and the architecture of a capability machine (§ II). We detail management of scheduling and object sharing between processes, by monitors (§ III).Then we present error recovery mechanisms (reconfiguration, rollback) in a capability machine (§ IV).