分佈式程序設計

到1983年底，已經提出了十多種分佈式程序設計語言的建議，開展瞭解決若干邏輯問題的分佈式算法的研究。

分佈式程序設計的主要特徵是分佈和通信。採用分佈式程序設計方法設計程序時，一個程序由若干個可獨立執行的程序模塊組成。這些程序模塊分佈於一個分佈式計算機系統的幾台計算機上同時執行。分佈在各台計算機上的程序模塊是相互關聯的，它們在執行中需要交換數據，即通信。只有通過通信，各程序模塊才能協調地完成一個共同的計算任務。

採用分佈式程序設計方法解決計算問題時，必須提供用以進行分佈式程序設計的語言和設計相應的分佈式算法。分佈式程序設計語言與常用的各種程序設計語言的主要區別，在於它具有程序分佈和通信的功能。因此，分佈式程序設計語言，往往可以由一種程序設計語言增加分佈和通信的功能而構成。分佈式算法和適用於多處理器系統的並行算法，都具有並行執行的特點，但它們是有區別的。設計分佈式算法時，必須保證實現算法的各程序模塊間不會有公共變量，它們只能通過通信來交換數據。此外，設計分佈式算法時，往往需要考慮堅定性，即當系統中幾台計算機失效時，算法仍是有效的。

分佈式程序設計語言的研究，將從方案建議轉入實用研製，可能出現多種具備分佈式程序設計功能的語言。分佈式算法的研究，將會從解決邏輯問題的算法發展到解決各種數據處理和數值計算的算法。