Safety of recovery protocol preserving MW session guarantee in mobile systems
[ 1 ] Instytut Informatyki (II), Wydział Informatyki i Zarządzania, Politechnika Poznańska | [ P ] employee
2006
chapter in monograph / paper
english
- rollback-recovery
- safety
- mobile systems
- Monotonic Writes session guarantee
EN In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties of MW guarantee. The proof of safety property of rVsMW is included.
1166 - 1174