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

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

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

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