Novel Conflict Detection and Solution in File Management
GAO Li-ping1,2,TAO Chang-qing1
1(School of Optical-Electrical Computer Engineering,University of Shanghai for Science and Technology,Shanghai 200093,China)2(Shanghai Key Laboratory of Data Science,Fudan University,Shanghai 200093,China)
摘要 随着云服务的快速发展,越来越多的应用软件被迁移到云端以提供更好的协作支持.而企业面对日渐增长的庞杂的文件,单人管理文件显得力不从心,提高文件管理的效率迫在眉睫.多人实时协同管理文件不仅可以提高文件管理效率,同时也可以清楚的了解同伴的意愿需求,提高用户的体验度.而实时的多人协同管理文件中面临的最大的挑战就是维护文件管理系统的一致性维护.传统的一致性维护方法通常是基于复杂的控制机制和转换函数来维护协作文本的一致性,这对于云环境下的协同管理不是很理想的.近年来,CRDT(Commutative Replicated Data Type)被提出作为协作文本编辑中的新的一致性维护机制,但鲜少将其应用到云环境和文件管理等场景下.本文提出了一种新的基于CRDT的冲突检测和解决方法,来维护文件协同管理的最终一致性.首先定义操作之间的关系,并提出了基于CRDT的冲突检测机制;其次,提出基于CRDT的冲突解决的有效方案;最后,举例并证明了提出方案的正确性,并从理论上分析其时间复杂度和空间复杂度.因此,本文所提出的方法可以大大提高云环境下文件协同管理的正确性和高效性.
Abstract：With the rapid development of cloud services,more and more applications are being migrated to the cloud to provide better collaboration support.In the face of the ever-increasingly large number of documents,the single-management documents seem to be incapable,and the efficiency of document management is imminent.Multi-user real-time collaborative management of documents can not only improve the efficiency of document management,but also clearly understand the willingness of peers and improve the user experience.The biggest challenge in real-time multi-user collaborative management files is to maintain consistent maintenance of the file management system.Traditional consistency maintenance methods are usually based on complex control mechanisms and conversion functions to maintain the consistency of collaborative context,which is not ideal for collaborative management in the cloud environment.In recent years,CRDT(Commutative Replicated Data Type)has been proposed as a new consistency maintenance mechanism in collaborative text editing,but it is rarely applied to scenarios such as cloud environments and file management.This paper proposes a new CRDT-based conflict detection and resolution method to maintain the ultimate consistency of file collaborative management.Firstly,the relationship between operations is defined,and the CRDT-based conflict detection mechanism is proposed.Secondly,an effective scheme based on CRDT conflict resolution is proposed.Finally,the correctness of the proposed scheme is proved and the time and space complexity is theoretically analyzed.Therefore,the method proposed in this paper can greatly improve the correctness and efficiency of file collaborative management in the cloud environment.