共享資源聲明的并行語(yǔ)言程序分析技術(shù)研究.pdf

1、現(xiàn)今的并行編程實(shí)踐多采用鎖等較低的同步機(jī)制訪問(wèn)共享資源，這種編程困難且易出錯(cuò)；新引入的原子區(qū)構(gòu)造雖簡(jiǎn)化了編程，但支持其實(shí)現(xiàn)的軟硬件技術(shù)尚不令人滿意。我們課題組就同步提出一種新的語(yǔ)言級(jí)抽象——共享變量維持聲明，它通過(guò)聲明共享資源及其使用特征來(lái)取代對(duì)共享資源同步訪問(wèn)控制的編程，并能避免或解決原子區(qū)的所面臨的一些問(wèn)題。
　　 本文致力于在課題組設(shè)計(jì)的并行語(yǔ)言基礎(chǔ)上，重點(diǎn)研究整型和指針型共享單元的維持信息分析算法，探討完成以下工作：

2、r>　　 1、設(shè)計(jì)和實(shí)現(xiàn)了一種針對(duì)整型共享變量維持區(qū)間的數(shù)據(jù)流算法，以計(jì)算出共享變量的維持區(qū)間。這種算法是過(guò)程內(nèi)的、流敏感的、上下文不敏感的，用于計(jì)算并行塊中的共享變量的維持區(qū)間。
　　 2、設(shè)計(jì)和實(shí)現(xiàn)了一種計(jì)算程序中指針域的定值引用鏈的算法，以連接對(duì)動(dòng)態(tài)鏈狀數(shù)據(jù)結(jié)構(gòu)(如鏈表、樹(shù)等)進(jìn)行定值的語(yǔ)句和引用這些鏈狀數(shù)據(jù)結(jié)構(gòu)的語(yǔ)句。該算法是過(guò)程內(nèi)的、流敏感的、上下文不敏感的，針對(duì)每條對(duì)鏈狀數(shù)據(jù)結(jié)構(gòu)進(jìn)行定值的語(yǔ)句，算法將找出所有引用被