分布式算法：直觀方法（原書第2版）

吳向軍 邊芮

分布式算法：直觀方法（原書第2版）

商品描述

本書是一本 特色的分布式算法指南，其核心在於通過豐富的實例解析與實戰練習來傳授知識，而非深究覆雜的數學模型。本書的目標是重點培養讀者的算法思維，避開形式化證明，幫助讀者快速掌握大量經典算法。書中采用簡明非正式的算法描述、啟發性案例與實踐練習相結合的方式，講述分布式算法的精髓，並附有大量算法偽代碼。本版本內容全面 新，新增了關於分布式事務與安全性（涵蓋區塊鏈與量子密碼學）的章節，並補充了回滾恢覆算法、共享內存的共識算法等前沿主題。本書適合作為計算機專業高年級本科生或研究生的教材，也可供相關領域研究人員案頭參考。

作者簡介

萬·福金克 荷蘭阿姆斯特丹自由大學計算機科學系理論計算機科學教授，埃因霍溫理工大學機械工程學院全職教授。他的研究領域涵蓋監控綜合、分布式算法、安全關鍵軟件、協議驗證及過程代數等。他是國際信息處理聯合會並發理論工作組（IFIP WG1.8）的聯合創始人及前副主席，並曾任荷蘭國家研究學院IPA理事會主席。

目錄大綱

前言
第1章 引言
第2章 預備知識
2.1 數學概念
2.1.1 集合與序
2.1.2 算法的覆雜度
2.1.3 數的特殊運算
2.2 消息傳遞
2.2.1 轉換系統
2.2.2 狀態和事件
2.2.3 斷言
2.2.4 因果序
2.2.5 邏輯時鐘
2.2.6 基本算法和控制算法
2.3 共享內存
2.4 練習
第3章 快照算法
3.1 Chandy-Lamport算法
3.2 Lai-Yang算法
3.3 Peterson-Kearns回滾恢覆算法
3.4 練習
第4章 波算法
4.1 遍歷算法
4.1.1 Tarry算法
4.1.2 深度優先搜索
4.2 樹算法
4.3 Echo算法
4.4 練習
第5章 死鎖檢測
5.1 等待圖
5.2 Bracha-Toueg算法
5.3 練習
第6章 終止檢測算法
6.1 Dijkstra-Scholten算法
6.2 Rana算法
6.3 Safra算法
6.4 分權終止檢測算法
6.5 容錯型分權終止檢測算法
6.6 練習
第7章 垃圾回收算法
7.1 引用計數
7.1.1 間接引用計數
7.1.2 加權引用計數
7.2 垃圾回收意味著終止檢測
7.3 追蹤式
7.4 練習
第8章 路由算法
8.1 Chandy-Misra算法
8.2 Merlin-Segall算法
8.3 Toueg算法
8.4 Frederickson算法
8.5 分組交換方法
8.5.1 目的地控制器和Hops-So-Far控制器
8.5.2 無環有向覆蓋控制器(Acyclic Orientation CoverController)
8.6 互聯網的路由算法
8.7 練習
……
第9章 選舉算法
第10章 匿名網絡
第11章 同步網
第12章 崩潰共識算法
第13章 拜占庭故障的共識算法
第14章 互斥算法
第15章 屏障
第16章 分布式事務
第17章 自穩定
第18章 安全性
第19章 在線調度
附錄A 偽代碼
參考文獻

類似商品