軟件簡(jiǎn)介

STMX 是一個(gè)高性能的 Common Lisp 庫(kù)，用于實(shí)現(xiàn)可組合的軟件事務(wù)內(nèi)存機(jī)制。

事務(wù)內(nèi)存是一種并行程序設(shè)計(jì)的方式，其來(lái)自于數(shù)據(jù)庫(kù)管理系統(tǒng)(DBMS)中的事務(wù)(Transaction)概念。事務(wù)內(nèi)存目前有兩種實(shí)現(xiàn)方式，基于軟件的STM(Software

Transactional Memory)和基于硬件的HTM(Hardware Transacational Memory)。

采用任務(wù)并行時(shí)必須考慮線程間同步的問(wèn)題：最初步也是最通常的方法是使用鎖，只有獲得了鎖的線程在允許訪問(wèn)臨界區(qū)，但是使用鎖會(huì)發(fā)生一些問(wèn)題，諸如優(yōu)先級(jí)反轉(zhuǎn)(Priority

inversion)、死鎖(Deadlock)、護(hù)航(Convoying)等問(wèn)題；于是后來(lái)產(chǎn)生了無(wú)鎖編程(Lockless

programming)的概念，即使用原子操作(Atomic Operations)和同步路障(Memory

barrier)來(lái)完成線程間同步的功能，這種方法規(guī)避了使用鎖時(shí)出現(xiàn)的上述問(wèn)題并極大的提高了并行度，但是面臨著原子操作本身功能局限性和組合性(Compositionality)不佳的問(wèn)題。原子操作的局限性使得無(wú)鎖編程的算法設(shè)計(jì)很難，組合性則是指數(shù)個(gè)同步的原子對(duì)象組合應(yīng)該也是一個(gè)同步的原子對(duì)象。

更詳細(xì)關(guān)于 STM

的介紹請(qǐng)看維基百科。

總結(jié)

以上是生活随笔為你收集整理的lisp型材库_STMX的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。