软件事务存储系统设计选择.docVIP

软件事务存储系统设计选择摘 要：多核微处理器的发展为线程级并行编程带来了新的机遇和挑战。面对传统锁机制应用对并行开发带来的诸多困难，借鉴数据库中事务的概念提出事务存储技术。软件事务存储系统的性能受设计上各方面因素的影响，比如基于字或基于对象、基于锁或无阻塞、直写或回写、早检测或晚检测。对此进行了论述。 关键词：软件事务存储；设计选择；数据组织方式；更新控制方式 中图分类号：TP301 文献标识码：A 文章编号2013）003004202 0 引言 多核微处理器的发展为线程级并行编程带来新的机遇和挑战。新的摩尔定律指出，在基本不变的主频下，单个芯片上的处理器核的数目每一代（约两年）增加一倍。当前，程序性能的提高只能依靠并行，并行算法和并行编程是今后几十年计算机科学和软件界必须突破的科学问题和关键技术。并行程序设计将越来越大众化，对提高并行程序设计的产出率（Productivity）的要求越来越高，提供易用高效的并行编程手段显得尤为关键。传统的用于线程间同步的锁机制编程困难，可扩展性差，并不适于未经专业培训的一般程序员使用：粗粒度锁由于一次性地对本地大量数据进行保护，即使两个线程之间理论上并不存在干扰，也可能因粗粒度锁而产生冲突，因此粗粒度锁不适于拓展，性能较低；细粒度锁虽然性能高，但在实现上很难保证其准确性及避免死锁。同时，锁技术容易致使线程脆弱，即线程更加容易失败或延迟。比如，持有锁的线程会阻塞其它线程。 研究人员为解决以上问题，借鉴数据库中的事务概念提出事务存储（Transactional Memory，TM）技术，希望获得一种像粗粒度一样容易使用、性能接近细粒度锁的同步手段。 1 事务存储技术 在事务存储技术中，线程事务采用原子执行单元来替代锁。各线程事务以原子的方式执行，把维持事务特性的工作交给编译器、运行时库或硬件完成，进一步的性能调优可以在系统层完成。比如，如下计算直方图的代码块： atomic{ hist[array[i][j]]++； } 程序员可将其看作是一个临界区，TM实现来决定如何将该临界区与其它线程隔离运行。 根据事务存储系统实现方法的不同，目前的事务存储系统的研究主要有3个方向：基于硬件实现的硬件事务存储系统（HTM，Hardware Transaction Memory），如Stanford大学的TCC；基于运行时库实现的软件事务存储系统（STM，Software Transaction Memory），如Rochester大学的RSTM；结合软硬件实现的混合事务存储系统（Hybrid Transaction Memory），如Rajwar等提出的VTM。HTM系统主要由硬件实现，速度最快，并行粒度是cache行或内存字；STM以计算机语言实现，并行力度是对象或内存字，速度较慢，但比较灵活；HyTM由适当的软件或硬件实现，性能介于HTM与STM之间。本文主要研究软件事务存储技术。 2 事务存储实现方式 为了实现事务的特性，一般来说，软件事务存储的实现必须具备三大功能。 （1）冲突检测。事务在执行过程中，要根据具体的情况适时地检测冲突，只有在无冲突发生的情况下，事务才能提交。 （2）一致性校验。事务在执行过程中始终要保持共享对象的一致性状态。在共享对象不一致的状态下，计算可能会产生无法控制的结果，如死循环或除零错。所以，即使执行过程中没有检测到冲突，事务还是可能进行一致性校验。 （3）冲突消解。当冲突发生后，需要采取一定的措施来消解冲突。 当前的各种STM通过不同手段来实现上述三大功能。 2.1 早检测与晚检测 对于冲突的检测，可以分为早检测（early detect）和晚检测（lazy detect）。早检测即每当事务读或写时，都会去检测是否有冲突事务存在，以此来保持共享对象的一致性。因此，早检测策略需要事务的读集（read set）及写集（write set）对所有的事务都是可见的，我们将这种设计称之为可见读（visible read）设计。Harris于2003年提出不可见读，与之相应的是晚检测策略，只有在事务提交时才依靠对读集的检测来确定是否存在冲突事务。一般来说，早检测能比晚检测更加及时地发现冲突，从而避免冲突事务执行不必要的操作，且检测手段的实现相对简单，但早检测的执行开销明显大于晚检测。 2.2 基于锁与无阻塞 鉴于前面提到的锁机制的各种缺陷，早期的STM研究将无阻塞（nonblocking）作为实现目标。无阻塞算法能够保证进程不会因不活跃的线程而阻塞，从而避免优先级倒置或线程死锁。其中，Herlihy等人提出的无干扰同步算法（obstru