Application-independent reconciliation for nomadic applications

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 : loo rep
Complete list of metadatas

https://hal.inria.fr/inria-00444646
Contributor : Marc Shapiro <>
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

Collections

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⟩

Share

Metrics

Record views

293

Files downloads

149