论文部分内容阅读
随着多核处理器的广泛应用,内核之间有效同步问题成为并行编程的一个难题。传统的锁同步不能满足多线程编程的要求,事务存储作为一种共享资源同步的新模型被提出。因其具有较强原子性和隔离性等优点,硬件事务存储成为现如今计算机系统结构中的研究热点之一。近年来,国内外许多专家学者和科研机构对其展开积极的研究和探索。但是,硬件事务存储系统中事务执行时常发生的读/写冲突、使用固定大小的签名、使用单一事务执行模式等问题都会导致系统性能降低甚至死锁。因此,本文将针对现有硬件事务存储系统中存在的上述不足,对其现有的冲突检测机制和并发控制机制进行优化,以寻求高效合理的事务存储系统。本文首先对硬件事务存储系统中的冲突检测机制进行优化,重新设计冲突检测所应用的签名结构,提出一种基于动态签名的冲突检测机制。该机制通过控制器调整签名中过滤器数量,满足新分配签名的需求,使有限的资源得到最大限度的合理利用,减小已分配签名的大小,降低系统误判率。其次,在此研究基础上,对冲突检测时系统的并发控制机制进行优化,提出一种基于冲突序列化的并发控制机制,将发生冲突的事务进行序列化,采用新的事务一致性协议,运用事务模式选择器动态选择事务执行模式,减少事务执行过程中的中止率和延迟,并发控制冲突检测和冲突解决方法,提高事务的并发性,降低事务执行过程中的硬件及软件开销,改善硬件事务存储系统性能。最后,为了验证优化后的硬件事务存储系统的高效性和可行性,设计合理的性能测试方案,对其进行性能测试和结果分析。性能测试结果表明:新型的基于动态签名的冲突检测机制有效地克服了传统机制中存在的冲突频繁发生、虚假冲突率过高等缺点;基于冲突序列化的并发控制机制减少事务中止率,合理调节不同类型事务执行顺序,促进了硬件事务存储系统性能的提升,具有良好的应用前景和研究价值。