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

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

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

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