# Application-independent reconciliation for nomadic applications

1 SOR - Distributed Object Systems
Inria Paris-Rocquencourt
Abstract : We describe attempts to build an application-independent model to support reconciliation of diverged replicas of shared objects. While replicas are disconnected from one another, actions on the shared objects are recorded in a log. An action is composed of a precondition, an operation and a postcondition. When reconnecting, the system attempts to reconcile the divergent replicas, in several phases. A symbolic phase merges the separate logs, creating one or more schedules, such that preconditions from one log remain true despite the postconditions introduced by the other. Then, a simulation phase checks the possible outcomes by actually applying the schedules to scratch copies of the shared objects. Finally, a selection phase allows users or applications to select one of the candidate schedules.Our approach supports sharing general objects, where one update may reference multiple objects (not just a single file or database). Compared to previous work on log-based reconciliation, our logs capture more semantic information and provide the application with more powerful and finer control over the outcome of reconciliation
keyword :
Document type :
Conference papers

https://hal.inria.fr/inria-00444646
Contributor : Marc Shapiro Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2010 - 9:42:54 AM
Last modification on : Friday, May 25, 2018 - 12:02:05 PM
Long-term archiving on: : Friday, June 18, 2010 - 12:28:43 AM

### File

sigops-ew-2000-logmerge.pdf
Files produced by the author(s)

### Identifiers

• HAL Id : inria-00444646, version 1

### Citation

Marc Shapiro, Antony Rowstron, Anne-Marie Kermarrec. Application-independent reconciliation for nomadic applications. 9th ACMSIGOPS European Workshop 2000 sigopsew :Beyond the PC:New Challenges for the Operating System'', sigops, 2000, Kolding, Denmark, Denmark. ⟨inria-00444646⟩

Record views