摘要
在异步协同编程环境下,协作者经常创建多个版本,每个版本都是对原来版本的修订或补充,如何合并多个版本为一个共同的版本是一个重要的研究课题。在已存在的算法中,PDI算法是对HPR和YHR算法的补充,它可以合并当一个版本对if条件语句的then分支进行修改,而另一版本对else分支进行修改时所导致的差别,但是对于某些HPR和YHR算法可合并的程序,PDI算法会报告假冲突,因此提出了一种基于语义的程序融合差别合并算法,它是通过对程序同时使用前向分片和后向分片进行差别分析,避免假冲突的发生。实验表明该算法可以有效地保证编程者的编程意愿。
- 单位