实时协同编辑系统是CSCW系统的一类重要应用,它支持地理上分散的用户通过网络在同一时间浏览和编辑一个共享的文档、图形或者多媒体文件。为了支持实时、分布式和无约束的特点,系统通常采用全复制结构,因此本文的重点是研究在全复制结构下实时协同编辑系统的并发控制算法。首先从协同编辑系统的特点出发,提出了协同编辑系统主要解决的问题是对并发操作进行合理的调度,消除并发操作之间的冲突,从而达到结果收敛、因果关系一致和操作意愿一致的要求。其次是从分析和阐述目前国内外各种实时协同编辑系统并发控制算法入手,对已经存在的各种流行算法进行全面分析,总结了这些算法中存在的不足之处。目前,GOT算法是被公认为较正确的算法,但GOT算法没有光标控制机制,并且只能适用于简单运算,本文提出了一种改进的并发控制算法IGOT,用于解决GOT算法中存在的问题和不足,使之更加适用于实际的协同编辑系统。该算法对原有算法的高层调度部分和低层调度部分分别进行了改进,在低层部分提出了光标控制机制,解决实际编辑系统中光标位置一致性的问题;在高层部分引入了复杂运算,并将复杂运算分割成简单运算进行封装,可以按照简单运算进行调度。最后,通过分析IGOT算法的低层控制部分和高层控制部分,得到这两部分的算法复杂度。在低层控制部分,根据操作和历史缓存的并发关系证明操作变换控制策略,根据历史缓存及其操作语义证明光标位置控制策略,然后将两者结合证明低层控制算法的正确性。在高层控制部分,根据两两操作之间的语义和位置参数证明操作变换函数,从而证明高层控制算法的正确性。