| 研究課題/領域番号 |
06558039
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 試験 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
武市 正人 東京大学, 大学院・工学系研究科, 教授 (10011165)
|
|---|
| 研究分担者 |
田中 哲朗 東京大学, 教育用計算機センター, 助教授 (60251360)
松岡 聡 東京工業大学, 大学院・情報理工学研究科, 助教授 (20221583)
岩崎 英哉 東京農工大学, 工学部, 助教授 (90203372)
米澤 明憲 東京大学, 大学院・理学系研究科, 教授 (00133116)
|
|---|
| 研究期間 (年度) |
1994 – 1996
|
| 研究課題ステータス |
完了 (1996年度)
|
| 配分額 *注記 |
15,800千円 (直接経費: 15,800千円)
1996年度: 1,300千円 (直接経費: 1,300千円)
1995年度: 2,300千円 (直接経費: 2,300千円)
1994年度: 12,200千円 (直接経費: 12,200千円)
|
|---|
| キーワード | 関数プログラミング / 並列化機構 / 並列プログラミング / 関数型言語 / 並列関数プログラミング |
|---|
| 研究概要 |
本研究は、並列計算機上に関数プログラミングシステムを構築して、あらたな規範に基づく並列プログラミングの支援環境を与えようとするものである。
一昨年度より開発を進めてきた並列計算機AP1000上の関数プログラミングシステムParallel Goferを用いてさまざまな並列アルゴリズムを実現したプログラムを用意し、評価しつつコンパイラの最適化を進めてきた。
この研究を進めてゆく過程で、関数プログラミングシステムにおけるデータのUnbox化の重要性が明らかになってきた。データを動的に生成するという関数プログラムの実行においては、生成するデータの効率のよい取扱いがきわめて重要になってくる。ここでは、データのUnbox化に関して、動的にヒ-プ上に生成するとされるデータのうちで、実際にはそうする必要のないものを検出する方法を提案して実現し、評価した。本年度には、このようなデータのUnbox化とともに、構成的アルゴリズムに基づくHylomorphismによるプログラムの変換システムを構築し、有効性を確認した。これらは、並列関数プログラムに固有のものではなく、広く関数プログラミングシステムに適用できる手法である。
以上の研究成果は、主として、国際学会で発表しているが、これらをもとにして実現した並列関数プログラミングシステムはネットワークでアクセスできる形で公開する予定である。
|
