JP2908202B2 - 論理シミュレータにおける同期装置と制御情報作成装置 - Google Patents
論理シミュレータにおける同期装置と制御情報作成装置Info
- Publication number
- JP2908202B2 JP2908202B2 JP5280985A JP28098593A JP2908202B2 JP 2908202 B2 JP2908202 B2 JP 2908202B2 JP 5280985 A JP5280985 A JP 5280985A JP 28098593 A JP28098593 A JP 28098593A JP 2908202 B2 JP2908202 B2 JP 2908202B2
- Authority
- JP
- Japan
- Prior art keywords
- synchronization
- processor
- synchronization message
- information
- inter
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Lifetime
Links
- 230000005540 biological transmission Effects 0.000 claims description 18
- 238000004088 simulation Methods 0.000 claims description 9
- 230000001360 synchronised effect Effects 0.000 claims description 4
- 238000000605 extraction Methods 0.000 claims description 3
- 238000005457 optimization Methods 0.000 claims description 3
- 230000004888 barrier function Effects 0.000 description 3
- 238000010586 diagram Methods 0.000 description 3
- 238000011156 evaluation Methods 0.000 description 2
- 238000000034 method Methods 0.000 description 2
Description
【発明の詳細な説明】
【０００１】
【産業上の利用分野】本発明は同期装置と制御情報作成
装置、特にレベルソートアルゴリズムに基づき、レベル
毎に同期を取りながら論理シミュレータを実行するマル
チプロセッサ構成の論理シミュレータにおける同期装置
と制御情報作成装置に関する。
装置、特にレベルソートアルゴリズムに基づき、レベル
毎に同期を取りながら論理シミュレータを実行するマル
チプロセッサ構成の論理シミュレータにおける同期装置
と制御情報作成装置に関する。
【０００２】
【従来の技術】従来の論理シミュレータは、プロセッサ
と、プロセッサ間を接続するプロセッサ間接続網から構
成され、プロセッサはプロセッサ間の同期を行う同期手
段と、シミュレーションの実行制御を行う制御手段と、
ノードの処理を行うノード処理手段とを有する。そし
て、レベルソート方式の論理シミュレーションをマルチ
プロセッサシステム上で実行する場合、レベル毎の同期
を全プロセッサのバリア同期で実現しており、同期待ち
によるオーバーヘッドが発生していた。
と、プロセッサ間を接続するプロセッサ間接続網から構
成され、プロセッサはプロセッサ間の同期を行う同期手
段と、シミュレーションの実行制御を行う制御手段と、
ノードの処理を行うノード処理手段とを有する。そし
て、レベルソート方式の論理シミュレーションをマルチ
プロセッサシステム上で実行する場合、レベル毎の同期
を全プロセッサのバリア同期で実現しており、同期待ち
によるオーバーヘッドが発生していた。
【０００３】
【発明が解決しようとする課題】上述の従来の論理シミ
ュレータにおける同期装置では、プロセッサ間に評価時
間のばらつきがあった場合、実行時間の短いプロセッサ
はバリア同期が成立するまで同期待ちを行う必要があっ
た。プロセッサは同期待ちの間はゲート評価を行うこと
ができず、論理シミュレータ全体のマルチプロセッサと
しての並列処理効率を悪化させているという問題点があ
る。
ュレータにおける同期装置では、プロセッサ間に評価時
間のばらつきがあった場合、実行時間の短いプロセッサ
はバリア同期が成立するまで同期待ちを行う必要があっ
た。プロセッサは同期待ちの間はゲート評価を行うこと
ができず、論理シミュレータ全体のマルチプロセッサと
しての並列処理効率を悪化させているという問題点があ
る。
【０００４】
【課題を解決するための手段】本発明の論理装置におけ
る同期装置は、レベルソートアルゴリズムに基づき、レ
ベル毎に同期を取りながら論理シミュレーションを実行
するマルチプロセッサ構成の論理シミュレータにおける
同期装置において、プロセッサ間の同期をとるための同
期メッセージ送信情報を保持する同期メッセージ送信情
報テーブルと、該テーブルを参照して同期メッセージを
他のプロセッサに送信する同期メッセージ送信手段と、
同期成立条件を保持する同期成立条件テーブルと、前記
同期メッセージを受信する同期メッセージ受信手段と、
前記同期メッセージ受信手段によって更新される同期メ
ッセージ計数テーブルと、前記同期メッセージ計数テー
ブルから同期の成立を判断する同期成立判定手段とを有
し、プロセッサ間で個別に同期処理を行うことを特徴と
する。
る同期装置は、レベルソートアルゴリズムに基づき、レ
ベル毎に同期を取りながら論理シミュレーションを実行
するマルチプロセッサ構成の論理シミュレータにおける
同期装置において、プロセッサ間の同期をとるための同
期メッセージ送信情報を保持する同期メッセージ送信情
報テーブルと、該テーブルを参照して同期メッセージを
他のプロセッサに送信する同期メッセージ送信手段と、
同期成立条件を保持する同期成立条件テーブルと、前記
同期メッセージを受信する同期メッセージ受信手段と、
前記同期メッセージ受信手段によって更新される同期メ
ッセージ計数テーブルと、前記同期メッセージ計数テー
ブルから同期の成立を判断する同期成立判定手段とを有
し、プロセッサ間で個別に同期処理を行うことを特徴と
する。
【０００５】本発明の論理シミュレータにおける制御情
報作成装置は、論理シミュレーションモデルからプロセ
ッサ間接続情報を抽出するプロセッサ間接続情報抽出手
段と、前記プロセッサ間接続情報からプロセッサ間の依
存関係を最適化し同期メッセージ送信情報および同期成
立条件情報を送出するプロセッサ間依存関係最適化手段
とを備え、論理シミュレーションモデルから抽出された
プロセッサ間接続情報に対しプロセッサ間の依存関係を
最適化して同期メッセージ送信情報および同期成立条件
情報を作成するようにして構成される。
報作成装置は、論理シミュレーションモデルからプロセ
ッサ間接続情報を抽出するプロセッサ間接続情報抽出手
段と、前記プロセッサ間接続情報からプロセッサ間の依
存関係を最適化し同期メッセージ送信情報および同期成
立条件情報を送出するプロセッサ間依存関係最適化手段
とを備え、論理シミュレーションモデルから抽出された
プロセッサ間接続情報に対しプロセッサ間の依存関係を
最適化して同期メッセージ送信情報および同期成立条件
情報を作成するようにして構成される。
【０００６】
【実施例】本発明の同期装置の一実施例を示す図１を参
照すると、本実施例は複数のプロセッサ１０１とプロセ
ッサ１０１を結ぶプロセッサ間接続網１０２から構成さ
れる。プロセッサ１０１は同期手段１０３と、制御手段
１０４と、ノード処理手段１０５を含む。同期手段１０
３は同期メッセージ送信情報を保持する同期メッセージ
送信情報テーブル１０６と、このテーブル１０６を参照
して同期メッセージを送信する同期メッセージ送信手段
１０７と、同期成立条件を保持する同期成立条件テーブ
ル１０８と、同期メッセージを受信する同期メッセージ
受信手段１０９と、同期メッセージ受信手段１０９によ
って更新される同期メッセージ計数テーブル１１０と、
同期メッセージ計数テーブル１１０から同期の成立を判
断する同期成立判定手段１１１とを有する。
照すると、本実施例は複数のプロセッサ１０１とプロセ
ッサ１０１を結ぶプロセッサ間接続網１０２から構成さ
れる。プロセッサ１０１は同期手段１０３と、制御手段
１０４と、ノード処理手段１０５を含む。同期手段１０
３は同期メッセージ送信情報を保持する同期メッセージ
送信情報テーブル１０６と、このテーブル１０６を参照
して同期メッセージを送信する同期メッセージ送信手段
１０７と、同期成立条件を保持する同期成立条件テーブ
ル１０８と、同期メッセージを受信する同期メッセージ
受信手段１０９と、同期メッセージ受信手段１０９によ
って更新される同期メッセージ計数テーブル１１０と、
同期メッセージ計数テーブル１１０から同期の成立を判
断する同期成立判定手段１１１とを有する。
【０００７】図２は、本発明が適用されるプロセッサお
よびプロセッサ間接続網のモデル例を示す。
よびプロセッサ間接続網のモデル例を示す。
【０００８】このモデルは、４つのノード１１，１２，
１３および１４を有するプロセッサ１と、４つのノード
２１，２２，２３および２４を有するプロセッサ２の間
を接続する２本のプロセッサ間接続２０１およびプロセ
ッサ間接続２０２が存在する。したがって、このモデル
のプロセッサ間接続情報は以下のようである。
１３および１４を有するプロセッサ１と、４つのノード
２１，２２，２３および２４を有するプロセッサ２の間
を接続する２本のプロセッサ間接続２０１およびプロセ
ッサ間接続２０２が存在する。したがって、このモデル
のプロセッサ間接続情報は以下のようである。
【０００９】 Ｓ：Ｐ＝１，Ｌ＝１ → Ｄ：Ｐ＝２，Ｌ＝４ Ｓ：Ｐ＝１、Ｌ＝２ → Ｄ：Ｐ＝２，Ｌ＝３ ここに、Ｓはソース、Ｄはデスティネーション、Ｐはプ
ロセッサ、Ｌはレベルを示す。
ロセッサ、Ｌはレベルを示す。
【００１０】まず、同期成立条件テーブル１０８の値が
初期値として同期メッセージ計数テーブル１１０に複写
される。ある１レベルのノード処理が終了したならば、
制御手段１０４によって同期手段１０３が起動される。
同期メッセージ送信手段１０７は同期メッセージ送信情
報テーブル１０６をレベル値で参照し、同期対象プロセ
ッサの同期対象レベルに対して同期メッセージを出力す
る。
初期値として同期メッセージ計数テーブル１１０に複写
される。ある１レベルのノード処理が終了したならば、
制御手段１０４によって同期手段１０３が起動される。
同期メッセージ送信手段１０７は同期メッセージ送信情
報テーブル１０６をレベル値で参照し、同期対象プロセ
ッサの同期対象レベルに対して同期メッセージを出力す
る。
【００１１】同期メッセージ受信手段１０９は同期メッ
セージを受信したならば、同期メッセージ中に格納され
ている同期対象レベルの同期メッセージ計数テーブル１
１０を減算する。この処理はプロセッサ同期待ち状態に
あるか否かに関わらず行われる。同期成立判定手段１１
１は、現在同期待ちを行っているレベルの同期メッセー
ジ計数テーブル１１０を参照し、０であったならば該当
レベルの同期成立と判断し、制御手段に通知し、同期成
立条件テーブル１０８の値を同期メッセージ計数テーブ
ル１１０に複写し、次回の処理を可能とする。
セージを受信したならば、同期メッセージ中に格納され
ている同期対象レベルの同期メッセージ計数テーブル１
１０を減算する。この処理はプロセッサ同期待ち状態に
あるか否かに関わらず行われる。同期成立判定手段１１
１は、現在同期待ちを行っているレベルの同期メッセー
ジ計数テーブル１１０を参照し、０であったならば該当
レベルの同期成立と判断し、制御手段に通知し、同期成
立条件テーブル１０８の値を同期メッセージ計数テーブ
ル１１０に複写し、次回の処理を可能とする。
【００１２】次に、同期メッセージ送信情報および同期
成立情報を生成するときに、プロセッサ依存関係最適化
を行うようにした本発明の制御情報作成装置を図３に示
す。
成立情報を生成するときに、プロセッサ依存関係最適化
を行うようにした本発明の制御情報作成装置を図３に示
す。
【００１３】すなわち、モデル３０１からプロセッサ間
の接続情報を抽出し、プロセッサ間接続情報３０３を出
力するプロセッサ間接続情報抽出手段３０２と、プロセ
ッサ間接続情報３０３からプロセッサ間の依存関係を最
適化し、同期メッセージ送信情報３０５と同期成立条件
情報３０６とを出力するプロセッサ間依存関係最適化手
段３０４とを設ける。
の接続情報を抽出し、プロセッサ間接続情報３０３を出
力するプロセッサ間接続情報抽出手段３０２と、プロセ
ッサ間接続情報３０３からプロセッサ間の依存関係を最
適化し、同期メッセージ送信情報３０５と同期成立条件
情報３０６とを出力するプロセッサ間依存関係最適化手
段３０４とを設ける。
【００１４】プロセッサ間に複数の接続があった場合、
一般に接続情報間に以下の（１）および（２）ような関
係がある場合、（３）のように最適化が可能である。
一般に接続情報間に以下の（１）および（２）ような関
係がある場合、（３）のように最適化が可能である。
【００１５】 Ｓ：Ｐ＝ａ，Ｌ＝ｎ−ｘ → Ｄ：Ｐ＝ｂ，Ｌ＝ｍ＋ｙ …（１） Ｓ：Ｐ＝ａ，Ｌ＝ｎ → Ｄ：Ｐ＝ｂ，Ｌ＝ｍ …（２） Ｓ：Ｐ＝ａ，Ｌ＝ｎ → Ｄ：Ｐ＝ｂ，Ｌ＝ｍ …（３） 図２の例の場合には、ｘ＝ｙであり、プロセッサ間接続
情報は Ｓ：Ｐ＝１，Ｌ＝２ → Ｄ：Ｐ＝２，Ｌ＝３に最適化
され、この情報に基づいた同期メッセージ送信情報と同
期成立条件情報とが出力される。
情報は Ｓ：Ｐ＝１，Ｌ＝２ → Ｄ：Ｐ＝２，Ｌ＝３に最適化
され、この情報に基づいた同期メッセージ送信情報と同
期成立条件情報とが出力される。
【００１６】
【発明の効果】バリア同期に代わってるプロセッサ間で
個別に同期を行うことにより、また、プロセッサ間接続
状況を解析して依存関係を最適化する事により、モデル
上で必要とされない同期待ちによるオーバーヘッドを削
減し、処理効率を向上させる。
個別に同期を行うことにより、また、プロセッサ間接続
状況を解析して依存関係を最適化する事により、モデル
上で必要とされない同期待ちによるオーバーヘッドを削
減し、処理効率を向上させる。
【００１７】
【図１】本発明の同期装置の一実施例のブロック図であ
る。
る。
【図２】本発明が適用されるモデル例を示す図である。
【図３】本発明の制御情報作製装置の一実施例の要部を
示す図である。
示す図である。
【符号の説明】 １０１ プロセッサ １０２ プロセッサ間接続網 １０３ 同期手段 １０４ 制御手段 １０５ ノード処理手段 １０６ 同期メッセージ送信情報テーブル １０７ 同期メッセージ送信手段 １０８ 同期成立条件テーブル １０９ 同期メッセージ受信手段 １１０ 同期メッセージ計数テーブル ２０１ プロセッサ間接続 ２０２ プロセッサ間接続 ３０１ モデル ３０２ プロセッサ間接続状況抽出手段 ３０３ プロセッサ間接続情報 ３０４ プロセッサ間依存関係最適化手段 ３０５ 同期メッセージ送信情報 ３０６ 同期成立条件情報
Claims (2)
- 【請求項１】 レベルソートアルゴリズムに基づき、レ
ベル毎に同期を取りながら論理シミュレーションを実行
するマルチプロセッサ構成の論理シミュレータにおける
同期装置において、 プロセッサ間の同期をとるための同期メッセージ送信情
報を保持する同期メッセージ送信情報テーブルと、 該テーブルを参照して同期メッセージを他のプロセッサ
に送信する同期メッセージ送信手段と、 同期成立条件を保持する同期成立条件テーブルと、 前記同期メッセージを受信する同期メッセージ受信手段
と、 前記同期メッセージ受信手段によって更新される同期メ
ッセージ計数テーブルと、 前記同期メッセージ計数テーブルから同期の成立を判断
する同期成立判定手段とを有し、プロセッサ間で個別に
同期処理を行うことを特徴とする論理シミュレータにお
ける同期装置。 - 【請求項２】 請求項１記載の論理シミュレータにおけ
る同期装置において、論理シミュレーションモデルから
プロセッサ間接続情報を抽出するプロセッサ間接続情報
抽出手段と、前記プロセッサ間接続情報からプロセッサ
間の依存関係を最適化し同期メッセージ送信情報および
同期成立条件情報を送出するプロセッサ間依存関係最適
化手段とを備え、論理シミュレーションモデルから抽出
されたプロセッサ間接続情報に対しプロセッサ間の依存
関係を最適化して同期メッセージ送信情報および同期成
立条件情報を作成することを特徴とする論理シミュレー
タにおける制御情報作成装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5280985A JP2908202B2 (ja) | 1993-11-10 | 1993-11-10 | 論理シミュレータにおける同期装置と制御情報作成装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5280985A JP2908202B2 (ja) | 1993-11-10 | 1993-11-10 | 論理シミュレータにおける同期装置と制御情報作成装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH07134728A JPH07134728A (ja) | 1995-05-23 |
| JP2908202B2 true JP2908202B2 (ja) | 1999-06-21 |
Family
ID=17632654
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5280985A Expired - Lifetime JP2908202B2 (ja) | 1993-11-10 | 1993-11-10 | 論理シミュレータにおける同期装置と制御情報作成装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2908202B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP5228552B2 (ja) * | 2008-03-18 | 2013-07-03 | 富士通セミコンダクター株式会社 | プロセス間通信機構 |
-
1993
- 1993-11-10 JP JP5280985A patent/JP2908202B2/ja not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| JPH07134728A (ja) | 1995-05-23 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2772304B2 (ja) | 並列処理の負荷均一化方法 | |
| CN101739381B (zh) | 屏障同步设备、屏障同步系统以及屏障同步方法 | |
| EP0178473B1 (en) | Method for broadcasting of information in a distributed computing network | |
| EP2746948A1 (en) | Device and method for optimization of data processing in a MapReduce framework | |
| US5617561A (en) | Message sequence number control in a virtual time system | |
| US8572615B2 (en) | Parallel computing system, synchronization device, and control method of parallel computing system | |
| RU93005211A (ru) | Отказоустойчивая вычислительная система и способ ее формирования | |
| US5634071A (en) | Synchronous processing method and apparatus for a plurality of processors executing a plurality of programs in parallel | |
| CN110945481A (zh) | 跨网络执行元组图程序的方法 | |
| JP2709705B2 (ja) | マルチコンピユータシステムにおけるプログラム管理方法 | |
| Nicol | Noncommittal barrier synchronization | |
| JP2908202B2 (ja) | 論理シミュレータにおける同期装置と制御情報作成装置 | |
| EP0820007B1 (en) | Pipelined computer | |
| US9509780B2 (en) | Information processing system and control method of information processing system | |
| CN114564540A (zh) | 一种数据多机房同步方法、装置、设备及存储介质 | |
| Nicol | Global synchronization for optimistic parallel discrete event simulation | |
| US11907725B2 (en) | Communication in a computer having multiple processors | |
| CN121418294B (zh) | 一种数据中心中数据迁移处理方法和系统 | |
| Madisetti et al. | Efficient distributed simulation | |
| CN118233476B (zh) | 一种分布式系统的数据同步方法、装置、设备及存储介质 | |
| CN114979180B (zh) | 数据同步方法、系统及设备 | |
| JPH11238042A (ja) | 分散シミュレーション制御装置 | |
| JPH01241662A (ja) | 並列処理方法 | |
| JP5854063B2 (ja) | 情報処理システム、情報処理方法、情報処理プログラム、及び情報処理装置 | |
| CN115392471A (zh) | 量子线路在集群环境下的数据同步方法及量子模拟系统 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 19990302 |