Lisp的STM库STMX.zip下载

STMX 是一个高性能的 Common Lisp 库，用于实现可组合的软件事务内存机制。 事务内存是一种并行程序设计的方式，其来自于数据库管理系统（DBMS）中的事务（Transaction）概念。事务内存目前有两种实现方式，基于软件的STM（Software Transactional Memory）和基于硬件的HTM（Hardware Transacational Memory）。 采用任务并行时必须考虑线程间同步的问题：最初步也是最通常的方法是使用锁，只有获得了锁的线程在允许访问临界区，但是使用锁会发生一些问题，诸如优先级反转(Priority inversion)、死锁（Deadlock）、护航（Convoying）等问题；于是后来产生了无锁编程（Lockless programming）的概念，即使用原子操作（Atomic Operations）和同步路障（Memory barrier）来完成线程间同步的功能，这种方法规避了使用锁时出现的上述问题并极大的提高了并行度，但是面临着原子操作本身功能局限性和组合性(Compositionality)不佳的问题。原子操作的局限性使得无锁编程的算法设计很难，组合性则是指数个同步的原子对象组合应该也是一个同步的原子对象。 更详细关于 STM 的介绍请看*。 标签：STMX