Thumbnail
Access Restriction
Open

Author Imine, Abdessamad ♦ Molli, Pascal ♦ Oster, Gérald ♦ Rusinowitch, Michaël
Source Hyper Articles en Ligne (HAL)
Content type Text
File Format PDF
Language English
Subject Keyword distributed systems ♦ optimistic replication ♦ convergence ♦ operational transformation ♦ info ♦ Computer Science [cs]/Other [cs.OH]
Abstract Distributed groupware systems provide computer support for manipulating shared objects by dispersed users. Data replication is used in such systems in order to improve the availability of data. This potentially leads to divergent (or different) replicas. In this respect, the Operational Transformation (OT) approach is employed to maintain convergence of all replicas, all users view the same object. Using this approach, users can exchange their updates in any order since the convergence should be ensured in all cases. However, designing correct OT algorithms is still an open issue. In this paper, we demonstrate that recent OT algorithms are incorrect. We analyse the source of this problem and we propose a generic solution with its formal correctness.
Educational Use Research
Learning Resource Type Report ♦ Article
Publisher Date 2004-01-01
Publisher Institution INRIA