论文部分内容阅读
在分布式协同编辑系统中,为了防止并行操作中出现冲突,常常用到加锁的机制。分布式协同图形图像编辑系统是协同系统中一个特殊的类,因此有特殊的加锁方式。本文提出一种新的不但能够给对象加锁,而且能够给区域加锁的锁机制。在这种锁机制下,用户可以自由地选择给一个图案对象加锁或者给一个工作区域加锁。这是一种细粒度和粗粒度的结合,既有利于减少加锁时系统的负载,又有利于方便用户的操作。这个机制已经应用在我们的CoDesign系统。