実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築

1997 Fiscal Year Annual Research Report

• Project/Area Number: 09650414
• Research Category: Grant-in-Aid for Scientific Research (C)
• Research Institution: Osaka University
• Principal Investigator: 東野 輝夫 大阪大学, 大学院・基礎工学研究科, 助教授 (80173144)
• Co-Investigator(Kenkyū-buntansha): 中田 明夫 広島市立大学, 情報科学部, 助手 (60295839) ; 安倍 広多 大阪市立大学, 学術情報総合センター, 助手 (40291603) ; 岡野 浩三 大阪大学, 大学院・基礎工学研究科, 助手 (70252632)
• Keywords: LOTOS / マルチランデブ / 実時間システム / マルチスレッド / コンパイラ

Research Abstract

リアルタイム分散協調システムやネットワーク管理プログラムなどを簡潔に記述するには,プロセス間でのデータ受け渡しのみならず,指定された時刻に与えられた同期条件が成立するときのみ同期を行う機構(実時間マルチランデブ)を実現し,プロセス間の通信に関する記述を簡略化できることが望ましい.時間制約付きLOTOS(E-LOTOS)は並行,選択,割込などの構文と実時間マルチランデブ機構を持つ分散システム用の仕様形式言語である.本研究は,複数計算機間の実時間マルチランデブをサポートするE-LOTOSコンパイラを作成することを目的とする.E-LOTOSコンパイラ作成のためには,複数スレッド間でのCPU時間割り当てや時間割り込みを行うためのスケジューラ機能を持つ実時間マルチスレッド機構の構築と複数計算期間での効率の良い実時間マルチランデブ機構が必要である.本研究では,前者の目的のため,申請者らが構築したUNIX計算機上でのマルチスレッド機構PTLを実時間制約を取り扱えるよう機能拡張した.また,後者の目的のため,各計算機でのイベントの実行時刻の放送による同報通知などを用いて指定された時間内に同期条件を満足するプロセス群を効率よく決定する実時間マルチランデブ機構を考案した.さらに,それらに基づいた時間制約付きLOTOS(E-LOTOS)コンパイラを作成するための準備として,複数計算期間のマルチランデブをサポートするLOTOSコンパイラを作成した.

Research Products

• [Publications] 安本, 安倍, 後藤, 東野, 松浦, 谷口: "マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現" 情報処理学会論文誌. 39・2. 283-292 (1998)
• [Publications] 安本, 後藤, 辰本, 東野, 谷口: "Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks" Proc.of Int.Conf.on Formal Description Technique for Distributed Systems. 161-176 (1997)
• [Publications] 水野, 白鳥, 東野, 富樫: "Formal Description Techniques-FORTE/PSTV'97-" Champan & Hall, 550 (1997)