一、為什麼需要多核開發?
答案很簡單,目前的晶片製造技術對CPU主頻的提升已經達到一個極限了,也就是說效能的垂直伸縮已經不太可能了。因此通過多核的方法,可以讓程式橫向的伸縮,這就類似於用多台伺服器實現負載平衡(水平伸縮),而不是簡單的靠將伺服器升級成小型機來提供處理能力(垂直伸縮)。
雖然多核並行計算的概念已經存在了幾十年了,但直到最近多核CPU在PC上的普及,多核開發才不得不提引起程式員的重視。
多核開發的本質就是使用多線程進行程式開發,我們在學資料結構和演算法的時候,寫的所有的演算法都是面向單線程的。而多核開發的目的就是將這些演算法改造成多線程的支援,然後系統運行時將這些多線程平均分配到多核處理器上,以實現啟動並執行加速。
二、如何進行多核開發
如果你很熟悉POSIX threads (pthreads) 或者 WinAPI threads,你就可以自己進行開發。
如果你不想設計過多底層的線程操作,那就選擇一個並發開發平台,由平台來自動協調,調度和管理多核資源。並發開發平台包括各種線程池的庫,例如
.NET的ThreadPool類
Java的Concurrent類
訊息傳遞環境,例如MPI
data-parallel編程環境,例如NESL, RapidMind, ZPL
task-parallel編程環境, 例如Intel的Threading Building Blocks (TBB) 和 Microsoft的Task Parallel Library (TPL)
動態編程環境,例如Cilk or Cilk++或者業界標準OpenMP.
這些並發平台通過提供語言抽象,擴充注釋或者提供庫函數的方式來支援多核開發。
三、使用並發開發平台具體有哪些好處
我們從下面幾個方面來看:
軟體開發中最重要的三個考慮的要素就是
程式的效能 (使用多核就是為了提升程式的效能的)
開發的時間
程式的可靠性
而其中影響開發時間的三個要素是
伸縮性:如果你自己編寫線程,你必須考慮使用者是雙核,四核還是八核。如何將線程自動適應使用者的核心數,並且在多核上將線程均衡的負載。
代碼簡潔:直接使用底層線程庫作業碼是十分複雜的
模組化:直接使用底層線程庫操作還會破壞代碼的模組化
四、具體執行個體
下面以Fibonacci的例子來示範:它的遞迴演算法經常被用來作為多核開發的例子。
單核時代,我們寫Fibonacci代碼的方法如下:
- int fib(int n)
- {
- if (n < 2) return n;
- else {
- int x = fib(n-1);
- int y = fib(n-2);
- return x + y;
- }
- }
-
- int main(int argc, char *argv[])
- {
- int n = atoi(argv[1]);
- int result = fib(n);
- printf("Fibonacci of %d is %d./n", n, result);
- return 0;
- }
這個演算法的核心就是f(n) = f(n-1) + f(n-2),當n很大時,我們希望計算f(n-1)和f(n-2)這兩個任務能否分攤在一個雙核處理器上同時執行。
如果直接使用WinAPI-threaded操作的代碼如下:
- int fib(int n)
- {
- if (n < 2) return n;
- else {
- int x = fib(n-1);
- int y = fib(n-2);
- return x + y;
- }
- }
-
- typedef struct {
- int input;
- int output;
- } thread_args;
-
- void *thread_func ( void *ptr )
- {
- int i = ((thread_args *) ptr)->input;
- ((thread_args *) ptr)->output = fib(i);
- return NULL;
- }
-
- int main(int argc, char *argv[])
- {
- pthread_t thread;
- thread_args args;
- int status;
- int result;
- int thread_result;
- if (argc < 2) return 1;
- int n = atoi(argv[1]);
- if (n < 30) result = fib(n);
- else {
- args.input = n-1;
- status = pthread_create(thread,
- NULL, thread_func,
- (void*) &args );
- // main can continue executing while the thread executes.
- result = fib(n-2);
- // Wait for the thread to terminate.
- pthread_join(thread, NULL);
- result += args.output;
- }
- printf("Fibonacci of %d is %d./n", n, result);
- return 0;
- }
注意main裡面的if(n<30),當n在30以內時,計算非常快,就不需要使用多線程,當n大於30之後,我們產生一個線程用來計算f(n-1),而main的主線程將繼續計算f(n-2),這樣等兩個線程都結束以後(pthread_join(thread, NULL);),我們將他們的結果相加。
從這個例子就可以看出,自己實現線程的缺點:
1 這個例子正好可以用兩個線程分配在兩個核上來實現,可如果一個任務需要16個線程同時執行,我們又不知道用戶端到底是幾核的CPU時,這個任務如何分配就成為一個問題。
2 這段代碼非常不簡潔
3 額外的結構和函數也破壞了演算法本身的完整性。
下面我們使用多核支援庫來實現該代碼:
使用OpenMP
- int fib(int n) {
- int i, j;
- if (n<2)
- return n;
- else {
- #pragma omp task shared(i)
- i=fib(n-1);
- #pragma omp task shared(j)
- j=fib(n-2);
- #pragma omp taskwait
- return i+j;
- }
- }
使用Cilk++
- int fib(int n)
- {
- if (n < 2) return n;
- else {
- int x = cilk_spawn fib(n-1);
- int y = fib(n-2);
- cilk_sync;
- return x + y;
- }
- }
-
- int main(int argc, char *argv[])
- {
- int n = atoi(argv[1]);
- int result = fib(n);
- printf("Fibonacci of %d is %d./n", n, result);
- return 0;
- }
.NET Task Parallel Library中相應的例子
- Private Function FiboFullParallel(ByVal N As Long) As Long
- If N <= 0 Then Return 0
- If N = 1 Then Return 1
-
- Dim t1 As Tasks.Future(Of Long) = Tasks.Future(Of Long).Create( Function() FiboFullParallel(N - 1))
- Dim t2 As Tasks.Future(Of Long) = Tasks.Future(Of Long).Create( Function() FiboFullParallel(N - 2))
-
- Return t1.Value + t2.Value
- End Function
可以看到無論使用哪種並發平台,代碼都非常簡潔,沒有破壞原有的演算法封裝,僅僅通過簡單的改造就可以實現自動任務的指派。
五、什麼情況下該使用多核編程呢?
如果一個任務的執行時間在10-100毫秒,那麼就無需使用多核,因為將任務通過多線程分解到多核上計算,然後再將結果集合起來的開銷大致需要100毫秒(當然具體多少依據機器的效能以及你所使用的編譯器的效能),而且還需要消耗記憶體的空間。
在OpenMP裡面我們可以使用"if clause"來給雙核配置增加條件,例如下面的代碼很明顯,當n小於100000的時候,不使用多核,當n大於的時候再使用
- #pragma omp parallel for if(n > 100000)
- for (i = 0; i < n;, i++) {
- ...
- }
六、後記
本文旨在告訴你為何要進行多核開發,以及簡單展示了多核開發平台的使用。實際的多核開發要複雜的多,而且我們知道目前的PC機的多核系統都是基於共用記憶體的,雖然每個核都有自己的一級緩衝。因此不同核上的線程在運行時就涉及到對資源競爭使用的問題。除此以外如果應用需要用到IO(硬碟,網路)的時候,也存在同樣的問題。因此多核的設計的痛點就在於需要具體情況具體分析,找出多核應用的瓶頸,通過改進資料結構或演算法,消除或最佳化這個瓶頸。
轉自http://www.360doc.com/content/08/1123/14/7635_1984923.shtml