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

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

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