軟件簡介

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

的介紹請看維基百科。

總結

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

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