Abstract | ||
---|---|---|
A recovery procedure for distributed systems using the time warp control mechanism is described. Time warp is an optimistic execution technique in which synchronization is achieved using rollback. The recovery procedure is a protocol that exploits the redundancy already available to implement process rollback in the time warp mechanism. Thus, the recovery protocol has little additional bookkeeping overhead, unlike many other recovery procedures. An informal proof of the correctness of the recovery procedure for a single process failure is presented. The protocol is extended so that it becomes resilient to multiple process failures |
Year | DOI | Venue |
---|---|---|
1989 | 10.1109/RELDIS.1989.72748 | Seattle, WA |
Keywords | Field | DocType |
distributed processing,fault tolerant computing,network operating systems,redundancy,software reliability,synchronisation,system recovery,bookkeeping overhead,correctness,distributed systems,optimistic execution technique,process failures,protocol,recovery procedure,redundancy,rollback,synchronization,time warp mechanism | Synchronization,Concurrency control,Computer science,Correctness,Real-time computing,Redundancy (engineering),Control system,Rollback,Recovery procedure,Discrete event simulation,Distributed computing | Conference |
Citations | PageRank | References |
2 | 0.40 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jonathan R. Agre | 1 | 193 | 43.04 |
Divyakant Agrawal | 2 | 8201 | 1674.75 |