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

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

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