Affiliation:
1. Alfréd Rényi Institute of Mathematics, 1053 Budapest, Hungary
2. Institute of Information Theory and Automation, CZ-182 00 Prague, Czech Republic
Abstract
Finding a provably correct subquadratic synchronization algorithm for many filesystem replicas is one of the main theoretical problems in operational transformation (OT) and conflict-free replicated data types (CRDT) frameworks. Based on the algebraic theory of filesystems, which incorporates non-commutative filesystem commands natively, we developed and built a proof-of-concept implementation of an algorithm suite which synchronizes an arbitrary number of replicas. The result is provably correct, and the synchronized system is created in linear space and time after an initial sorting phase. It works by identifying conflicting command pairs and requesting one of the commands to be removed. The method can be guided to reach any of the theoretically possible synchronized states. The algorithm also allows asynchronous usage. After the client sends a synchronization request, the local replica remains available for further modifications. When the synchronization instructions arrive, they can be merged with the changes made since the synchronization request. The suite also works on filesystems with a directed acyclic graph-based path structure in place of the traditional tree-like arrangement. Consequently, our algorithms apply to filesystems with hard or soft links as long as the links create no loops.
Subject
Computer Networks and Communications
Reference28 articles.
1. Athow, D., and Turner, B. (2023, May 10). Best File Syncing Solutions of 2023. Available online: https://www.techradar.com/best/best-file-syncing-solution.
2. Cloud storage services for file synchronization and sharing in science, education and research;Mascetti;Future Gener. Comput. Syst.,2018
3. Achieving Convergence, Causality Preservation, and Intention Preservation in Real-Time Cooperative Editing Systems;Sun;ACM Trans. Comput. Hum. Interact.,1998
4. Poltrock, S.E., and Grudin, J. (1998, January 14–18). Operational Transformation in Real-Time Group Editors: Issues, Algorithms, and Achievements. Proceedings of the ACM 1998 Conference on Computer Supported Cooperative Work, Seattle, WA, USA.
5. Shao, B., Li, D., Lu, T., and Gu, N. (2011, January 19–23). An Operational Transformation Based Synchronization Protocol for Web 2.0 Applications. Proceedings of the ACM 2011 Conference on Computer Supported Cooperative Work, Hangzhou, China. CSCW ’11.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献