| Project/Area Number |
02555072
|
|---|
| Research Category |
Grant-in-Aid for Developmental Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
情報工学
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
雨宮 真人 九州大学, 大学院総合理工学研究科, 教授 (90202697)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
鶴田 直之 九州大学, 大学院総合理工学研究科, 助手 (60227478)
吉田 紀彦 九州大学, 工学部, 助教授 (00182775)
谷口 倫一郎 九州大学, 大学院総合理工学研究科, 助教授 (20136550)
福田 晃 九州大学, 工学部, 助教授 (80165282)
宮野 悟 九州大学, 理学部, 助教授 (50128104)
河口 英二 九州工業大学, 工学部, 教授 (90038000)
|
|---|
| Project Period (FY) |
1990 – 1992
|
| Project Status |
Completed (Fiscal Year 1992)
|
| Budget Amount *help |
¥17,000,000 (Direct Cost: ¥17,000,000)
Fiscal Year 1992: ¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 1991: ¥6,800,000 (Direct Cost: ¥6,800,000)
Fiscal Year 1990: ¥8,400,000 (Direct Cost: ¥8,400,000)
|
|---|
| Keywords | 超多重並行処理 / 宣言型言語 / 関数型言語 / 超並列計算機 / 資源管理 / 負荷制御 / データフロー / マルチスレッドコントロールフロー / 宣言型プログラム / 関数型プログラム / Datarol / デ-タ依存解析アルゴリズム / 自然言語理解 / マルチスレッド / 並列実行制御 / マルチエ-ジェントシステム / オブジェクト指向プログラミング |
|---|
| Research Abstract |
本試験研究によって得られた成果は、主に、1.超多重並行処理アーキテクチャの設計と評価、2.宣言型言語の設計とその処理系開発の二つに分けられる。
1.超多重並行処理アーキテクチャに関しては、Datarolマシンとよぶ、データ依存に沿うマルチスレッド・コントロールフロー・プログラムを効率的に実行するプロセッサの設計を行ない、そのLSI設計データとレジスタ転送レベルのソフトウェアシミュレータを作成した。これらの設計試作によって、関数型プログラムの高並列実行性能など、方式の評価を行ないDatarolアーキテクチャ実用化可能性をを明らかにした。また、超並列マシンで問題となる資源管理・負荷制御の問題を解決する実行制御方式をDatarolマシン上で具体化し、その有効性を明らかにした。さらに、これらの研究を通して、Datarolアーキテクチャの特徴である並列実行の効率性を落さずに既存の商用プロセッサLSIチップを利用してハードウェアコスト低く押えることのできるDatarol-IIプロセッサ方式を発案した。Datarol-IIについては今後引続き研究を進め、より実用性の高い超多重並行処理アーキテクチャを基礎とする超並列マシンの開発を進めて行く。
2.宣言型言語と処理系開発に関しては、関数型言語Validを設計し、その処理系として、データフロー解析に基づくコンパイル方式を具体化した。このコンパイラは関数型言語ValidからDatarolマシンコードを抽出する。Datarolマシンコードは1.に述べたDatarolマシンで直接実行できるが、一方、本手法の応用として、関数型言語の商用並列計算機上へのコンパイラ構成方式を開発した。本方式は、データフロー解析によって抽出したDatarolコードを商用並列計算機の機械語に変換し実行させるものである。関数型プログラムでの関数本体コードを逐次化し、関数呼び出しを並行プロセスとして起動し実行する。並行処理を効率化するためのプロセス管理機構も合わせて開発した。いくつかのベンチマークプログラムによって評価を行ない、関数型プログラムを本方式によってコンパイル・実行したときの性能が、同一問題を手続き型言語(C言語)で記述し実行させたときのものと比肩できることを明らかにした。
|
