| 研究課題/領域番号 |
06558039
|
|---|
| 研究種目 |
試験研究(B)
|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
武市 正人 東京大学, 工学部, 教授 (10011165)
|
|---|
| 研究分担者 |
田中 哲朗 東京大学, 工学部, 助手 (60251360)
松岡 聡 東京大学, 工学部, 講師 (20221583)
岩崎 英哉 東京大学, 教育用計算機センター, 助教授 (90203372)
米澤 明憲 東京大学, 理学部, 教授 (00133116)
|
|---|
| キーワード | 関数プログラミング / 並列プログラミング / 関数型言語 / 並列関数プログラミング |
|---|
| 研究概要 |
本研究は、並列計算機上に関数プログラミングシステムを構築して、あらたな規範に基づく並列プログラミングの支援環境を与えようとするものである。本年度の研究計画は、その基盤となる並列計算機の上の関数型言語の処理系の設計・作成を行うことであった。関数型言語の処理系の原型は、これまでにワークステーション上に作成してあったものを利用し、これに並列化機構を追加して、分散メモリ型並列計算機AP1000と共有メモリ型並列計算機Luna88K上にParallel Goferの処理系を作成した。
これらの処理系はほとんどのコードが共通で、機械依存部分だけが異なるという形態であり、さらにあらたな並列計算機にも容易に移植できるものとなっており、当初の設計方針に適合した構成になっている。並列関数型言語の処理系の作成に関する研究成果を公表したが、処理系を用いた評価についてはまだ十分に報告できる状況ではない。本研究は3年間にわたるもので、当初より、処理系の評価は来年度に行うものと計画しているが、本年度にプログラムの実行プロファイルを採取して効率改善を図るための基礎的な実験も行った。
来年度は、処理系の評価とともに、これに基づいて改善を行いつつ、これらの処理系をもとにしたプログラムの開発環境・変換系を構築する計画である。本年度の処理系作成によって、並列関数プログラミングの実用化システムに必要な支援環境の基盤が得られたものと考えられる。
|
