APLA語言并發(fā)機制的研究.pdf

1、隨著計算機硬件技術與網絡通信技術的快速發(fā)展，以并發(fā)性為特征的并發(fā)系統(tǒng)越來越顯示其重要性，并已成為當前計算機軟件肝發(fā)的主流方向。然而由于并發(fā)系統(tǒng)本身所具有的復雜性，使得其開發(fā)過程難度大、效率低和周期長，很難被程序員掌握，而且開發(fā)出的軟件很難避免和發(fā)現(xiàn)所隱含的錯誤和缺陷，這些問題已經成了并發(fā)系統(tǒng)在實際應用中的絆腳石。如何快速地獲得一個正確性的并發(fā)程序，已經引起了越來越多的研究人員投身于該項研究中。 傳統(tǒng)的編程模型和編程語言，它們在表

2、達能力或安全性方面存在著一些不足。本文緊扣這些方面，分析了當前并發(fā)編程的研究現(xiàn)狀及其存在的問題，并結合所研項目展開了具體研究，主要針對以下幾個方面進行了研究和探討。 本文首先分析了當前并發(fā)系統(tǒng)的重要性，闡述了PAR方法在順序編程領域的所取得的重大成功，然而在描述并發(fā)系統(tǒng)上還存在不足。本文考慮在PAR方法中加入并發(fā)機制，主要是在抽象的APLA語言層上加入并發(fā)機制，使其能描述并發(fā)問題。 雖然目前有許多編程語言提供對并發(fā)的支持

3、，但大部分卻對并發(fā)程序的正確性支持不夠，很難保證并發(fā)程序的正確性?；诖?，本文使用形式化的開發(fā)方法，完善了PAR方法的并發(fā)編程模型，在APLA語言中增加了新的語言成份，得到擴充后的APLA語言。通過增加的語言符號，能較好的描述并發(fā)問題，并且不會出現(xiàn)傳統(tǒng)并發(fā)編程中出現(xiàn)的等待、同步等問題。本文完整地給出了APLA語占相關部分的語法與語義描述及相應并發(fā)編程模型通信方式——過程調用方式。 針對并發(fā)程序的正確件問題，本文給出了使用seus