| 研究課題/領域番号 |
10558046
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 展開研究 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
谷口 健一 大阪大学, 大学院・基礎工学研究科, 教授 (00029513)
|
|---|
| 研究分担者 |
安本 慶一 滋賀大学, 経済学部, 助教授 (40273396)
岡野 浩三 大阪大学, 大学院・基礎工学研究科, 講師 (70252632)
東野 輝夫 大阪大学, 大学院・基礎工学研究科, 教授 (80173144)
山口 弘純 大阪大学, 大学院・基礎工学研究科, 助手 (80314409)
中田 明夫 大阪大学, 大学院・基礎工学研究科, 助手 (60295839)
大蒔 和仁 通産省電子技術総合研究所, 情報アーキテクチャー部, 部長
|
|---|
| 研究期間 (年度) |
1998 – 2000
|
| 研究課題ステータス |
完了 (2000年度)
|
| 配分額 *注記 |
6,000千円 (直接経費: 6,000千円)
2000年度: 1,400千円 (直接経費: 1,400千円)
1999年度: 1,500千円 (直接経費: 1,500千円)
1998年度: 3,100千円 (直接経費: 3,100千円)
|
|---|
| キーワード | LOTOSコンパイラ / 分散システム / マルチスレッド / マルチランデブ / 実時間システム / QoS制御 / SMIL / マルチメディアシステム / 制約指向 / E-LOTOS / コンパイラ / FDT / マルチメディア / LOTOS / 通信プロトコル / マルチスレッド機構 |
|---|
| 研究概要 |
本研究では,プロセス間に選択や割込,マルチランデブが指定可能なLOTOSのある部分クラスで記述された分散システムの仕様を実行効率の良い目的コード群として実現する手法を考案した.その方法では,LOTOS仕様における各プロセスはそれぞれあるノードに割り当てられる。一つのノードに割り当てられたプロセス群は我々の開発したLOTOSコンパイラによりマルチスレッド化目的コードに変換される.得られた目的コード群はそれぞれ割り当てられたノード上で実行され,互いにメッセージ交換を行いながら与えられた全体仕様を満たすよう協調して動作する.ネットワークを介したプロセス間のマルチランデブを効率よく実現するため,ブロードキャストを用いたアルゴリズムを考案し実装した.本手法に従って排他制御システムや多重化システムなどの分散システムを記述し,本研究で作成したコンパイラにより得られた目的コード群を実行した結果,ラピッドプロトタイピングなどの用途には十分高速に動作する目的コード群が生成できることを確認した.
また,本研究で開発したコンパイラを拡張して,LOTOSに時間制御構文をとり入れた時間拡張LOTOSで記述された実時間システム仕様を実時間スレッド機構を用いて効率よく実装するためのコンパイラを作成し,さらにそれを用いて,W3C(World WideWeb Consortium)で規格化されたSMILにQoS制御機能を追加したQOS-SMIL言語の処理系などを開発した.
|
