| 研究課題/領域番号 |
04650319
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
程 京徳 九州大学, 工学部, 助教授 (30217228)
|
|---|
| 研究分担者 |
古川 善吾 九州大学, 情報処理教育センター, 助教授 (30190135)
牛島 和夫 九州大学, 工学部, 教授 (40037750)
|
|---|
| キーワード | 並行プログラム / プログラム従属性 / 非決定的並列制御流れネット / 非決定的並列定義使用ネット / 同期従属性 / 通信従属性 / プロセス従属ネット / プロセス支配ネット |
|---|
| 研究概要 |
1.並行プログラムにおける多重制御流れと多重データ流れを表現する標識付け有向グラフとして、非決定的並列制御流れネットと非決定的並列定義使用ネットを提案した。この二つのネットに基づいて、従来提案された逐次プログラムの複雑さを定量的に評価する尺度の殆どを並行プログラムのためのものに拡張することができることを示した。
2.従来提案された逐次プログラムにおける従属性概念を用いたのでは表現できない並行プログラムにおけるプロセス間の同期と通信に関する従属性を新しい概念として定義し、これらの従属性概念に基づいて並行プログラムの新しい従属性モデルとしてプロセス従属ネットとプロセス支配ネットを提案した。
3.並行プログラムを1と2で提案したモデルに変換するアルゴリズムを考案し、現在、並行プログラムをその非決定的並列制御流れネット、非決定的並列定義使用ネット、プロセス従属ネット、プロセス支配ネットに変換するツール群を開発している。
4.2で構築した従属性モデルに基づいて、並行プログラムの複雑さを定量的に評価する尺度を数多く提案した。これらの尺度を用いて、並行プログラムにおける制御、データ、選択、同期、及び通信従属の複雑さ程度を定量的に計測することができる。
|
