可在分布計(jì)算機(jī)系統(tǒng)的幾臺(tái)計(jì)算機(jī)上同時(shí)協(xié)調(diào)執(zhí)行的程序設(shè)計(jì)方法。在分布計(jì)算機(jī)系統(tǒng)出現(xiàn)以后，為了發(fā)展和應(yīng)用這種系統(tǒng)，在70年代后期提出了分布式程序設(shè)計(jì)，并開始研究分布式程序設(shè)計(jì)語(yǔ)言和分布式算法。

提出時(shí)間

1983年底

性質(zhì)

設(shè)計(jì)

特征

提出了十多種分布式程序設(shè)計(jì)語(yǔ)言

介紹

到1983年底，已經(jīng)提出了十多種分布式程序設(shè)計(jì)語(yǔ)言的建議，開展了解決若干邏輯問(wèn)題的分布式算法的研究。

特征

分布式程序設(shè)計(jì)的主要特征是分布和通信。采用分布式程序設(shè)計(jì)方法設(shè)計(jì)程序時(shí)，一個(gè)程序由若干個(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ù)。

算法

采用分布式程序設(shè)計(jì)方法解決計(jì)算問(wèn)題時(shí)，必須提供用以進(jìn)行分布式程序設(shè)計(jì)的語(yǔ)言和設(shè)計(jì)相應(yīng)的分布式算法。分布式程序設(shè)計(jì)語(yǔ)言與常用的各種程序設(shè)計(jì)語(yǔ)言的主要區(qū)別，在于它具有程序分布和通信的功能。因此，分布式程序設(shè)計(jì)語(yǔ)言，往往可以由一種程序設(shè)計(jì)語(yǔ)言增加分布和通信的功能而構(gòu)成。分布式算法和適用于多處理器系統(tǒng)的并行算法，都具有并行執(zhí)行的特點(diǎn)，但它們是有區(qū)別的。設(shè)計(jì)分布式算法時(shí)，必須保證實(shí)現(xiàn)算法的各程序模塊間不會(huì)有公共變量，它們只能通過(guò)通信來(lái)交換數(shù)據(jù)。此外，設(shè)計(jì)分布式算法時(shí)，往往需要考慮堅(jiān)定性，即當(dāng)系統(tǒng)中幾臺(tái)計(jì)算機(jī)失效時(shí)，算法仍是有效的。

發(fā)展

分布式程序設(shè)計(jì)語(yǔ)言的研究，將從方案建議轉(zhuǎn)入實(shí)用研制，可能出現(xiàn)多種具備分布式程序設(shè)計(jì)功能的語(yǔ)言。分布式算法的研究，將會(huì)從解決邏輯問(wèn)題的算法發(fā)展到解決各種數(shù)據(jù)處理和數(shù)值計(jì)算的算法。