基于共享資源聲明的并發(fā)訪問(wèn)控制研究與實(shí)現(xiàn).pdf

1、近年來(lái)隨著超線程、多核體系結(jié)構(gòu)等多線程技術(shù)的發(fā)展和廣泛應(yīng)用，計(jì)算機(jī)底層系統(tǒng)已經(jīng)提供了越來(lái)越高效的并行運(yùn)行平臺(tái)。但是，當(dāng)前并行編程仍然是件困難的事情。如何提高程序的并發(fā)度，保證共享數(shù)據(jù)的一致性，減輕程序員編程的負(fù)擔(dān)，降低編譯器運(yùn)行的開(kāi)銷(xiāo)等，都成為制約并行編程的重大問(wèn)題。
　　 本課題組試圖就同步問(wèn)題提出另一種形式的高級(jí)抽象——共享資源使用聲明，探索從這種抽象描述獲取程序?qū)蚕碜兞康谋举|(zhì)要求的程序分析理論和技術(shù)，研究選用最有效的同步

2、方式(鎖、事務(wù)內(nèi)存或無(wú)鎖等)生成滿(mǎn)足這本質(zhì)要求的共享變量訪問(wèn)控制代碼的理論和技術(shù)。
　　 本文研究重心主要包含三部分：1)研究鏈表結(jié)構(gòu)動(dòng)態(tài)數(shù)據(jù)的共享性和維持性，并給出自動(dòng)加鎖操作的同步控制方法；2)研究整型共亨數(shù)據(jù)的維持區(qū)間，根據(jù)程序結(jié)構(gòu)和維持區(qū)間的關(guān)系，分析具體加鎖和解鎖的訪問(wèn)控制點(diǎn)。3)在一個(gè)編譯框架下完成前面所述語(yǔ)言的實(shí)現(xiàn)，包括用于代碼翻譯的程序變換和變換后程序的運(yùn)行庫(kù)。
　　 通過(guò)本文工作中的分析結(jié)果，以及變換方