Abstract
Groupware systems are computer-based systems that support two or more users engaged in a common task, and that provide an interface to a shared environment. These systems frequently require fine-granularity sharing of data and fast response times. This paper distinguishes real-time groupware systems from other multi-user systems and discusses their concurrency control requirements. An algorithm for concurrency control in real-time groupware systems is then presented. The advantages of this algorithm are its simplicity of use and its responsiveness: users can operate directly on the data without obtaining locks. The algorithm must know some semantics of the operations. However the algorithm's overall structure is independent of the semantic information, allowing the algorithm to be adapted to many situations. An example application of the algorithm to group text editing is given, along with a sketch of its proof of correctness in this particular case. We note that the behavior desired in many of these systems is non-serializable.
Publisher
Association for Computing Machinery (ACM)
Subject
Information Systems,Software
Cited by
273 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Decentralized Near-Synchronous Local-First Programming Collaboration;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. The future of PIM: pragmatics and potential;Human–Computer Interaction;2024-06-25
3. The Effects of Update Interval and Reveal Method on Writer Comfort in Synchronized Shared-Editors;Proceedings of the CHI Conference on Human Factors in Computing Systems;2024-05-11
4. Inductive Diagrams for Causal Reasoning;Proceedings of the ACM on Programming Languages;2024-04-29
5. A Variance-Based Drift Metric for Inconsistency Estimation in Model Variant Sets.;The Journal of Object Technology;2024