oodOPT: A semantics-based concurrency control framework for fully-replicated architecture
Concurrency control has always been one of the most important issues in the design of synchronous groupware systems with fully-replicated architecture. An ideal strategy should be able to support natural and flexible human-to-computer and human-to-human interactions while maintaining the consistency of the system. This paper summarizes previous researches on this topic and points out the deficiencies of the existing results. A novel semantics-based concurrency control framework,oodOPT, is proposed. The main idea of the framework is to resolve conflicts by utilizing semantics of the operations and the accessed data objects. With this approach, complexities in concurrency control are shifted completely from application developers to the framework. Conflicts among operations on objects with different semantics and the strategies resolving these conflicts are analyzed. After describing the algorithm in full detail, the discussion ends up with a comparison with other related work and some considerations for open problems.
Keywordscomputer supported cooperative work groupware concurrency control oodOPT COFFEE Cova
Unable to display preview. Download preview PDF.
- Greenberg S, Marwood D. Real time groupware as a distributed system: Concurrency control and its effect on the interface. InProc. ACM Conf. CSCW, Chapel Hill, 1994, pp. 207–217.Google Scholar
- Ellis C A, Gibbs S J. Concurrency control in groupware systems. InProc. ACM SIGMOD Conf. Mgmt of Data, Seattle, 1989, pp. 399–407.Google Scholar
- Yang Guangxin. Research on meta-groupware—The Cova programming language and system [dissertation]. Tsinghua University, Beijing, 2000.Google Scholar
- Yang Guangxin, Shi Meilin. Cova: A programming language for cooperative applications.Science in China, Series F, 2001, 44(1): 73–80.Google Scholar
- Suleiman M, Cart M, Ferrie J. Serialization of concurrent operations in a distributed collaborative environment. InProc. ACM SIGGROUP Conf. Supporting Group Work, Phoenix, 1997, pp. 435–445.Google Scholar
- Ressel M, Nitsche-Ruhland D, Gunzenhauser R. An integrating, transformation-oriented approach to concurrency control and undo in group editors. InProc. ACM Conf. CSCW, Cambridge, 1996, pp. 288–297.Google Scholar
- Sun C Z, Ellis C. Operational transformation in real-time group editors: Issues, algorithms, and achievements. InProc. ACM Conf. CSCW, Seattle, 1998, pp 59–68.Google Scholar
- Sun C Z, Jia X H, Zhang Y Cet al. A generic operation transformation scheme for consistency maintenance in real-time cooperative editing systems. InProc. ACM SIGGROUP Conf. Supporting Group Work, Phoenix, 1997, pp. 425–434.Google Scholar
- Palmer C R, Cormack G V. Operation transforms for a distributed shared spreadsheet. InProc. ACM Conf. CSCW, Seattle, 1998, pp. 69–78.Google Scholar
- Muson J, Dewan P. A concurrency control framework for collaborative systems InProc. ACM Conf. CSCW, Cambridge, 1996, pp. 278–287.Google Scholar