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
267 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Software Architecture Based on Coarse-Grained Self-Adjusting Computations;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
2. A Brief History of Liquid Software;2023 IEEE International Conference on Edge Computing and Communications (EDGE);2023-07
3. Type-Checking CRDT Convergence;Proceedings of the ACM on Programming Languages;2023-06-06
4. Efficient Renaming in Sequence CRDTs;IEEE Transactions on Parallel and Distributed Systems;2022-12-01
5. Data Synchronization: A Complete Theoretical Solution for Filesystems;Future Internet;2022-11-21