| 研究課題/領域番号 |
10558046
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
谷口 健一 大阪大学, 大学院・基礎工学研究科, 教授 (00029513)
|
|---|
| 研究分担者 |
安本 慶一 滋賀大学, 経済学部, 助教授 (40273396)
岡野 浩三 大阪大学, 大学院・基礎工学研究科, 講師 (70252632)
東野 輝夫 大阪大学, 大学院・基礎工学研究科, 教授 (80173144)
山口 弘純 大阪大学, 大学院・基礎工学研究科, 助手 (80314409)
中田 明夫 広島市立大学, 情報科学部, 助手 (60295839)
|
|---|
| キーワード | E-LOTOS / コンパイラ / FDT / QoS制御 / マルチメディア / 実時間システム |
|---|
| 研究概要 |
本年度の研究では形式記述言語E-LOTOSの時間制御構文を従来のLOTOSにとり入れた言語(時間拡張LOTOSと呼ぶ)で記述された実時間システム仕様を実時間スレッド機構を用いて実装するためのコンパイラを作成した。
作成したコンパイラは、与えられた動作仕様をイベント列とその選択・反復から成る部分動作式に分割し、それぞれを我々が開発した実時間スレッド機構の 1スレッドに割り当て、マルチランデブなどのスレッド間のインタラクションを共有変数領域を用いて実現する。イベントができるだけ時間制約内に実行されるよう、各スレッドは対応する処理にデッドラインを設定し、早いデッドラインを持つスレッドを優先してスケジュールする。また、時間制約付イベント間のマルチランデブを効率良く実行するための機構や、マルチメディアへの応用のため,動画や音声処理を時間拡張LOTOS仕様から利用するための機構を考案、実装した。
システムの負荷と優先度に応じて動的にメディアスケーリングを行いながら複数の動画を再生するアプリケーションを時間拡張LOTOS で記述し、本コンパイラを用いて実相後、評価を行った。C言語と実時間スレッド機構を用いて同じアプリケーションを実現した場合と比べ、時間拡張LOTOSのマルチランデブ機構により、総記述量や機能の変更のための修正量が大幅に削減されること、生成される目的コードが、マルチランデブ処理のオーバヘッドを含めても、遜色無い実用的なスピードで動作すること、などを確認した.。
|
