多核多處理新一代體系結構的迅猛發(fā)展,引發(fā)了軟件開發(fā)方式上的巨變,為了能夠充分地發(fā)揮體系結構上帶來的優(yōu)勢,越來越需要并行編程和并發(fā)軟件設計,但是,當前并行編程依然是件困難的事情。本課題組已經設計并實現了一種共享資源使用聲明的并行程序語言SPC-II,它是基于共享內存模型的一種并行程序語言。與現有的并行語言不同,它最大特點在于為程序員提供一種訪問控制的高級抽象,程序員不需要自己管理并發(fā)控制,而只需要聲明所使用的共享資源,讓編譯器分析所使用的共享資源的保護區(qū)間,根據共享資源的保護區(qū)間插樁訪問控制代碼。本文在課題組的并行語言基礎上,著重研究含有指針類型的鏈狀數據結構訪問控制,論文的主要研究內容有以下幾個部分:1.一種鏈狀數據結構自動細粒度加鎖方法就細粒度并發(fā)訪問鏈狀數據結構提出一種自動方法,這些鏈狀數據結構目前是單鏈表和雙鏈表,通過分析SPC-II程序中的共享鏈狀數據結構的形狀信息來分析程序中共享數據單元的保護信息。2. SPC-II語言翻譯器的實現在SUIF編譯框架上,實現了一個并行語言SPC-II的編譯器,該編譯器實質上是一個源語言（SPC-II語言）到源語言（基于Pthread多線程庫的... 

【文章來源】：中國科學技術大學安徽省 211工程院校 985工程院校

【文章頁數】：71 頁

【學位級別】：碩士

【部分圖文】：

指針變量2-3整形變量

=p; t->next=p; unLock(p);=p; q->next=p;unLock(q);1; return 1;）源程序 } （b）目標程圖 2-5 SPC-II 的鏈表插入實例語法式化的討論本文的分析方法，圖 2-6 給出了 SPC-III 程序 由一個全局的類型環(huán)境 和代碼片段 S 組型定義和一組變量聲明組成。為了能夠讓程序員描述和指定變量共享性，SPC-II 在結構體類型定義引入引入了共享性 。句 S 包括賦值語句，控制流語句，并支持顯式地動了 并行語句。在源語言級，每個賦值語句和行，也叫做原子命令(Atomic command)。

圖 2-7 SPC-II 抽象機2 操作語義SPC-II 的操作語義由下面的轉換規(guī)則的歸納定義給出：：一個特定線程的一步轉換初始狀態(tài)是：，其中，初始共享狀態(tài)的共享存儲時根據全局共享變量，初始的線程局部狀態(tài)是由全局環(huán)境中的非共享變量構建。最終狀態(tài)時：，其中，“_”表示不關心此次的值。.1 并行語句規(guī)則 DFORK 描述執(zhí)行一個 fork-join 并行語句的要求，TiSi表示第 i 個子線源代碼，spawn（Ti，Si）表示創(chuàng)建一個新的子線程，這個子線程將會在線程環(huán)境 Ti下執(zhí)行代碼 Si。一旦一個子線程被創(chuàng)建時，父線程必須等待直到子完成其代碼的執(zhí)行，規(guī)則 DSUB_THRD 描述一個子線程的一步執(zhí)行。


本文編號：3018074