亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

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

        2014-12-17 01:01:57A.UdayaShankar
        國(guó)外科技新書評(píng)介 2014年6期
        關(guān)鍵詞:程序模塊共享內(nèi)存分布式計(jì)算

        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ù),即通信。只有通過通信,各程序模塊才能協(xié)調(diào)地完成一個(gè)共同的計(jì)算任務(wù)。分布式程序原本只存在于操作系統(tǒng)之中,如今已隨處可見,從數(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.程序,語義和有效性原子,包括程序,服務(wù)程序和正確性結(jié)論的結(jié)構(gòu)及語義,及正確性結(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ò)問題的大量SESF應(yīng)用,適合計(jì)算機(jī)科學(xué)、網(wǎng)絡(luò)計(jì)算等相關(guān)專業(yè)碩士研究生閱讀和參考,亦可作為對(duì)分布式計(jì)算研究感興趣的相關(guān)教師、工程師、研究人員以及其他專業(yè)學(xué)生的參考書。

        李亞寧,碩士研究生

        endprint

        猜你喜歡
        程序模塊共享內(nèi)存分布式計(jì)算
        基于信息檢索的軟件缺陷定位方法綜述*
        通過QT實(shí)現(xiàn)進(jìn)程間的通信
        樂高M(jìn)INDSTORMSEV3軟件程序模塊開發(fā)
        基于Web網(wǎng)絡(luò)的環(huán)境信息通信系統(tǒng)設(shè)計(jì)
        ADSP TS201S Link口在多DSP系統(tǒng)中的應(yīng)用
        基于PCI總線的多處理器協(xié)同機(jī)制研究
        基于云計(jì)算的移動(dòng)學(xué)習(xí)平臺(tái)設(shè)計(jì)與實(shí)現(xiàn)
        云計(jì)算中MapReduce分布式并行處理框架的研究與搭建
        面向異構(gòu)分布式計(jì)算環(huán)境的并行任務(wù)調(diào)度優(yōu)化方法
        QNX下PEX8311多路實(shí)時(shí)數(shù)據(jù)采集的驅(qū)動(dòng)設(shè)計(jì)
        電子世界(2014年21期)2014-04-29 06:41:36
        99精品国产成人一区二区在线| 亚洲乱码中文字幕综合| 精品视频一区二区三三区四区| 一区二区三区免费视频网站| 中文字幕精品一区二区三区av| 日韩av无码中文字幕| 亚洲欧美激情精品一区二区| 亚洲精品有码在线观看| 区三区久久精品水蜜桃av| 国产日产韩国av在线| 琪琪的色原网站| 91网站在线看| 日本黄色高清视频久久| 亚洲精品国产第一区二区| 黄瓜视频在线观看| 精品无码久久久九九九AV| 四虎在线中文字幕一区| 久久精品国产99久久久| 欧美日韩视频无码一区二区三| 亚洲av人妖一区二区三区| 国产午夜福利小视频在线观看| 久久久中文久久久无码| 1000部精品久久久久久久久| 亚洲av毛片成人精品| 一本之道久久一区二区三区| 亚洲人成无码网站在线观看| 久久久亚洲欧洲日产国产成人无码| 女同中文字幕在线观看| 亚洲av午夜成人片精品电影 | 日本精品视频免费观看| 欧美日韩国产成人高清视频| 精品国产亚欧无码久久久| 国产女人av一级一区二区三区| 亚洲av色香蕉一区二区三区老师| 成人天堂资源www在线| 日韩精品视频免费福利在线观看 | 国产av夜夜欢一区二区三区| 中文在线а√天堂官网| 精品人妻一区二区蜜臀av| 免费a级毛片在线播放| 国产全肉乱妇杂乱视频|