分布式程序設(shè)計(jì)理論與實(shí)踐

A.Udaya+Shankar

分布式程序由若干個(gè)可獨(dú)立執(zhí)行的程序模塊組成。這些程序模塊分布于一個(gè)分布式計(jì)算機(jī)系統(tǒng)的幾臺(tái)計(jì)算機(jī)上同時(shí)執(zhí)行。分布在各臺(tái)計(jì)算機(jī)上的程序模塊是相互關(guān)聯(lián)的，它們?cè)趫?zhí)行中需要交換數(shù)據(jù)，即通信。只有通過(guò)通信，各程序模塊才能協(xié)調(diào)地完成一個(gè)共同的計(jì)算任務(wù)。分布式程序原本只存在于操作系統(tǒng)之中，如今已隨處可見(jiàn)，從數(shù)碼相機(jī)到計(jì)算機(jī)網(wǎng)絡(luò)，幾乎每一個(gè)互動(dòng)式數(shù)字系統(tǒng)都可以看做一個(gè)分布式程序。本書介紹了編寫正確的分布式程序的實(shí)用和嚴(yán)格的方法。

作者A.Udaya Shankar博士是德克薩斯大學(xué)奧斯汀分校的教授，主要從事分布式系統(tǒng)和網(wǎng)絡(luò)協(xié)議的設(shè)計(jì)與分析。

全書共21章：1.引言；2.簡(jiǎn)單鎖，簡(jiǎn)單的鎖程序的代碼，簡(jiǎn)單鎖的執(zhí)行條件及簡(jiǎn)單鎖的應(yīng)用；3.有界緩沖區(qū)，定義一個(gè)有界緩沖區(qū)的服務(wù)和實(shí)現(xiàn)該服務(wù)的幾個(gè)程序；4.消息傳遞服務(wù)，定義各種不同類型的消息傳遞服務(wù)；5.不確定管道中的Fifo管道，數(shù)據(jù)傳輸協(xié)議，用于實(shí)現(xiàn)連接兩個(gè)地址之間的不確定Fifo通道；6.程序，語(yǔ)義和有效性原子，包括程序，服務(wù)程序和正確性結(jié)論的結(jié)構(gòu)及語(yǔ)義，及正確性結(jié)論的證明規(guī)則；7.實(shí)現(xiàn)與組合，定義了SESF理論的核心；8.時(shí)間約束程序的服務(wù)和系統(tǒng)框架，SESF理論，即聲明受到時(shí)間約束的程序；9.Petersons算法鎖，基于Petersons算法的中央鎖的實(shí)現(xiàn)；10.Bakery算法鎖，基于Bakery算法的中央鎖的實(shí)現(xiàn)；11.分布式鎖服務(wù)，一個(gè)適合于分布式環(huán)境的鎖服務(wù)；12.利用時(shí)間戳的分布式鎖，提出了實(shí)現(xiàn)分布式鎖服務(wù)的分布式程序；13.具有終止檢測(cè)服務(wù)的管道，在分布式環(huán)境中定義一個(gè)終止檢測(cè)服務(wù)；14.采用擴(kuò)散計(jì)算的終止檢測(cè)；15.對(duì)象傳輸服務(wù)，定義一個(gè)分布式對(duì)象傳輸服務(wù)，允許用戶在不同地點(diǎn)共享對(duì)象；16.采用反向路徑的對(duì)象傳輸；17.分布式共享存儲(chǔ)服務(wù)；18.單拷貝分布式共享內(nèi)存，給出了用于實(shí)現(xiàn)第17章的分布式共享存儲(chǔ)器的服務(wù)的程序；19.多副本分布式共享內(nèi)存；20.可靠性傳輸服務(wù)；21.可靠性傳輸協(xié)議：用于實(shí)現(xiàn)上一章中介紹的傳輸服務(wù)。

本書介紹了對(duì)于解決分布式計(jì)算和網(wǎng)絡(luò)問(wèn)題的大量SESF應(yīng)用，適合計(jì)算機(jī)科學(xué)、網(wǎng)絡(luò)計(jì)算等相關(guān)專業(yè)碩士研究生閱讀和參考，亦可作為對(duì)分布式計(jì)算研究感興趣的相關(guān)教師、工程師、研究人員以及其他專業(yè)學(xué)生的參考書。

李亞寧，碩士研究生

endprint