基于共享和形狀標注的并行語言程序分析與變換.pdf

1、多核多處理新一代體系結(jié)構(gòu)的迅猛發(fā)展，引發(fā)了軟件開發(fā)方式上的巨變，為了能夠充分地發(fā)揮體系結(jié)構(gòu)上帶來的優(yōu)勢，越來越需要并行編程和并發(fā)軟件設(shè)計，但是，當前并行編程依然是件困難的事情。本課題組已經(jīng)設(shè)計并實現(xiàn)了一種共享資源使用聲明的并行程序語言SPC-II，它是基于共享內(nèi)存模型的一種并行程序語言。與現(xiàn)有的并行語言不同，它最大特點在于為程序員提供一種訪問控制的高級抽象，程序員不需要自己管理并發(fā)控制，而只需要聲明所使用的共享資源，讓編譯器分析所使用的

2、共享資源的保護區(qū)間，根據(jù)共享資源的保護區(qū)間插樁訪問控制代碼。
　　 本文在并行語言基礎(chǔ)上，著重研究含有指針類型的鏈狀數(shù)據(jù)結(jié)構(gòu)訪問控制，主要研究內(nèi)容有以下幾個部分：⑴一種鏈狀數(shù)據(jù)結(jié)構(gòu)自動細粒度加鎖方法就細粒度并發(fā)訪問鏈狀數(shù)據(jù)結(jié)構(gòu)提出一種自動方法，這些鏈狀數(shù)據(jù)結(jié)構(gòu)目前是單鏈表和雙鏈表，通過分析SPC-II程序中的共享鏈狀數(shù)據(jù)結(jié)構(gòu)的形狀信息來分析程序中共享數(shù)據(jù)單元的保護信息。⑵SPC-II語言翻譯器的實現(xiàn)在SUIF編譯框架上，實現(xiàn)了一