Conferences in Research and Practice in Information Technology
  

Online Version - Last Updated - 20 Jan 2012

 

 
Home
 

 
Procedures and Resources for Authors

 
Information and Resources for Volume Editors
 

 
Orders and Subscriptions
 

 
Published Articles

 
Upcoming Volumes
 

 
Contact Us
 

 
Useful External Links
 

 
CRPIT Site Search
 
    

Optimistic and Efficient Concurrency Control for Asynchronous Collaborative Systems

Shen, H. and Yan, Y.

    Concurrency control is a key issue in distributed systems. A number of techniques have been devised to tackle the issue, but these techniques are generally unsuitable to be used in collaborative systems, which have the special requirements of consistency maintenance, responsiveness, and unconstrained interaction. OT (Operational Transformation) is an optimistic concurrency control technique originally invented for synchronous collaborative systems to meet these requirements. But existing transformation control algorithms are inefficient to be used in asynchronous systems. In this paper, we present an OT-based concurrency control solution for asynchronous collaborative systems, including an efficient contextualization-based transformation control algorithm underpinned by operation propagation and replaying protocols to achieve contextualization. The solution has been formally verified in terms of consistency maintenance and demonstrated by a variety of prototype collaborative applications.
Cite as: Shen, H. and Yan, Y. (2011). Optimistic and Efficient Concurrency Control for Asynchronous Collaborative Systems. In Proc. Australasian Computer Science Conference (ACSC 2011) Perth, Australia. CRPIT, 113. Mark Reynolds Eds., ACS. 73-82
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS