面向有状态应用的并行系统设计研究-电路与系统专业毕业论文.docx

上海交通大擘博士擘住论文 上海交通大擘博士擘住论文 摘要 该研究的重要意义在于．所提出的并行数据备份策略能显著地提高系统的平均故障前时间；并且 指出通常的观点，即为每个数据单元设置2个备份，对于一个有较高数据可靠性要求的海量数据 系统来说是不能满足要求的，而使用3个备份却能满足一般的要求。 论文还研究了其他因素对系统平均故障前时间的影响。研究的目的是通过对这些因素的分 析，找到一些策略来保证一定的系统平均故障前时间，同时又最大程度地节省资源，特别是人力 资源，因为对于海鼍存储机群系统来说，节点数目巨大，管理和维护系统的开销很大。通过大量 的仿真实验发现，对于一个通常配置的海跫存储机群系统，当节点的平均维修时间为2天时，系 统平均故障前时间可维持在lO天以上；当节点的平均维修时间为4天时，仍可维持在4天以上。 这表明对完整性要求不高的数据，系统可放宽节点的平均维修时间要求，以降低对人力资源的要 求。在恢复策略对系统平均故障前时间的影响方面，研究表明若用户对系统的平均故障前时间为 4天的性能可以接受，则系统维护者可采用每2到3天维护一次的方案，将所有失效节点恢复， 加入系统，以提高劳动效率。另外，通过比较拷贝式与重启式对系统平均故障前时间的影响，发 现重启式不能在节点数较大的时候提供很好的性能，远低f拷贝式。 针对有状态的应用中通常有高并发的要求，论文对并发编程模式进行了详细的研究。首先比 较了三种并发编程模式，即基于多线程的编程模式、基于事件处理的编程模式和基于阶段的编程 模式，分别指出了它们的优缺点，特别指出了基丁：阶段的编程模式优于其它两种编程模式的主要 原因在于其良性考验的特性，该特性使服务器系统在处于过载的情况下，仍能维持一定的吞吐量， 保证一定的服务质量。紧接着，探讨了基于阶段的编程模式的实现结构，线程跨阶段结构和线程 在阶段内结构，比较了两种结构的优缺点，并指出由于线程在阶段内结构有线程数有限，能处理 阻塞操作，能自动完成调度，消息队列透明等优点，所以该结构被广泛采用。同时，作者还给出 了该结构下的Java语言的实现方法。接着，考虑到相关文献对基于阶段的编程模式在实际戍用中 的使用方法没有详细的讨论，从三方面对该模式的设计进行了讨论，这些方面包括阶段的数目， 阶段中线程的数目和阶段的分配。通过大量的仿真实验，发现用基于阶段的编程模式进行设计时， 若系统结构设计不合理，参数设置不当，则系统的性能将会有显著的下降，甚至达到无法正常工 作的境地，并由此提出了一套新的设计原则供设计者使用，这些原则是：在每一个处理器上，阶 段数目不能过多，一般不超过lO个；对于包含阻塞调用的阶段，它的并发线程数可设为请求到 达速率和平均阻塞时间的乘积；为了将暂时响应及时发送，这部分任务必须放于一个不含阻塞调 用的阶段。最后，将它们应用到实际的会话发起协议服务器的实现中，通过比较不同的系统设计 的性能，证明了这些原则的正确性。另外，论文所提出的系统设计结构对类似的应用也有指导意 义。 由于机群系统中不断会有节点失效和恢复，所以容错设计是系统能正确运行的关键技术。鉴 于这方面的工作，往往是设计者根据自身的经验完成，而没有一套通用的分析和设计方法，本文 对此做了研究。为使设计者能进行有层次有条理的容错设计，提出了一套新的容错设计分层概念， 这些分层概念包括基本级设计、系统级设计、基本级容错设计和系统级容错设计。通过将这些概 念应用于4个实际系统的容错设计分析，证实了这些概念能很好地将容错设计从系统设计中分离 出来，同时，这样的分析所得出的容错设计方案也可供设计者进行重用。另外，还从许多系统的 容错设计中，总结出4条常见的设计技术，供设计者参考，这些技术包括节点失效检测技术、失 效消息处理技术、簿记技术与缓存技术和重试技术。 论文还对状态分配的方法进行了分类和归纳，总结了每种方法的特点。对分布式状态分配策 略中的数据分配表的重建问题，进行了详细的讨论。提出了简单平均法，该法可使新建后系统中 各节点维护基本相同数目的元数据，以均衡新建后系统中各节点元数据访问的负载，还可使各正 常工作节点的元数据表的变化尽可能小，以减小重建元数据表所需开销。 组成员协议设计方面，论文比较了常见的检测协议和决定协议的特点，指出常用的“我活着” 上海交通大学博士学位论文 上海交通大学博士学位论文 摘要 协议有扩展性差的问题，而参与者列表协议可解决这方面的问题：决定协议中的独立估计协议有