分布式版本控制中间件的分析与实现-计算机科学与技术专业论文.docx

承诺书 本人声明所呈交的硕士学位论文是本人在导师指导下进 行的研究工作及取得的研究成果。除了文中特别加以标注和致 谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得南京航空航天大学或其他教育机构的学位 或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （保密的学位论文在解密后适用本承诺书） 作者签名： 日 期： 南京航空航天大学硕士学位论文 南京航空航天大学硕士学位论文 分布式版本控制中间件的研究与实现 分布式版本控制中间件的研究与实现 摘 要 分布式协同设计是计算机支持大型工程设计的有效方法。由于飞机协同设计等大型项目的 设计过程是多次反复迭代的过程，因此对分布式协同设计而言，可靠、有效的版本控制显得尤 为重要。版本不仅记录了设计过程的演变，也可为设计的可追溯性提供技术支撑。因此，对分 布式版本控制的研究具有重要的理论意义和应用价值。 本文分析了分布式版本控制所涉及到的关键问题，重点研究了分布式版本控制中事务的并 发控制技术与一致性策略。论文主要研究工作如下：1）针对现有并发控制算法适应性较差的问 题，提出了自适应并发控制算法。该算法将并发控制过程分为两个阶段：执行授权和策略选择。 执行授权阶段根据事务的有效性决定冲突事务执行的顺序；策略选择阶段根据事务的读写状态 以及当前冲突率动态地选择乐观/悲观冲突消解策略。设计的策略选择机制使得无论数据库是处 于空闲还是繁忙状态，ACC 算法都具有较高的执行效率。通过对比实验验证了本文提出的 ACC 算法的性能要优于经典的两阶段加锁并发控制算法和 HCC 算法；2）针对传统的版本控制模型 存在通用性较差、不能分布式部署的问题，提出了基于语义的版本控制模型。该模型中的模式、 版本和关系动态地描述了设计对象的变化过程。同时还介绍了基于语义的版本控制模型下的一 致性约束条件和版本控制方法。对比实验证明基于语义的版本控制模型在时空开销上优于其他 版本控制模型；3）本文采用 Jsp 技术在 Eclipse 平台下设计并初步实现了分布式版本控制中间 件，最后通过飞行器协同设计软件对分布式版本控制中间件进行了试用，测试实验与分析表明 本文所设计的模型和算法是有效的、可行的。 关键词：版本控制，分布式事务，并发控制，串行化，语义 I PAGE PAGE IV III III ABSTRACT The distributed collaborative design technology is an effective method in large-scale engineer design with computer support. The design of large-scale projects such as aircraft collaborative design is an iterative process, so reliable and effective version control is especially important for distributed collaborative design. Version information not only records the evolution of the design process, but also provides technical support for the trace of design. Therefore, the research of distributed version control is of great theoretical significance and application values. This paper analyzes the key issues involved in distributed version control and focuses on the concurrency control and consistency strategy of transactions. The main achievements of this paper are listed as follows: 1. This paper proposes an adaptive decision concurrency control algorithm to solve the problem of poor adaptability in existing concurrency control algori