1992 Fiscal Year Annual Research Report
並行プログラムの従属性理論とその応用に関する基礎的研究
| Project/Area Number |
04650319
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
程 京徳 九州大学, 工学部, 助教授 (30217228)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
古川 善吾 九州大学, 情報処理教育センター, 助教授 (30190135)
牛島 和夫 九州大学, 工学部, 教授 (40037750)
|
|---|
| Keywords | 並行プログラム / プログラム従属性 / 非決定的並列制御流れネット / 非決定的並列定義使用ネット / 同期従属性 / 通信従属性 / プロセス従属ネット / プロセス支配ネット |
|---|
| Research Abstract |
1.並行プログラムにおける多重制御流れと多重データ流れを表現する標識付け有向グラフとして、非決定的並列制御流れネットと非決定的並列定義使用ネットを提案した。この二つのネットに基づいて、従来提案された逐次プログラムの複雑さを定量的に評価する尺度の殆どを並行プログラムのためのものに拡張することができることを示した。
2.従来提案された逐次プログラムにおける従属性概念を用いたのでは表現できない並行プログラムにおけるプロセス間の同期と通信に関する従属性を新しい概念として定義し、これらの従属性概念に基づいて並行プログラムの新しい従属性モデルとしてプロセス従属ネットとプロセス支配ネットを提案した。
3.並行プログラムを1と2で提案したモデルに変換するアルゴリズムを考案し、現在、並行プログラムをその非決定的並列制御流れネット、非決定的並列定義使用ネット、プロセス従属ネット、プロセス支配ネットに変換するツール群を開発している。
4.2で構築した従属性モデルに基づいて、並行プログラムの複雑さを定量的に評価する尺度を数多く提案した。これらの尺度を用いて、並行プログラムにおける制御、データ、選択、同期、及び通信従属の複雑さ程度を定量的に計測することができる。
|
-
[Publications] Jingde CHENG: "Task Dependece Net as a Representation for Concurrent Ada Programs" Lecture Notes in Computer Science. 603. 150-164 (1992)
-
[Publications] Jingde CHENG: "The Task Dependence Net in Ada Software Development" ACM Ada Letters. 4. 24-35 (1992)
-
[Publications] Jingde CHENG: "Compiling Programs to Their Dependence-Based Representations" Proc.IEEE TENCON. (1993)
-
[Publications] J.van Katwijk: "Ada:Moving towards 2000" Springer-Verlag, 324 (1992)
