1989 Fiscal Year Annual Research Report
| Project/Area Number |
01460151
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
牛島 和夫 九州大学, 工学部, 教授 (40037750)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
程 京徳 九州大学, 工学部, 助手 (30217228)
吉田 紀彦 九州大学, 工学部, 助手 (00182775)
古川 善吾 九州大学, 工学部, 講師 (30190135)
平原 正樹 九州大学, 工学部, 講師 (10192717)
荒木 啓二郎 九州大学, 工学部, 助教授 (40117057)
|
|---|
| Keywords | 並列型プログラム / 仕様記述 / 検証 / テスト / デバッグ / デッドロック / プログラム変換 / 分散実行環境 |
|---|
| Research Abstract |
本年度は、並列型プログラムの意味論、開発方法論、テスト法、処理系実現等について以下の研究実績を得た。
1.並列型プログラムの形式的意味記述の一方法として、並列型プログラムをストリ-ム処理関数のネットワ-クとして記述する方法について検討し、いくつかの事例に適用してその有用性に対する見通しを得た。今後、実用規模の問題への適用を試みることによってこの方法の有用性を確認し、更に、この方法の実用化を目指す。
2.漸化式に対応する関係型プログラムを、変換規則、変換戦術、変換戦略によって段階的に書き換えていくプログラム変換手法を提案し、等価性を損なわない並列型プログラム変換手法への手がかりを得た。
3.Ada並列型プログラムにおける並列タスクに、一意的識別子を付ける方法を提案し、タスクの失敗や例外処理を取り扱うための基礎を与えた。
4.Ada並列型プログラムの振舞いを把握するための事象駆動型実行モニタEDEN並びに実行回数計測ツ-ルADAPを開発した。これらを応用したAda並列型プログラムのテスト・デバッグ法を検討する。
5.多数のワ-クステ-ションを結合した分散環境上にまたがって単一のAda並列型プログラムを並列に動作させる事例研究を行なった。
6.5.のAdaプログラムを並列に実行するために、Ada言語のサブセットに対する処理系を設計し、試作システムを開発した。その際、分散環境上での処理系の実現に関して考察し、問題点を明らかにした。
7.Ada並列型プログラムのテスト法について考察し、プロセス内テスト基準およびプロセス間テスト基準とを提案した。更に、提案したテスト基準によって、テストの対象となる不良を分析した。
|
-
[Publications] J.Cheng: "Naming Ada Tasks at Run-Time" Ada Letters. 9. 52-61 (1989)
-
[Publications] 古川善吾: "並列処理プログラムのテスト法に関する一考察" 日本ソフトウェア科学会第6回大会論文集. 185-188 (1989)
-
[Publications] 岡村耕二: "単一アドレス空間モデルに基づいた分散環境上での並列プログラミング言語処理系の実現" 電子情報通信学会技術研究報告. CPSY89. 33-38 (1989)
-
[Publications] 荒木啓二郎: "分散型システムの仕様記述と設計支援への関数型プログラミング言語の応用" 電子情報通信学会技術研究報告. SS89. 49-58 (1990)
-
[Publications] J.Cheng: "A Classification of Tasking Deadlocks" Ada Letters. 10. (1990)
-
[Publications] N.Yoshida: "Transformational Derivation of Systolic Arrays" 「並列計算のモデルと応用」に関する日英ワ-クショプ論文集. (1990)
