论文部分内容阅读
在协同CAD系统中,解决设计者之间的冲突检测与消解问题是实现有效并发控制机制的关键。针对协同设计中多个关联对象之间的冲突检测和消解问题,介绍协同多版本相关概念和多版本属性标记锁策略,提出一种解决对象关联操作冲突的多版本动态属性锁并发控制协议,设计实现相应的算法。该协议将多版本和对象标记锁相结合,保证了并发冲突中的用户意愿。最后,分析多版本动态属性共享锁协议的正确性,并通过实例说明协议的可用性。