分散式演算法-典藏版 南希.A.林奇 9787111724247 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：機械工業
物品所在地：中國大陸
原出版社：機械工業
NT$757
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202305*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：分散式演算法-典藏版 ISBN：9787111724247 出版社：機械工業 著編譯者：南希.A.林奇 叢書名：計算機科學叢書 頁數：518 所在地：中國大陸 *此為代購商品 書號：1576879 可大量預訂，請先連絡。 內容簡介 本書對分散式演算法進行全面介紹，包含同步模型、非同步模型和部分同步模型，針對這些模型討論互斥性、一致性和通信問題，為設計、實現和分析分散式演算法提供了藍圖，適合學生、程序員、系統分析人員和研究人員等不同類型的讀者閱讀。書中涉及該領域重要的演算法和不可能解，而且採用簡單的自動機理論進行論述，其中涉及的問題包括資源分配、通信、分散式處理器之間的一致性、數據一致性、死鎖檢測、領導者進程的選取、全局快照等。作者簡介 南希·A 林奇（Nancy A Lynch） 麻省理工學院電子工程和計算機科學系教授，領導麻省理工學院的分散式系統理論研究組，在分散式演算法和不可能解以及分散式系統的形式化建模和證明方面編寫了大量著作。目錄 譯者序前言 第1章 引言 1 1 相關主題 1 2 我們的觀點 1 3 本書內容綜述 1 4 參考文獻註釋 1 5 標記 第一部分 同步網路演算法 第2章 建模I：同步網路模型 2 1 同步網路系統 2 2 故障 2 3 輸入和輸出 2 4 運行 2 5 證明方法 2 6 複雜度度量 2 7 隨機化 2 8 參考文獻註釋 第3章 同步環中的領導者選擇 3 1 問題 3 2 相同進程的不可能性結果 3 3 基本演算法 3 4 通信複雜度為O (nlogn）的演算法 3 5 非基於比較的演算法 3 5 1 時間片演算法 3 5 2 變速演算法 3 6 基於比較的演算法的下界 3 7 非基於比較的演算法的下界* 3 8 參考文獻註釋 3 9 習題 第4章 一般同步網路中的演算法 4 1 一般網路中的領導者選舉 4 1 1 問題 4 1 2 簡單的洪泛演算法 4 1 3 降低通信複雜度 4 2 廣度優先搜索 4 2 1 問題 4 2 2 基本的廣度優先搜索演算法 4 2 3 應用 4 3 最短路徑 4 4 最小生成樹 4 4 1 問題 4 4 2 基本定理 4 4 3 演算法 4 5 獨立集 4 5 1 問題 4 5 2 隨機化演算法 4 5 3 分析* 4 6 參考文獻註釋 4 7 習題 第5章 鏈路故障時的分散式一致性 5 1 協同攻擊問題—確定性版本 5 2 協同攻擊問題—隨機化版本 5 2 1 形式化模型 5 2 2 演算法 5 2 3 不一致的下限 5 3 參考文獻註釋 5 4 習題 第6章 進程故障下的分散式一致性 6 1 問題 6 2 針對停止故障的演算法 6 2 1 基本演算法 6 2 2 減少通信 6 2 3 指數信息收集演算法 6 2 4 帶鑒別的Byzantine一致性 6 3 針對Byzantine故障的演算法 6 3 1 舉例 6 3 2 Byzantine一致性問題的EIG演算法 6 3 3 使用二元Byzantine一致性的一般Byzantine一致性問題 6 3 4 減少通信開銷 6 4 Byzantine一致性問題中進程的個數 6 5 一般圖中的Byzantine一致性問題 6 6 弱Byzantine一致性 6 7 有停止故障時的輪數 6 8 參考文獻註釋 6 9 習題 第7章 更多的一致性問題 7 1 k一致性問題 7 1 1 問題 7 1 2 演算法 7 1 3 下界* 7 2 近似一致性 7 3 提交問題 7 3 1 問題 7 3 2 兩階段提交 7 3 3 三階段提交 7 3 4 消息數的下界 7 4 參考文獻註釋 7 5 習題 第二部分 非同步演算法 第8章 建模II：非同步系統模型 8 1 輸入/輸出自動機 8 2 自動機的操作 8 2 1 合成 8 2 2 隱藏 8 3 公平性 8 4 問題的輸入和輸出 8 5 屬性與證明方法 8 5 1 不變式斷言 8 5 2 軌跡屬性 8 5 3 安全與活性屬性 8 5 4 合成推理 8 5 5 層次化證明 8 6 複雜度衡量 8 7 不可區分的運行 8 8 隨機化 8 9 參考文獻註釋 8 10 習題 第二部分A 非同步共享存儲器演算法 第9章 建模III：非同步共享存儲器模型 9 1 共享存儲器系統 9 2 環境模型 9 3 不可區分狀態 9 4 共享變數類型 9 5 複雜度衡量 9 6 故障 9 7 隨機化 9 8 參考文獻註釋 9 9 習題 第10章 互斥 10 1 非同步共享存儲器模型 10 2 問題 10 3 Dijkstra的互斥演算法 10 3 1 演算法 10 3 2 正確性證明 10 3 3 互斥條件的一個斷言式證明 10 3 4 運行時間 10 4 互斥演算法的更強條件 10 5 鎖定權互斥演算法 10 5 1 雙進程演算法 10 5 2 n進程演算法 10 5 3 錦標賽演算法 10 6 使用單寫者共享寄存器的演算法 10 7 Bakery演算法 10 8 寄存器數量的下界 10 8 1 基本事實 10 8 2 單寫者共享變數 10 8 3 多寫者共享變數 10 9 使用讀–改–寫共享變數的互斥 10 9 1 基本問題 10 9 2 有界繞過次數 10 9 3 鎖定權 10 9 4 模擬證明 10 10 參考文獻註釋 10 11 習題 第11章 資源分配 11 1 ?問題 11 1 1 顯式資源規格說明和互斥規格說明 11 1 2 資源分配問題 11 1 3 哲學家用餐問題 11 1 4 解法的受限形式 11 2 對稱哲學家用餐演算法的不存在性 11 3 右–左哲學家用餐演算法 11 3 1 等待鏈 11 3 2 基本演算法 11 3 3 擴展 11 4 隨機哲學家用餐演算法* 11 4 1 演算法* 11 4 2 正確性* 11 5 參考文獻註釋 11 6 習題 第12章 一致性 12 1 問題 12 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
