Multi-threaded object-oriented (MT-OO) programs are analyzed using selective checkpointing and rollback schemes. The program model, theoretical foundations, and an implementation of the selective checkpointing and rollback schemes are presented. The usefulness of the schemes is demonstrated by implementing a higher level fault-tolerance scheme of conversations using them.
All Science Journal Classification (ASJC) codes
- Safety, Risk, Reliability and Quality
- Electrical and Electronic Engineering