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)不佳的问题。原子操作的局限性使得无锁编程的算法设计很难,组合性则是指数个同步的原子对象组合应该也是一个同步的 原子对象。