This paper discusses Cova, a novel programming language designed to develop integra-tive cooperative applications and the issues related to the design and implementation of its runtime system.
Concurrency control has always been one of the most important issues in the design of synchronous groupware systems with fully-replicated architecture. An ideal strate- gy should be able to support natural and flexibl...Concurrency control has always been one of the most important issues in the design of synchronous groupware systems with fully-replicated architecture. An ideal strate- gy 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 previ- ous 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 algo- rithm in full detail, the discussion ends up with a comparison with other related work and some considerations for open problems.展开更多
基金the National Natural Science Foundation of China (Grant No. 269773029) National High-Tech Research and Development Plan under contract No. 863-306-ZD-10-2B and 863-306-ZD-02-03-1.
文摘This paper discusses Cova, a novel programming language designed to develop integra-tive cooperative applications and the issues related to the design and implementation of its runtime system.
基金The work was supported by the National Natural Science Foundation of China under grant No.69773029 and theNational '863' High-
文摘Concurrency control has always been one of the most important issues in the design of synchronous groupware systems with fully-replicated architecture. An ideal strate- gy 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 previ- ous 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 algo- rithm in full detail, the discussion ends up with a comparison with other related work and some considerations for open problems.