マルチランデブを含むLOTOSプログラムの分散実行系の構築

为 LOTOS 程序构建分布式执行系统，包括多集合点

• 批准号: 08680366
• 负责人: 谷口 健一
• 金额: $ 1.09万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08680366/
• 关键词: LOTOS; 分散システム; コンパイラ; マルチランデブ; 通信プロトコル; バス結合型ネットワーク; イーサーネット

1.形式記述言語LOTOSは,複数プロセス間の選択や割込,マルチランデブ(複数の同期するプロセス群の中から1つを排他的に選び,同期・データ交換を行うための機構)などの機能を有しており,分散システムを簡潔に記述できる.本研究ではバス型ネットワーク上での実現に焦点をしぼり,ブロードキャストを利用した効率の良いマルチランデブのアルゴリズムを考案するとともに,異なる計算機で実行されるプロセス間に同期や選択などの実行関係が指定可能なあるクラスのLOTOS仕様を実行効率の高い目的プログラム群として実現する手法を考案した.また,その手法に基づきLOTOSコンパイラを作成した.2.考案した手法では,ブロードキャストメッセージは全ての計算機で同じ順序で受信されるという性質を持つバス型ネットワークモデル上での実装を考える.各計算機が受信したメッセージの内容とよび到着順序から各計算機が独立に同期条件を満たすイベントの組合せを計算する方式を採用することにより,効率の良いマルチランデブ機構を実装している.また,各計算機のプロセスの呼び出しや消滅によりシステム全体の実行関係が動的に変化するため,プロセスの呼び出しや消滅による実行関係の変化をネットワーク上の全計算機にブロードキャストすることにより,システム全体としての実行関係の整合性を保証している.3.本手法に基づき,バス型のTCP/IPネットワーク上で動作する目的コード群を生成するLOTOSコンパイラを作成した.実際の実装では,ブロードキャストメッセージが誤りなく完全に同じ順序で受信されると仮定できないので,考案した手法に順序制御のための機構や再送機構などを付加した.作成したコンパイラを用いて実際に目的コード群を生成し実行効率を調べたところ,4〜7台程度の計算機間で1秒当たり数百回程度のマルチランデブが可能であることを確認した.これらは分散データベースの排他制御や複数計算機間でのビデオ情報の同期再生などのシステムの実装において,実用上十分な速度であることが確認された.

1. The formal description of speech LOTOS is simple description of the functions of LOTOS, which includes the selection and separation of multiple items, the selection and separation of multiple items, and the exclusive selection and separation of multiple items. This study focuses on the implementation of the model, the use of the model, the model, the use of the model, the use of the model, the model, the use of the model, 2. Examining the method of the case, the method of the case. Each computer receives information about the content of the message and the order in which it is sent. Each computer receives information independently. The synchronization conditions are determined by the combination of the information and the method of calculation. In addition, the call of each computer and the elimination of the call of each computer and the elimination of the operation relationship between the whole computer and the operation relationship between the whole computer and the operation relationship between the whole computer and the operation relationship between the whole computer are guaranteed. The TCP/IP network of different types operates on the target network, and the LOTOS network is generated. In fact, the equipment is installed in the same order, the information is received in the same order, and the inspection method is used to control the order of the organization and the re-transmission organization. When you create a computer, you create a target computer, you create a target computer. This is a very fast way to distribute information and to control it exclusively. This way, simultaneous reproduction of information between multiple computers can be achieved at a very high speed.