特許
J-GLOBAL ID：200903087481140718
シミユレーシヨン装置及びシミユレーシヨン方法
発明者：
出願人/特許権者：
代理人 (1件)：
高田 守 (外1名)
公報種別：公開公報
出願番号（国際出願番号）：特願平3-259158
公開番号（公開出願番号）：特開平5-101015
出願日： 1991年10月07日
公開日（公表日）： 1993年04月23日
要約：
【要約】【構成】 同時実行制御方式のシミュレーション装置は、各サイトに、トランザクション生成手段1、トランザクション管理手段2、トランザクションの同時実行をスケジュールする同時実行制御手段3、入出力キューを管理するキュー管理手段5、モデル内の状態遷移を記録しておく状態記録手段4を備え、各サイトに対応するローカル論理時間管理手段40に、ローカル論理時間カウンタ10、他のサイトからのトランザクションの受信時刻に基づいて自サイトを同期させる同期手段20を設けた。【効果】 同時実行制御方式にかかる処理時間をそのままシミュレートでき、他のサイトからのトランザクションの受信時刻とローカル論理時間カウンタの値に矛盾が生じるまで、並列シミュレーションするので、シミュレーション時間を削減できる。
請求項（抜粋）：
以下の要素を有し、複数のサイト間でトランザクションを送受信して、シミュレーションを実行するシミュレーション装置(a)以下の要素を有するサイト、(a1)トランザクションを生成するトランザクション生成手段、(a2)生成されたトランザクションを管理するトランザクション管理手段、(a3)トランザクションの同時実行をスケジュールする同時実行制御手段、(a4)サイト間で送受信されるトランザクションと送受信の論理時刻を記憶管理するキュー管理手段、(a5)サイト内の状態遷移を記録しておく状態記録手段、(b)各サイトに対応して設けられ以下の要素を有するローカル論理時間管理手段、(b1)サイトのローカル論理時間をカウントするローカル論理時間カウンタ、(b2)キュー管理手段が他のサイトから受信したトランザクションとその送受信の論理時刻に基づいて、サイト内の状態記録手段とキュー管理手段を制御して受信したトランザクションとサイトの同期をとる同期手段。
IPC (2件)：
前のページに戻る
