| 研究分担者 |
安本 慶一 滋賀大学, 経済学部, 助教授 (40273396)
岡野 浩三 大阪大学, 大学院・基礎工学研究科, 講師 (70252632)
東野 輝夫 大阪大学, 大学院・基礎工学研究科, 教授 (80173144)
山口 弘純 大阪大学, 大学院・基礎工学研究科, 助手 (80314409)
中田 明夫 大阪大学, 大学院・基礎工学研究科, 助手 (60295839)
|
|---|
| 研究概要 |
本研究では,プロセス間に選択や割込,マルチランデブが指定可能なLOTOSのある部分クラスで記述された分散システムの仕様を実行効率の良い目的コード群として実現する手法を考案した.その方法では,LOTOS仕様における各プロセスはそれぞれあるノードに割り当てられる。一つのノードに割り当てられたプロセス群は我々の開発したLOTOSコンパイラによりマルチスレッド化目的コードに変換される.得られた目的コード群はそれぞれ割り当てられたノード上で実行され,互いにメッセージ交換を行いながら与えられた全体仕様を満たすよう協調して動作する.ネットワークを介したプロセス間のマルチランデブを効率よく実現するため,ブロードキャストを用いたアルゴリズムを考案し実装した.本手法に従って排他制御システムや多重化システムなどの分散システムを記述し,本研究で作成したコンパイラにより得られた目的コード群を実行した結果,ラピッドプロトタイピングなどの用途には十分高速に動作する目的コード群が生成できることを確認した.
また,本研究で開発したコンパイラを拡張して,LOTOSに時間制御構文をとり入れた時間拡張LOTOSで記述された実時間システム仕様を実時間スレッド機構を用いて効率よく実装するためのコンパイラを作成し,さらにそれを用いて,W3C(World WideWeb Consortium)で規格化されたSMILにQoS制御機能を追加したQOS-SMIL言語の処理系などを開発した.
|
