A.Udaya+Shankar

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

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

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

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

李亞寧，碩士研究生

endprint