| 研究課題/領域番号 |
06808029
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
田中 二郎 筑波大学, 電子・情報工学系, 助教授 (20251043)
|
|---|
| 研究期間 (年度) |
1994 – 1995
|
| 研究課題ステータス |
完了 (1995年度)
|
| 配分額 *注記 |
1,900千円 (直接経費: 1,900千円)
1995年度: 500千円 (直接経費: 500千円)
1994年度: 1,400千円 (直接経費: 1,400千円)
|
|---|
| キーワード | データ並列 / リフレクション / SPMD / MIMD / SIMD / 並列論理型言語 / 並列計算 / 自己反映計算 |
|---|
| 研究概要 |
リフレクティブな並列論理型言語をC^*等のデータ並列言語で実装し、コネクションマシン等の汎用の並列マシン上で稼働させることを目的とし、コネクションマシンCM-5上のデータ並列言語C^*を用いて、並列論理型言語GHCのサブユニットの実装を行なった。
実装を行うに際して、二つの並列性に着目した。一つは、並列論理型言語の基本部分である複数のゴールを同時に書き換える処理の並列性(Goalsによる並列性)、もう一つは、上の処理に伴う並列論理型言語の複数のデータを同時に扱う処理の並列性(Termsによる並列性)である。
この二つの並列性を組み合わせることにより、並列論理型言語のデータ並列言語C^*によるポ-タビリティの高い実装を実現した。
一方、リフレクションについては、継続情報(Continuation)を陽に扱い、配列のi番目の要素に定数時間でアクセス可能なBinPrologを用い、リフレクティブGHCの試験的な実装を通常のワークステーション上で行なった。この実装により、継続情報(Continuation)を陽に扱うことにより、リフレクションが効率的に実装されることを確かめた。
|
