摘要：在分布式协同编辑系统中,为了防止并行操作中出现冲突,常常用到加锁的机制.基于分布式协同图案编辑系统是协同系统中一个特殊的类,因此有特殊的加锁方式.本文提出一种新的不但能够处理给对象加锁,而且能够处理给区域加锁的锁机制.在这种锁机制下,用户可以自由地选择给一个图案对象加锁或者给一个工作区域加锁.因此,这是一种细粒度和粗粒度的结合,既有利于减少加锁时系统的负载,又有利于方便用户的操作.在这种锁机制下,用户可以在整体锁定一个区域的情况下对一个图案对象局部解锁,并且一个区域锁中的对象可以成为另一个区域锁的伙伴.这个机制已经应用到浙江大学计算机学院CSCW组的CoDesign系统.
