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)不佳的問題。原子操作的局限性使得無鎖編程的算法設計很難,組合性則是指數個同步的原子對象組合應該也是一個同步的 原子對象。
總結
以上是生活随笔為你收集整理的lisp型材库_STMX 1.3.2 发布,高性能的 Common Lisp 库的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: dvwa详解_DVWA(六):XSS-R
- 下一篇: 在crontab中找不到sqlplus命