《多處理器編程的藝術(修訂版)》基本資料原書名：The Art of Multiprocessor Programming, Revised First Edition作者： (美)赫利希(Herlihy, M.) (美)謝菲特(Shavit, N.)譯者： 金海 胡侃叢書名： 電腦科學叢書出版社：機械工業出版社ISBN：9787111418580上架時間：2013-5-8出版日期：2013 年5月開本：16開頁碼：1版次：1-1所屬分類：電腦 > 電腦群組織與體繫結構 > 微處理器/CPU更多關於 》》》《多處理器編程的藝術(修訂版)》內容簡介電腦書籍 《多處理器編程的藝術(修訂版)》從原理和實踐兩個方面全面闡述了多處理器編程的指導原則，包含編製高效的多處理器程式所必備的演算法技術。此外，附錄提供了採用其他程式設計語言套件(如c#、c及c++的pthreads庫)進行編程的相關背景知識以及硬體基礎知識。 《多處理器編程的藝術(修訂版)》適合作為高等院校電腦及相關專業高年級本科生及研究生的教材，同時也可作為相關技術人員的參考書。目錄《多處理器編程的藝術(修訂版)》出版者的話譯者序前言教學建議第1章引言11.1共用對象和同步21.2生活執行個體41.2.1互斥特性61.2.2道德71.3生產者-消費者問題71.4讀者-寫者問題91.5並行的困境91.6並行程式設計111.7本章注釋111.8習題11第一部分原理第2章互斥142.1時間14.2.2臨界區142.3雙線程解決方案162.3.1lockone類162.3.2locktwo類172.3.3peterson鎖182.4過濾鎖192.5公平性212.6bakery演算法212.7有界時間戳記232.8儲存單元數量的下界252.9本章注釋272.10習題28第3章並發對象313.1並發性與正確性313.2順序對象333.3靜態一致性343.4順序一致性353.5可線性化性383.5.1可線性化點383.5.2評析383.6形式化定義383.6.1可線性化性393.6.2可線性化性的複合性403.6.3非阻塞特性403.7演化條件413.8java儲存空間模型433.8.1鎖和同步塊443.8.2volatile域443.8.3final域443.9評析453.10本章注釋463.11習題46第4章共用儲存空間基礎504.1寄存器空間504.2寄存器構造544.2.1mrsw安全寄存器554.2.2mrsw規則布爾寄存器554.2.3m-值mrsw規則寄存器564.2.4srsw原子寄存器574.2.5mrsw原子寄存器594.2.6mrmw原子寄存器604.3原子快照624.3.1無障礙快照634.3.2無等待快照644.3.3正確性證明664.4本章注釋674.5習題67第5章同步原子操作的相對能力705.1一致數705.2原子寄存器725.3一致性協議745.4fifo隊列745.5多重賦值對象775.6讀-改-寫操作795.7common2rmw操作805.8compareandset()操作815.9本章注釋825.10習題83第6章一致性的通用性876.1引言876.2通用性886.3一種通用的無鎖構造886.4一種通用的無等待構造916.5本章注釋956.6習題95第二部分實踐第7章自旋鎖與爭用987.1實際問題987.2測試-設定鎖1007.3再論基於tas的自旋鎖1027.4指數後退1027.5隊列鎖1047.5.1基於數組的鎖1047.5.2clh隊列鎖1067.5.3mcs隊列鎖1077.6時限隊列鎖1107.7複合鎖1127.8層次鎖1187.8.1層次後退鎖1187.8.2層次clh隊列鎖1197.9由一個鎖管理所有的鎖1237.10本章注釋1237.11習題124第8章管程和阻塞同步1268.1引言1268.2管程鎖和條件1268.2.1條件1278.2.2喚醒丟失問題1308.3讀者-寫者鎖1318.3.1簡單的讀者-寫者鎖1318.3.2公平的讀者-寫者鎖1328.4我們的可重新進入鎖1348.5訊號量1358.6本章注釋1368.7習題136第9章鏈表：鎖的作用1399.1引言1399.2基於鏈表的集合1409.3並發推理1419.4粗粒度同步1429.5細粒度同步1439.6樂觀同步1469.7惰性同步1499.8非阻塞同步1539.9討論1579.10本章注釋1579.11習題158第10章並行隊列和aba問題15910.1引言15910.2隊列16010.3部分有界隊列16010.4完全無界隊列16310.5無鎖的無界隊列16410.6記憶體回收和aba問題16610.7雙重資料結構17010.8本章注釋17210.9習題172第11章並發棧和消除17411.1引言17411.2無鎖的無界棧17411.3消除17611.4後退消除棧17611.4.1無鎖交換器17711.4.2消除數組17911.5本章注釋18111.6習題181第12章計數、排序和分布式協作18412.1引言18412.2共用計數18412.3軟體組合18512.3.1概述18512.3.2一個擴充執行個體19012.3.3效能和健壯性19112.4靜態一致池和計數器19212.5計數網19212.5.1可計數網19312.5.2雙調計數網19412.5.3效能和流水線20112.6衍射樹20112.7並行排序20412.8排序網20412.9樣本排序20712.10分布式協作20812.11本章注釋20812.12習題209第13章並發雜湊和固有並行21213.1引言21213.2封閉地址雜湊集21313.2.1粗粒度雜湊集21413.2.2空間分帶雜湊集21513.2.3細粒度雜湊集21713.3無鎖雜湊集21913.3.1遞迴有序劃分21913.3.2bucketlist類22213.3.3lockfreehashset[t]類22313.4開放地址雜湊集22513.4.1cuckoo雜湊22513.4.2並發cuckoo雜湊22613.4.3空間分帶的並發cuckoo雜湊23013.4.4細粒度的並發cuckoo雜湊集23113.5本章注釋23313.6習題234第14章跳錶和平衡尋找23514.1引言23514.2順序跳錶23514.3基於鎖的並
