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)不佳的問題。原子操作的局限性使得無鎖編程的算法設計很難，組合性則是指數個同步的原子對象組合應該也是一個同步的 原子對象。

總結

以上是生活随笔為你收集整理的lisp型材库_STMX 1.3.2 发布，高性能的 Common Lisp 库的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。