多處理器編程的藝術

出版者的話
譯者序
前言
第1章 引言
1.1 共享對象和同步
1.2 生活實例
1.3 生產者—消費者問題
1.4 讀者—寫者問題
1.5 并行的困境
1.6 并行程序設計
1.7 本章注釋
1.8 習題
第一部分 原理
第2章 互斥
2.1 時間
2.2 1臨界區(qū)
2.3 雙線程解決方案
2.4 過濾鎖
2.5 公平性
2.6 Bakery算法
2.7 有界時間戳
2.8 存儲單元數量的下界
2.9 本章注釋
2.10 習題
第3章 并發(fā)對象
3.1 并發(fā)性與正確性
3.2 順序對象
3.3 靜態(tài)一致性
3.4 順序一致性
3.5 可線性化性
3.6 形式化定義
3.7 演進條件
3.8 Java存儲器模型
3.9 評析
3.10 本章注釋
3.11 習題
第4章 共享存儲器基礎
4.1 寄存器空間
4.2 寄存器構造
4.3 原子快照
4.4 本章注釋
4.5 習題
笫5章 同步原子操作的相對能力
5.1 一致數
5.2 原子寄存器
5.3 一致性協議
5.4 FIFO隊列
5.5 多重賦值對象
5.6 讀—改—寫操作
5.7 Common2RMW操作
5.8 compareAndSet()操作
5.9 本章注釋
5.10 習題
第6章 一致性的通用性
6.1 引言
6.2 通用性
6.3 一種通用的無鎖構造
6.4 一種通用的無等待構造
6.5 本章注釋
6.6 習題
第二部分 實踐
第7章 自旋鎖與爭用
7.1 實際問題
7.2 測試—設置鎖
7.3 再論基于TAS的自旋鎖
7.4 指數后退
7.5 隊列鎖
7.6 時限隊列鎖
7.7 復合鎖
7.8 層次鎖
7.9 由一個鎖管理所有的鎖
7.10 本章注釋
7.11 習題
笫8章 管程和阻塞同步
8.1 引言
8.2 管程鎖和條件
8.3 讀者—寫者鎖
8.4 我們的可重入鎖
8.5 信號量
8.6 本章注釋
8.7 習題
第9章 鏈表：鎖的作用
9.1 引言
9.2 基于鏈表的集合
9.3 并發(fā)推理
9.4 粗粒度同步
9.5 細粒度同步
9.6 樂觀同步
9.7 惰性同步
9.8 非阻塞同步
9.9 討論
9.1 0本章注釋
9.1 1習題
笫10章 并行隊列和ABA問題
10.1 引言
10.2 隊列
10.3 部分有界隊列
10.4 完全無界隊列
10.5 無鎖的無界隊列
10.6 內存回收和ABA問題
10.7 雙重數據結構
10.8 本章注釋
10.9 習題
第11章 并發(fā)棧和消除
11.1 引言
11.2 無鎖的無界棧
11.3 消除
11.4 后退消除棧
11.5 本章注釋
11.6 習題
第12章計數、排序和分布式協作
12.1 引言
12.2 共享計數
12.3 軟件組合
12.4 靜態(tài)一致池和計數器
12.5 計數網
12.6 衍射樹
12.7 并行排序
12.8 排序網
12.9 樣本排序
12.10 分布式協作
12.11 本章注釋
12.12 習題
第13章 并發(fā)哈希和固有并行
13.1 引言
13.2 封閉地址哈希集
13.3 無鎖哈希集
13.4 開放地址哈希集
13.5 本章注釋
13.6 習題
第14章 跳表和平衡查找
14.1 引言
14.2 順序跳表
14.3 基于鎖的并發(fā)跳表
14.4 無鎖并發(fā)跳表
14.5 并發(fā)跳表
14.6 本章注釋
14.7 習題
第15章 優(yōu)先級隊列
15.1 引言
15.2 基于數組的有界優(yōu)先級隊列
15.3 基于樹的有界優(yōu)先級隊列
15.4 基于堆的無界優(yōu)先級隊列
15.5 基于跳表的無界優(yōu)先級隊列
15.6 本章注釋
15.7 習題
笫16章 異步執(zhí)行、調度和工作分配
16.1 引言
16.2 并行分析
16.3 多處理器的實際調度
16.4 工作分配
16.5 工作竊取雙端隊列
16.6 本章注釋
16.7 習題
第17章 障礙
17.1 引言
17.2 障礙實現
17.3 語義換向障礙
17.4 組合樹障礙
17.5 靜態(tài)樹障礙
17.6 終止檢測障礙
17.7 本章注釋
17.8 習題
第18章 事務內存
18.1 引言
18.2 事務和原子性
18.3 軟事務內存
18.4 硬事務內存
18.5 本章注釋
18.6 習題
第三部分 附錄
附錄A軟件基礎
附錄B硬件基礎
參考文獻