An experience in the design of a reliable object based system

The design and implementation of a reliable object-based system on top of a fault-tolerant multiprocessor machine based on stable storage technology, the FTM, are described. Each reliable object is characterized by its persistent state and methods. It is mapped onto a server which manages the object's persistent state and method calls. In order to recover a global consistent state of objects in the event of failure, a solution based on dynamic atomic actions was implemented. Servers are running on a fault tolerant version of an extended MACH microkernel.<<ETX>>