论文部分内容阅读
分布式协同设计是计算机支持大型工程设计的有效方法。由于飞机协同设计等大型项目的设计过程是多次反复迭代的过程,因此对分布式协同设计而言,可靠、有效的版本控制显得尤为重要。版本不仅记录了设计过程的演变,也可为设计的可追溯性提供技术支撑。因此,对分布式版本控制的研究具有重要的理论意义和应用价值。 本文分析了分布式版本控制所涉及到的关键问题,重点研究了分布式版本控制中事务的并发控制技术与一致性策略。论文主要研究工作如下:1)针对现有并发控制算法适应性较差的问题,提出了自适应并发控制算法。该算法将并发控制过程分为两个阶段:执行授权和策略选择。执行授权阶段根据事务的有效性决定冲突事务执行的顺序;策略选择阶段根据事务的读写状态以及当前冲突率动态地选择乐观/悲观冲突消解策略。设计的策略选择机制使得无论数据库是处于空闲还是繁忙状态,ACC算法都具有较高的执行效率。通过对比实验验证了本文提出的ACC算法的性能要优于经典的两阶段加锁并发控制算法和HCC算法;2)针对传统的版本控制模型存在通用性较差、不能分布式部署的问题,提出了基于语义的版本控制模型。该模型中的模式、版本和关系动态地描述了设计对象的变化过程。同时还介绍了基于语义的版本控制模型下的一致性约束条件和版本控制方法。对比实验证明基于语义的版本控制模型在时空开销上优于其他版本控制模型;3)本文采用Jsp技术在Eclipse平台下设计并初步实现了分布式版本控制中间件,最后通过飞行器协同设计软件对分布式版本控制中间件进行了试用,测试实验与分析表明本文所设计的模型和算法是有效的、可行的。