实时协同编程环境下的语义冲突消解方法研究

摘要 实时协同编程系统是协同交互应用的重要分支,该环境支持多个用户在任何时间任意地点并发的编辑共享的源代码文档.协同编程环境是一种特殊的协同文本编辑环境,该环境中共享的源代码文档既要满足语法一致性,也需符合语义一致性.语义不一致源于多个用户对相同的代码段或对存在依赖关系的代码段并发工作.本文深入分析了协同编程环境下语义冲突、动态依赖冲突问题及不完整的编辑操作导致的编辑错误,基于前人的研究,结合CAS(Compare And Swap)的并发控制思想,设计了实时协同环境下了语义冲突消解方法ACAS(Automatic Compare And Swap),维护实时协同编程语义一致性.本文在Windows平台下,基于QT框架及SeaStar异步通信框架开发了实时协同编程的原型系统CoCode,并通过相关实验进一步的验证了ACAS(Automatic Compare And Swap)算法及相关控制函数的可行性与正确性