高い逐次効率を備えた細粒度マルチスレッド方式に関する研究

Research Project

Project/Area Number	10780170
Research Category	Grant-in-Aid for Encouragement of Young Scientists (A)
Allocation Type	Single-year Grants
Research Field	計算機科学
Research Institution	The University of Tokyo
Principal Investigator	田浦健次朗東大, 理学(系)研究科, 助手 (90282714)
Project Period (FY)	1998 – 1999
Project Status	Completed (Fiscal Year 1999)
Budget Amount *help	¥2,500,000 (Direct Cost: ¥2,500,000) Fiscal Year 1999: ¥500,000 (Direct Cost: ¥500,000) Fiscal Year 1998: ¥2,000,000 (Direct Cost: ¥2,000,000)
Keywords	細粒度スレッド / 共有メモリ計算機 / 動的負荷分散
Research Abstract	高い逐次効率と細粒度マルチスレッドを両立させるために,既存の高性能逐次C/C++コンパイラ(GCC)から利用可能な,マルチスレッドライブラリStackThreads/MPを設計,実装した.本処理系は,スレッド生成/消滅のオーバーヘッドが通常十数命令という,きわめて高いマルチスレッド性能を達成しており,かつ高性能逐次コンパイラと互換な方式をとることで,高い逐次性能を達成している.この方式はこれまで発表されている類似の方式では,(おそらくその複雑さのため)採用されていなかった独自性の高い方式で,そのためのメモリ管理方式などの詳細を考案,定式化し,かつその定式化のもとでそのメモリ管理方式の正しさを証明した.この方式について述べた論文が,並列プログラミングの処理系に関する学会としては国際的にもっとも権威のある,1999 ACM Practice & Priciples ofParallel Programming(PPoPP'99)に採択された. 本処理系の性能評価として,10種類以上の並列ベンチマークプログラムを用いて,同様の目標を持つ類似の処理系(MITで研究,開発されたCilk)との比較を行った.性能評価の結果,本研究ではCilkと同等もしくはそれ以上の性能を示しており,かつ9種類のベンチマークでは純粋な逐次プログラムに対するオーバーヘッドも10%程度以下であることがわかった.これは本処理系の実装方式が費用対効果が高い,優れたものであることを示している. ライブラリStackThreads/MPは現在使われている多くの主要なCPU(Pentium,Al-pha,MIPS,SPARC)上で実際に動作しており,本格的な並列プログラムの開発や,実験に耐えうるものになっている.StackThreads/MPの処理系はすでにWorld Wide Web上(http://www.yl.is.s.u-tokyo.ac.jp/sthreads/)にて誰でも入手可能になっており,今後共有メモリ並列計算機が広く普及するにつれ,重要なソフトウェアとして世界的にも認知される可能性がある.