lisp型材库_STMX 1.3.2 发布，高性能的 Common Lisp 库

STMX 1.3.2 增加对 ABCL (Armed Bear Common Lisp) 的支持，此外性能也进一步得到提升。

STMX 是一个高性能的 Common Lisp 库，用于实现可组合的软件事务内存机制。

事务内存是一种并行程序设计的方式，其来自于数据库管理系统(DBMS)中的事务(Transaction)概念。事务内存目前有两种实现方式，基 于软件的STM(Software Transactional Memory)和基于硬件的HTM(Hardware Transacational Memory)。

采用任务并行时必须考虑线程间同步的问题：最初步也是最通常的方法是使用锁，只有获得了锁的线程在允许访问临界区，但是使用锁会发生一些问题，诸如 优先级反转(Priority inversion)、死锁(Deadlock)、护航(Convoying)等问题；于是后来产生了无锁编程(Lockless programming)的概念，即使用原子操作(Atomic Operations)和同步路障(Memory barrier)来完成线程间同步的功能，这种方法规避了使用锁时出现的上述问题并极大的提高了并行度，但是面临着原子操作本身功能局限性和组合性 (Compositionality)不佳的问题。原子操作的局限性使得无锁编程的算法设计很难，组合性则是指数个同步的原子对象组合应该也是一个同步的 原子对象。