支援執行緒層級數值猜測技術之 OpenMP 擴充功能之研究

執行緒層級數值猜測技術是一種能積極利用程式的可平行化程度的方法，它需要一個猜測數值的機制，來對程式平行執行時所用的數值進行猜測以及檢查程式的正確性，另外還需要一個回復機制，當發生數值猜測錯誤時來將程式回復到正常的狀態。在本篇論文中我們提出了一個方法來更容易地使用到執行緒層級數值猜測技術的能力，透過在原始程式中利用新增的OpenMP directive/clause來標記擁有相依性關係的變數，使用者能利用我們所提出的directive和clause來撰寫一個擁有執行緒層級數值猜測技術能力的程式，我們對GCC OpenMP compiler進行修改使其能支援我們所提出的方法，實驗結果顯示我們的方法能夠產生出正確的程式並且有不錯的效能。關鍵字：GNU編譯器套裝、OpenMP、執行緒層級猜測技術。

關鍵字

執行緒層級猜測技術； OpenMP ； GNU編譯器套裝

並列摘要

Thread-level value speculation is a technique that aggressively exploits parallelism of programs. This technique needs a speculation mechanism to determine values for executing in parallel, to check the correctness of the program, and a recovery mechanism for restoring the program status. In this thesis, we propose a method to easily leverage thread-level value speculation. The OpenMP directive/clause is extended to mark dependent variables in the original code. Users can use the proposed OpenMP-like directives and clauses to write programs with the capability of thread-level value speculation. GCC OpenMP compiler is modified to support the proposed OpenMP extension. The experimental results shows that our implementation can generate correct programs with good performance. Keyword: GCC, OpenMP, Thread-level Speculation.

並列關鍵字

Thread-level Speculation ； OpenMP ； GCC

參考文獻

[3] Li, Xiao-Feng, et al. "Exploiting thread-level speculative parallelism with software value prediction." Advances in Computer Systems Architecture. Springer Berlin Heidelberg, 2005. 367-388.

[12] OpenMP Application Program Interface. http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf

[1] Intel: Parallel Computing: Background. http://www.intel.com/pressroom/kits/upcrc/ParallelComputing_backgrounder.pdf