Publication | Closed Access
Consistency maintenance based on the mark & retrace technique in groupware systems
66
Citations
14
References
2005
Year
Unknown Venue
Software MaintenanceCluster ComputingEngineeringReplicated Groupware SystemsVerificationComputer ArchitectureSoftware EngineeringFault ToleranceFault-tolerant MessagingSoftware AnalysisFormal VerificationData ConsistencyConsistency MaintenanceSystems EngineeringGroupware SystemsParallel ComputingComputer EngineeringComputer ScienceConsistency TechnologyData ReplicationSoftware DesignHigh Availability SoftwareRetrace TechniqueSoftware TestingCloud ComputingFormal MethodsAmortized EfficiencySystem Software
Replicated architecture is widely used for concealing network delay. However, consistency maintenance in fully replicated architecture is a major technical challenge. In this paper, we report a Mark & Retrace based method in replicated groupware systems. Compared with the Operation Transformation technique, it does not adjust the operation's position but retraces the document's address space to the state at the time of the operation's generation. Then the operation can be executed directly in this address space. Mark & Retrace method can not only achieve the same goal of consistency maintenance but also provide a better support for Undo. This paper provides the proof of the algorithm's correctness of consistency maintenance, in which both the orders of character nodes and marks of each node at all sites are kept consistent. Furthermore, the amortized efficiency can reach O(log n).
| Year | Citations | |
|---|---|---|
Page 1
Page 1