异步协同编程环境下的程序差别[C].pdfVIP

计算机科学2005Vo1.32%.8(增刊) 异步协同编程环境下的程序差别 ‘ ProgramDiffeencinginAsynchronousCollabroativeProgrammingEnvironments 唐艳琴 ‘窦万峰“ (南京大学数学与计算机科学学院 南京210097) (南京大学计算机软件新技术国家重点实验室 南京210093) AbstractInasynchronouscollaborativeprogrammingenvironments,collaboratorsoftencreatemanyversions,each versionistherevisionorsupplementtotheoriginalversion.Aprimarykeyisanalysedifferenceofversionsduring mergingmanyversionsintoonecommonversion.Thepaperdiscussesmainlyabouttheexistingdifferencetocontent andbringforwardawayoftransformingstatementstoreducetheinterferences,thewaycanefficientlyensurecollab- oratorsintention.Theresearchingtoproceduraldistinctionsforthesupporttothetechnologyofautomaticprogram integration. KeywordsProgramdependencegraph,Programslice,Sequence-congruence,Transformingstatements,Result-con- gruence 示开始和唯一的Exit结点表示结束的1.G=(V, 1 引言 E)其中V是一个有限结点集，E表示控制流关系的 异步协同编程环境下，协作者经常创建多个版 边集，ECVXV。结点V由两类组成:操作结点V} 本，每个版本都是对原来版本的修订或补充，在合并 和谓词(分支)结点Vb,V=V.Uvb。图2中V二 多个版本为一个版本的过程中，关键技术是对版本 (VI,V3,从},Vb=(V2)。操作结点仅一个后继结 进行差别分析。在差别分析中，主要为对图形和文 点，而谓词结点有一个或多个后继结点。E中任一 本的差别分析。 条边eil表示两个结点V，和V;间的优先关系，表示 对于图形，只是对同一对象的同一属性修改为 当V;执行后，满足一定条件时，V;将按一定的概率 不同值时才会发生冲突C[tl，差别分析相对简单。而 执行。 对于文本，就需要考虑各程序语句是否发生了语义 V, x:=I; 或纯文本的变化，还有对于语句的顺序交换是否影 V2 ifpthen 响程序的结果行为等。在对文本的差别分析中，主 V3 x:=2; 要是通过对控制流图CFG及程序依赖图PDG来探 叭 y:=x+3; 测文本的差别。本文主要探讨如何更好地在两个程 图1 程序 序之间找到各语句之间的差别。 2 基本概念 2.2 程序依赖图PDG 程序依赖图PDG17,81是在控制流图的基础上创 在本文中，我们仅考