晶片業界面臨多核心技術領域之「軟體落差」難題

masonchung

晶片業界面臨多核心技術領域之「軟體落差」難題
上網時間: 2008年04月11日

& X- f, F# h4 v+ U% O# k多核心處理器日益風行，但市面上卻缺乏可支援的平行編程工具與相關技術；目前，透過新的研究、標準與工具，產業界已開始著手解決此一「軟體落差」問題。
4 m4 O0 z3 c) s7 C4 r  ?
在日前於美國加州舉行的Multicore Expo展會上，有關多核心處理器的軟體落差問題成為產業界矚目的焦點。在該場展會中，包括Freescale、Intel與MIPS等晶片大廠，以及許多新創晶片設計業者，紛紛展示其多核心產品；而也有業界人士提出警告，產業界目前所面臨的艱鉅任務，就是開發可支援此類新一代晶片的軟體。

: f# J" }% p7 T/ R3 t0 T在Venture Development (VDC)擔任嵌入式硬體研究主管的Eric Heikkila表示，當前的硬體與軟體之間存在很大的落差；根據該公司的調查，有55%的嵌入式系統開發捨表示，他們正在使用、或即將在未來的12個月之內使用多核心處理器。而根據VDC的預測，嵌入式多核心處理器市場將由2007年的3.72億美元規模，在2011年成長至24.7億美元。

此一趨勢在PC市場尤其明顯。根據Intel嵌入式事業群總經理Doug Davis透露，該公司在2007年所推出的所有處理器產品中，有40%採用多核心架構，而該比例到2011年，將大幅成長至95%。
+ r- O: p# K. @* d! }2 U
但是在軟體這一端，根據供應商的說法，至2007年，他們所提供的工具中只有6%可支援平行編程晶片；而VDC指出，該比例到2011年也不過將成長至40%左右。Heikkila表示，目前有85%的嵌入式編程工作，有85%是使用C或C++語言所完成，這些編程語言並不易針對多核心架構最佳化。
2 U& y: G" p$ h1 O" ]. u6 ]
2 \# C; \5 X/ U1 \4 a「為了短期之內的應用，有必要提升C/C++語言的效益；但以長期的角度來看，我們還是需要新的編程語言與工具來支援多核心架構。」Heikkila認為。
3 S# H$ c5 {3 }7 C
) P& b6 n1 E1 e! w對此TI通訊基礎設施事業群的技術長Alan Gatherer表示，改善現有技術的困難度，與開發新工具一樣高；產業界既缺乏解決方案，也缺乏可用的程式碼。他指出，像Ericsson等公司都有上百人的軟體工程師團隊，以嚴謹的方式在撰寫程式碼；而有許多新的軟體構想還有待證實，但這並非一朝一夕可完成的工作。
3 `1 l* Y) U5 N1 `
一家新創公司RapidMind的首席科學家Michael McCool則呼籲，業界應開發新的編程模型，以協助嵌入式系統設計者了解如何最佳化其平行編程晶片的應用。他表示，多核心編程的複雜度已經超越了某個程度。

對此，長期研究平行編程技術的伊利諾大學香檳校區(University of Illinois at Urbana-Champaign)工程系教授Wen-mei Hwu，要開發一個主流的平行編程模型並不容易，而其背後的困難所在，才剛剛開始逐漸浮上檯面。
# F, y8 M0 H) _, M2 j( L% ~
" X8 C8 I( b% y- J, m5 y, g: T) L不久前，Hwu任教的大學才獲得Intel與Microsoft的1,000萬美元資金，將用以開發新一代平行編程技術。他表示，該筆鉅款僅能支援一種平行編程模型的開發，沒有人能負擔開發多種編程模型應用程式的龐大資金。目前該校也在與其他業者與研究單位進行相關技術的研發合作。
3 T9 n4 z4 y2 J8 U3 B- r" h( b
9 v% F  t) k* _. S而在相關標準訂定方面，多核心協會(Multicore Association)在該場展會上宣佈，該組織已完成了供核心之間通訊用的應用編程介面開發，而現在則正在著手為嵌入式虛擬化(embedded virtualization)訂定標準。VDC的Heikkila表示，多核心趨勢使各家業者不得不更開放、並推動新的業務模式，而業界對標準化的需求程度也是前所未有。

(參考原文： Chip industry confronts 'software gap' between multicore, programming)

(Rick Merritt)

stanlly9

就實際以C/C++的compiler來說
目前較為方便快速的方法是使用OpenMP的技術..
% p2 }& W& Q. |- ^& }- L我這裡有講義可以參考參考
主要就是compiler要支援，然後再source code上做一點宣告等
主要就是針對for loop的loop body做平行化處理
+ B2 ?( a6 z' f5 z0 U, J8 J) |不過目前有一個難題就是，基本上平行化的決定權在於designer身上
% p5 c2 e* _2 h也就是說designer必須適時/適量的指定使用平行化處理的時間，以免資料相依度上產生錯誤
但，不是由compiler自己找出來所有的平行度
(大家當然都希望這樣，但目前尚未完全可行，也許這就是原主題當中所說的難題)

# y; g# e. a; C' {by the way,印象中Visual C++ 2003 / gcc 4.0 以後的版本都有支援OpenMP了。

* L+ @7 Z' i; y[ 本帖最後由 stanlly9 於 2008-4-22 11:48 AM 編輯 ]