第1章 什麼是分布式處理 1
1.1 概述 1
1.2 計算和網絡的發展 2
1.3 分布式處理 2
1.4 應用領域 3
1.5 模型 3
1.6 移動代碼 4
1.7 分布式係統麵臨的挑戰 4
1.8 本章小結 5
練習題 6
第2章 並發的概念 7
2.1 概述 7
2.2 並發中的有關結構 8
2.3 命名和尋址 8
2.3.1 名稱和地址示例 9
2.3.2 地址映射機製 9
2.4 共享與同步 11
2.4.1 資源分配 11
2.4.2 示例: 文件同步 12
2.5 低級同步 12
2.5.1 競爭條件 13
2.5.2 互斥 13
2.5.3 信號量 13
2.5.4 管程 16
2.5.5 會閤18分布式處理實踐目錄
2.6 定時和實時係統 18
2.7 可靠性 19
2.7.1 故障和失效的類型 19
2.7.2 對故障的響應 20
2.8 服務器類型 20
2.9 簇、負載平衡和網格 21
2.10 本章小結 22
練習題 22
第3章 並發模型 24
3.1 概述 24
3.2 狀態機和自動機 24
3.3 SPIN和Promela 25
3.4 進程代數 26
3.4.1 通信順序進程 27
3.4.2 π演算和靈活性 28
3.5 Linda 30
3.5.1 JavaSpaces 31
3.6 再談死鎖 33
3.7 本章小結 34
練習題 35
第4章 操作係統中的並發 37
4.1 概述 37
4.2 為什麼使用操作係統 37
4.3 進程和綫程 38
4.3.1 進程概念 39
4.3.2 CPU中的用戶模式和管理員模式 39
4.3.3 多任務 40
4.3.4 綫程和輕量級進程 40
4.4 Linux中的進程和綫程示例 41
4.4.1 Fork 41
4.4.2 Pthreads 43
4.5 Ada中的任務處理 45
4.6 本章小結 47
練習題 47
第5章 進程間通信 49
5.1 概述 49
5.2 Linux中的Pthreads IPC示例 50
5.2.1 互斥量和共享內存 50
5.2.2 信號量 52
5.2.3 條件變量 54
5.3 Ada中的互斥 57
5.4 BSD套接字 60
5.5 TCP客戶-服務器示例 61
5.5.1 一個簡單的TCP服務器 61
5.5.2 字符串終止和網絡 67
5.5.3 一個簡單的TCP客戶端 68
5.5.4 具有名稱查找功能的TCP客戶端 72
5.6 UDP客戶-服務器示例 72
5.6.1 UDP服務器 72
5.6.2 UDP客戶端 75
5.7 雙嚮通信 77
5.8 分叉模式的TCP服務器 79
5.9 阻塞處理和select 83
5.9.1 用於雙嚮通信的select 84
5.9.2 用於多個連接的select 86
5.10 容錯和IPC定時處理 87
5.11 本章小結 87
練習題 87
第6章 協議 89
6.1 概述 89
6.2 協議的目的 89
6.3 協議中的有關問題 90
6.3.1 高級和低級協議 90
6.3.2 消息 91
6.3.3 平颱依賴 92
6.3.4 容錯 93
6.4 定義協議 95
6.4.1 編碼 96
6.4.2 錶示法 96
6.5 示例: HTTP 97
6.6 示例: SMTP 98
6.7 示例: 交替位協議 99
6.8 本章小結 101
練習題 101
第7章 安全性 103
7.1 概述 103
7.2 定義、概念和術語 103
7.2.1 風險、威脅和漏洞 103
7.2.2 安全性的目標 104
7.2.3 設計 104
7.3 分布式係統中的安全問題 105
7.4 加密 107
7.4.1 加密示例: 數字簽名 108
7.4.2 密鑰管理 108
7.4.3 將公開密鑰與用戶匹配 109
7.5 案例研究: Needham-Schroeder 109
7.6 實際問題 110
7.6.1 C編程 110
7.6.2 Web應用程序 111
7.6.3 操作係統和網絡問題 112
7.6.4 SSL 112
7.6.5 使用SSL 113
7.7 本章小結 114
練習題 115
第8章 語言和分布式處理 116
8.1 概述 116
8.2 語言的適用性 116
8.3 C中的分布式處理 117
8.3.1 C概述 118
8.3.2 調試C 118
8.4 Java中的分布式處理 119
8.4.1 概述: RMI模型 119
8.4.2 示例 120
8.4.3 其他方法 123
8.5 Ada中的分布式處理 123
8.6 Eiffel和SCOOP中的分布式處理 125
8.6.1 SCOOP: Eiffel的一種並發模型 126
8.6.2 相關工作和原型 128
8.7 語言的比較 129
8.7.1 語言模式 130
8.7.2 類型規則 130
8.7.3 網絡支持 131
8.7.4 並發支持 132
8.7.5 進程間通信支持 132
8.8 本章小結 133
練習題 133
第9章 構建分布式係統 134
9.1 概述 134
9.2 方法 135
9.3 案例分析: 電子郵件 135
9.3.1 典型使用和需求 136
9.3.2 平颱和語言要求 136
9.3.3 結構 137
9.3.4 協議和形式 137
9.3.5 示例: 使用PHP發送電子郵件 139
9.4 案例分析: 安全外殼 142
9.4.1 典型使用和需求 142
9.4.2 平颱要求 143
9.4.3 結構 143
9.4.4 協議 144
9.5 案例分析: 版本控製和同步 145
9.5.1 典型使用和需求 146
9.5.2 平颱要求 146
9.5.3 結構 146
9.5.4 協議 147
9.6 案例分析: Web應用程序 148
9.7 本章小結 149
練習題 149
第10章 案例分析: 一個網絡遊戲 151
10.1 動機和組織 151
10.2 大概結構和基本需求 152
10.3 分析和設計 152
10.3.1 大綱用例 153
10.3.2 詳細設計問題 155
10.3.3 安全性 156
10.4 協議 157
10.4.1 協議消息 157
10.4.2 客戶端登錄 157
10.4.3 地圖服務器啓動和關閉 158
10.4.4 UDP消息 159
10.4.5 協議備注 161
10.4.6 數據視圖 161
10.5 實現 162
10.5.1 管理服務器 163
10.5.2 地圖服務器 164
10.5.3 玩傢客戶端 164
10.5.4 運行示例 165
10.6 測試 165
10.7 本章小結 166
練習題 166
第11章 結束 168
11.1 小結 168
11.2 建議 169
11.2.1 將來方嚮 171
11.2.2 有趣的項目 171
附錄A 練習題: 提示和注解 173
第1章 什麼是分布式處理 173
第2章 並發的概念 175
第3章 並發模型 177
第4章 操作係統中的並發 180
第5章 進程間通信 184
第6章 協議 185
第7章 安全性 189
第8章 語言和分布式處理 191
第9章 構建分布式係統 192
第10章 案例分析: 一個網絡遊戲 194
附錄B 關於示例代碼 197
參考文獻 198
詞匯錶 202
· · · · · · (收起)