摘要
团队分工是现代企业提升工作效率及竞争力的重要手段.实时协同采用全复制式架构虽然提高了并发度,减少了响应时间,但由于其无法提供对团队分工协作的支持,导致不同团队成员之间操作互相干扰,一致性维护复杂度高.本文提出采用分治策略,将文档按照不同团队的编辑请求划分为互不相交的任务区域,并通过修正本地操作执行广播过程及远程操作获取执行过程来支持各子文档的一致性.任务完成后,通过文档合并算法从分文档得到整体一致的共享文档.本文描述分治策略的工作流程,通过正确性证明及效率分析验证了策略的有效性,并通过具体应用分析了系统的工作过程.
-
单位上海理工大学; 上海计算机软件技术开发中心