Development of compiler for real-time LOTOS programs with real-time multi-redezvous

实时多点实时LOTOS程序编译器的开发

• 批准号: 09650414
• 负责人: HIGASHINO Teruo
• 金额: $ 1.28万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09650414/
• 关键词: E-LOTOS; compiler; FDT; Qos control; multimedia; realtime system; マルチメディアシステム; マルチスレッド機構; マルチスレッド

In this research, we define a subclass of E-LOTOS (called realtime LOTOS ) and develop a compiler for its specifications.The compiler first decomposes a given specification into multiple basic modules so that each module includes only event sequences with divergencesand iterations, then it maps each module to a realtime thread on our realtime thread library.Here, interactions between the threads are implemented with shared variables.To make the best effort for each thread to execute its timed events in time, all the running threads set their wake-up time and deadlines so that they are scheduled by EDF( Earliest Deadline First ) policy.We have also designed and implemented a mechanism to efficiently schedule timed multi-rendezvous between threads.To apply our compiler to multimedia system development, we have implemented primitives for audio/video processing and modified our compiler to support them in realtime LOTOS specifications.Through our experiment to develop several video playback applications, we have confirmed that from realtime LOTOS specifications in constraint oriented style (which makes the descriptions simple but introduces synchronization overhead in implementation), the compiler can generate as efficient object codes as to be used practically.

在这项研究中，我们定义了一个子类的E-LOTOS（称为实时LOTOS），并为其规范开发一个编译器。编译器首先将给定的规范分解为多个基本模块，以便每个模块仅包含具有发散和迭代的事件序列，然后将每个模块映射到我们的实时线程库中的实时线程。在这里，线程之间的交互是通过共享变量实现的。为了使每个线程尽最大努力及时执行其定时事件，所有正在运行的线程都设置了它们的唤醒时间和截止日期，以便由EDF调度（Earliest Deadline First）策略。我们还设计并实现了一种机制来有效地调度线程之间的定时多会合。为了将我们的编译器应用于多媒体系统开发，我们实现了音/视频处理的原语，并修改了编译器，使其支持实时LOTOS规范，通过开发几个视频回放应用程序的实验，我们证实了从面向约束风格的实时LOTOS规范（这使得描述简单但在实现中引入了同步开销），编译器可以生成与实际使用一样有效的目标代码。

项目成果

Akira Kitajima, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS" Trans.of IEIDE. Vol.E82-A,No.3, (to appear). 1999

Akira Kitajima、Keiichi Yasumoto、Teruo Higashino 和 Kenichi Taniguchi：“从 LOTOS 中的协议规范导出并发同步 EFSM”Trans.of IEIDE。

北嶋,安本,東野,谷口: "Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit" 電子情報通信学会英論文誌. Vol.E81-A-4. 566-575 (1998)

Kitajima、Yasumoto、Higashino、Taniguchi：“将具有多会合点的并发 EFSM 转换为同步时序电路的方法”IEICE 英文杂志，第 566-575 卷（1998 年）。

安本,安倍,東野,他: "マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現" 情報処理学会論文誌. Vol.39-2. 283-292 (1998)

Yasumoto、Abe、Higashino 等人：“生成多线程目标代码的 LOTOS 编译器的实现”，日本信息处理学会杂志，第 39-2 卷（1998 年）。

Kato Abe, Tochio Matsuura, Keiichi Yasumoto and Teruo Higashino: "Design and Implementation of an efficient I/O Method for a Real-time User Level Thread Library" Proc.of RTCSA'98. 117-120 (1998)

Kato Abe、Tochio Matsuura、Keiichi Yasumoto 和 Teruo Higashino：“实时用户级线程库的高效 I/O 方法的设计和实现”Proc.of RTCSA98。

Kiichi Yasumoto, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi: "Hardware synthesis from protocol specifications in LOTOS" Proc.of FORTE/PSTV'98. 405-420 (1998)

Kiichi Yasumoto、Akira Kitajima、Teruo Higashino 和 Kenichi Taniguchi：“根据 LOTOS 协议规范进行硬件合成”Proc.of FORTE/PSTV98。