权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

形式言語E-LOTOSで記述されたマルチメディアシステムの実装法

如何实现用形式语言E-LOTOS编写的多媒体系统

基本信息

批准号：
10780184
负责人：
安本慶一
金额：
$ 1.02万
依托单位：
Shiga University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 1999
项目状态：
已结题

项目摘要

本研究では,形式記述言語E-LOTOSの時間制御構文を従来のLOTOSに採り入れた言語(時間拡張LOTOSと呼ぶ)で記述された実時間システム仕様を実時間スレッド機構を用いて実装するためのコンパイラを作成し,マルチメディアアプリケーションの開発への応用を行った.作成したコンパイラは,我々が開発してきた時間制約を含まないLOTOS仕様のコンパイラの実装法に基づき,与えられた動作仕様をイベントの逐次処理・選択・その反復から成る部分動作式に分割し,各部分動作式を実時間スレッド機構の一つのスレッドに割り当て,スレッド間の共有変数領域を用いて,マルチランデブなどの並列プロセス間におけるインタラクションを実現する.各スレッドはイベントの時間制約から実行開始時刻,デッドラインを計算,設定し,全体として早いデッドラインを設定したスレッドが先にスケジュールされるよう制御する.時間制約が指定されたイベント間のマルチランデブでは,それらのイベントが時間制約を全て満たすようにスレッドを制御する機構や,複数のマルチランデブを時間制約に従って優先的にスケジュールする機構などを考案し,実装した.また、動画の各フレームや指定した時間分の音声データの読込み,デコード,再生などを行うプリミティブを作成し,各プリミティブを時間拡張LOTOS仕様中にイベントとして記述し利用できる機構をコンパイラに実装した.時間拡張LOTOSでは,システムをイベントとその実行順序のみを指定した主プロセスと,それらのイベントの実行時間間隔に対する制約(および代替処理)などを指定した別プロセスから構成し,関連するイベントを同期実行させるという制約指向記述スタイルが利用できる.本研究では,この方法で,典型的なマルチメディアアプリケーションの記述を試み,QoS制御や複数メディア間の同期制御の追加,変更が容易であることを示した.動画再生アプリケーションの記述・実装実験より,記述工数の面で有利だが同期のオーバヘッドを要する制約指向スタイルの時間拡張LOTOS仕様から,本コンパイラにより実用的なスピードで動作する目的コードが生成可能なことを,C言語で同じものを開発した場合との比較により,確認した.

This study describes the temporal structure of speech E-LOTOS, the temporal structure of speech E-LOTOS, the temporal structure of speech E- The time constraint of the system includes the basic process of LOTOS operation, and the sequential processing of LOTOS operation, selection and repetition of LOTOS operation. The time constraint of each part of LOTOS operation is divided into two parts. The first step is to create a new environment for the future. Time restriction for each entry is the start time of the entry, the entry is calculated, set, all entries are set, and the entry is controlled. Time constraints are specified in the time frame, and all time constraints are imposed on the organization, and multiple time constraints are imposed on the organization. The audio and video files of the animation are created according to the specified time points, and the reproduction files are created according to the specified time points. Time LOTOS is the time to specify the time interval between events and the execution sequence of events. The time interval between events is the time to specify the time interval between events and the execution sequence of events. The time interval between events and the execution sequence of events is the time to specify the time interval between events and the execution sequence of events. In this paper, we try to describe the typical QoS control method, and add the synchronization control method between QoS control and multiple QoS control methods. Description of animation reproduction process, implementation, description of the number of aspects of the work, the advantages of the same period, the requirements of the control points to the time of the project, the purpose of the project, the possibility of the project, the comparison of the situation of the development of the speech, confirmation.