Research Article
Commutativity-based concurrency control in groupware
@INPROCEEDINGS{10.1109/COLCOM.2005.1651251, author={Rui Li and Du Li}, title={Commutativity-based concurrency control in groupware}, proceedings={1st International Conference on Collaborative Computing: Networking, Applications and Worksharing}, publisher={IEEE}, proceedings_a={COLLABORATECOM}, year={2006}, month={7}, keywords={Algorithm design and analysis Application software Collaborative software Collaborative work Computer science Concurrency control Concurrent computing Convergence Delay Human factors}, doi={10.1109/COLCOM.2005.1651251} }- Rui Li
Du Li
Year: 2006
Commutativity-based concurrency control in groupware
COLLABORATECOM
IEEE
DOI: 10.1109/COLCOM.2005.1651251
Abstract
Commutativity of operations is often exploited in concurrent systems to attain high levels of concurrency. A commutativity-based concurrency control method, called operational transformation (OT), has been actively researched in groupware over the past 15 years. However, much progress can still be made on more practicable approaches to developing and proving OT algorithms. Several constraints have been proposed previously but they are generally difficult to follow and verify in practice. This paper proposes an alternative approach to address this problem. A new consistency model is defined which greatly simplifies the design and proof of OT algorithms.
Copyright © 2005–2024 IEEE