JPH06161785A - モジュール間通信装置 - Google Patents

Abstract

(57)【要約】 【目的】本発明は、プログラムの変更を行うことなく簡
単にデバックのための再実行を可能にしたモジュール間
通信装置を提供する。 【構成】モジュール間メッセージ通信により処理を進め
る計算機システムにおいて、各マシン２は実行時に到着
したメッセージの順番を記録バッファ２２に記録してお
き、デバックのための再実行によりメッセージが到着す
ると、各マシン２は受信演算部２１２で到着メッセージ
が記録バッファ２２に記録した順番に一致しているか確
認し、一致しない場合に該当メッセージをメッセージバ
ッファ２３に一時記憶するとともに、これら記憶された
メッセージ群から記録した順番に合ったメッセージを検
索する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、複数モジュール間でメ
ッセージ通信を行いながら処理を進める計算機システム
において、デバックのための再実行機能を有するモジュ
ール間通信装置に関するものである。

【０００２】

【従来の技術】シーケンシャルプログラムの実行の場
合、同じ入力に対して同じ結果を繰り返す決定的な動作
であるのに対し、複数モジュール間でメッセージ通信を
行いながら処理を進める並行プログラムの場合には、メ
ッセージの到着する順番が変わるため、その動作は非決
定的である。

【０００３】従って、このような複数モジュールで処理
するプログラムについて、そのデバックを行おうとする
と、もう一度同じ実行を再現しようとしても再現できる
保証はない。

【０００４】このため従来の並行プログラムのデバック
では、再実行を実現するために最初の実行時に通信歴を
記憶する機能と、再実行時に受け取る通信の順番を管理
する機能の２つをプログラムにリンクする方法がとられ
ている。

【０００５】

【発明が解決しようとする課題】ところが、この方法に
よると、通信歴を記録する機能と、再実行を管理する機
能をプログラム中のメッセージ送受信要求の前後に付加
するようになるため、オリジナルプログラムを一部変更
しなければならず、また、このような機能を持つモジュ
ールをプログラムにリンクするため、プログラム実行の
際の計算機負荷も大きくなるという問題点があった。

【０００６】本発明は、上記事情に鑑みてなされたもの
で、プログラムの変更を行うことなく、簡単にデバック
のための再実行を可能にしたモジュール間通信装置を提
供することを目的とする。

【０００７】

【課題を解決するための手段】本発明は、複数モジュー
ル間でメッセージ通信を行いながら処理を進める計算機
システムにおいて、前記モジュール間のメッセージ通信
により到着したメッセージの順番を記録する手段と、デ
バックのための再実行により到着したメッセージが前記
記録したメッセージの順番に一致しているか確認する手
段と、この手段で不一致を確認すると前記再実行の際に
到着したメッセージを一時記憶する手段と、この手段で
一時記憶したメッセージから前記記録した順番に合うメ
ッセージを検索する手段とにより構成されている。

【０００８】

【作用】この結果、本発明によれば、モジュール間メッ
セージ通信により処理を進める計算機システムにおい
て、実行時に到着したメッセージの順番を記録してお
き、デバックのための再実行によりメッセージが到着す
ると、このメッセージが実行時に記録した順番に一致し
ているか確認し、一致しない場合に該当メッセージを一
時記憶するとともに、これら記憶されたメッセージ群か
ら記録した順番に合ったメッセージを検索するようにし
ている。これによりオリジナルプログラムを変更するこ
となく、デバックのための再実行時も実行時と同じ順番
で通信を宛先モジュールに到着させることができるよう
になる。

【０００９】

【実施例】以下、本発明の一実施例を図面に従い説明す
る。

【００１０】図１は同実施例の概略構成を示している。
図において、１はＬＡＮで、このＬＡＮ１には、複数
台、ここでは＃１〜＃３の３台のマシン（計算機）２が
接続されている。この場合、各マシン２は、通信装置２
１、記録バッファ２２、メッセージバッファ２３、処理
装置２４から構成されている。

【００１１】ここで、通信装置２１は、通信処理を行う
送信演算部２１１と受信処理を行う受信演算部２１２を
有し、このうちの受信演算部２１２は、信号SIGM0Dによ
って通信履歴記録モード、再実行モード、通常実行モー
ドの各モードの切り換えを行うようになっている。記録
バッファ２２は、通信履歴を記録するものである。メッ
セージバッファ２３は、メッセージを一時的に記録する
ものである。処理装置２４は、通信装置２１から各種メ
ッセージを読取り、必要に応じて記録バッファ２２やメ
ッセージバッファ２３に記憶するようにしている。

【００１２】図２は、通信装置２１のハードウェア構成
例を示している。この場合、上述の送信演算部２１１と
受信演算部２１２は、ＬＡＮ制御ＣＰＵ２１３からなっ
ていて、このＬＡＮ制御ＣＰＵ２１３をＬＡＮインター
フェース２１４を介してＬＡＮ１に接続している。ＬＡ
Ｎインターフェース２１４は、ＬＡＮ１に対するメッセ
ージの送信および受信を行うようにしている。また、Ｌ
ＡＮ制御ＣＰＵ２１３は、ＲＡＭ２１５とＲＯＭ２１６
を接続している。ＲＡＭ２１５は、ＬＡＮインターフェ
ース２１４からの受信メッセージを記憶するものであ
る。ＲＯＭ２１６は、ＬＡＮ制御ＣＰＵ２１３の制御プ
ログラムを記憶している。

【００１３】この場合、図３に示すように各マシン２に
対してモジュールＭ１１、Ｍ１２、Ｍ２１、Ｍ２２、Ｍ
３１、Ｍ３２がそれぞれ置かれたものとして、これらモ
ジュール群について図４に示す通信履歴モードの通信順
番［１］〜［７］により、図５に示すような順序でメッ
セージ通信が実行されたものと仮定している。

【００１４】そして、このような通信履歴に対しデバッ
ク手順として再実行モードで記録した実行を再現するこ
とになるが、この時の処理の流れを図６に示し、同図の
中での再実行モードでの処理の流れを図７に示してい
る。まず、信号SIGM0Dによって通信履歴記録モードを設
定すると、図４および図５で示す通信履歴が、以下の手
順で記録される。

【００１５】最初に通信［１］によりモジュールＭ１１
からモジュールＭ２１にメッセージが送信される。この
場合、＃１のマシン２からの送信は、送信演算部２１１
がメッセージに生成して送り出すという処理が行われる
が、ここでの送信処理は、モードに関係なく同じなの
で、以降の送信処理については説明を省略する。

【００１６】通信［１］での受信処理は、＃２のマシン
２の通信装置２１でメッセージを受け取ると（ステップ
６０１）、通常実行モードかを判断する（ステップ６０
２）。この場合、通信履歴記録モードが設定されてお
り、ＮＯと判断するので、ステップ６０３に進む。そし
て、ここでは、ＹＥＳと判断し、ステップ６０４に進
む。これにより、＃２のマシン２の受信演算部２１２に
より受け取ったメッセージＩＤの送信モジュール名と受
信モジュール名を処理装置２４に渡し、記録バッファ２
２に記録する（ステップ６０５）。

【００１７】次に、通信［２］の受信処理によりモジュ
ールＭ１１からモジュールＭ３１にメッセージが送信さ
れる。すると、この場合も通信［１］と同様な処理が実
行され、＃３のマシン２の受信演算部２１２により受け
取ったメッセージＩＤを記録バッファ２２に記録する。

【００１８】以下、同様にして、通信［３］のモジュー
ルＭ２１からモジュールＭ２２の通信では、＃２のマシ
ン２の記録バッファ２２に、通信［４］のモジュールＭ
３１からモジュールＭ３２の通信では、＃３のマシン２
の記録バッファ２２に、通信［５］のモジュールＭ２２
からモジュールＭ１２の通信では、＃１のマシン２の記
録バッファ２２に、通信［６］のモジュールＭ１２から
モジュールＭ１１の通信では、＃１のマシン２の記録バ
ッファ２２に、通信［７］のモジュールＭ３２からモジ
ュールＭ１２の通信では、＃１のマシン２の記録バッフ
ァ２２にそれぞれメッセージＩＤを記録するようにな
る。

【００１９】以上述べた処理により、＃１〜＃３のマシ
ン２の各記録バッファ２２には、それぞれ図８、図９お
よび図１０に示すようなメッセージＩＤが記録されるこ
とになる。ここまでが、通信履歴記録モードの処理であ
る。次に、信号SIGM0Dによって再実行モードを設定する
と、通信履歴記録モードで記録された実行が再現され
る。

【００２０】この場合、説明のために今回は、前回の実
行と異なる図１１に示す順で実行が行われるものと仮定
する。つまり、ここでは、前回［１］から［７］の順番
で送信された通信が、今回は、［１］、［２］、
［４］、［７］、［３］、［６］、［５］の順で行われ
たとする。

【００２１】この場合、プログラムを実行すると、ま
ず、モジュールＭ１１からモジュールＭ２１への通信
［１］が行われる。この場合も通信履歴記録モードのと
きと同様に、送信処理はモードによらず送信処理演算部
によって処理される。

【００２２】モジュールＭ１１からメッセージを受け取
った＃２のマシン２の受信演算部２１２では、図６のス
テップ６０２、ステップ６０３を介して再実行モードを
判断し、再実行モード処理に移行する（ステップ６０
６）。

【００２３】そして、再実行モード処理では、図７に示
すように、まずステップ７０１で今回届く予定のメッセ
ージＩＤを記録バッファ２２から取り出し、ステップ７
０３で、この予定メッセージＩＤと実際に届いたメッセ
ージＩＤを比較する。ここで同一メッセードということ
になると、このメッセージＩＤを処理装置２４に渡し、
新たに記録バッファ２２から、次に届く予定の通信
［３］のメッセージＩＤを取り出す。そして、ステップ
７０５でメッセージバッファ２３の中を検索する。この
時、メッセージバッファ２３は空なので、ステップ７０
７で取り出した予定メッセージＩＤを記録バッファ２２
に戻し、処理を終了する。従って、次に記録バッファ２
２の取り出しを行った時の予定メッセージＩＤは、通信
［３］のもののままになる。

【００２４】次のモジュールＭ１１からモジュールＭ３
１への通信［２］については、＃３のマシン２では、記
録バッファ２２に記録された予定していた通信［２］と
一致するため、メッセージを処理装置２４に渡して、次
の予定の通信［４］のメッセージＩＤを取り出すように
なる。しかし、この場合も、メッセージバッファ２３が
空なので、ステップ７０７で、このメッセージＩＤも記
録バッファ２２に戻される。

【００２５】次の通信［４］について、＃３のマシン２
では、記録バッファ２２から取り出した予定メッセージ
ＩＤと一致するため、メッセージＩＤは処理装置２４に
渡される。これで記録バッファ２２は空となる。

【００２６】次の通信［７］については、モジュールＭ
３２からモジュールＭ１２の通信で＃１のマシン２の受
信演算部２１２がメッセージＩＤを受け取るが、この
時、ステップ７０１で取り出された予定していたメッセ
ージＩＤは通信［５］のもので、実際に届いたメッセー
ジＩＤと予定していたメッセージＩＤと一致しないの
で、ステップ７０４に移行する。ステップ７０４では、
通信［７］をメッセージバッファ２３に格納し、ステッ
プ７０５で予定していたメッセージが既に到着していな
いかを検索する。ここで、メッセージバッファ２３に
は、通信［５］のメッセージＩＤが存在しないので、メ
ッセージＩＤの処理装置２４への引き渡しはなく、ステ
ップ７０７において、このメッセージＩＤを記録バッフ
ァ２２に戻し、受信処理は終了する。

【００２７】次の通信［３］については、＃２のマシン
２の記録バッファ２２から取り出した予定しているメッ
セージＩＤと通信［３］のそれが一致するするので、ス
テップ７１０に従ってメッセージＩＤを処理装置２４に
引き渡す。これで記録バッファ２２は空となる。

【００２８】次の通信［６］については、モジュールＭ
１２からモジュールＭ１１への通信なので、＃１のマシ
ン２の記録バッファ２２から予定しているメッセージＩ
Ｄを取り出す。この時、予定メッセージは、前回の通信
［５］のままなので一致せず、メッセージＩＤはステッ
プ７０４によってメッセージバッファ２３に格納され
る。従って、メッセージバッファ２３の中は、通信
［６］と［７］のメッセージＩＤになるが、この中には
今回予定している通信［５］のメッセージＩＤと一致す
るものがないので、再び通信［５］のメッセージＩＤは
記録バッファ２２に戻され、受信処理を終了する。

【００２９】次の、モジュールＭ２２からモジュールＭ
１２の通信［５］については、＃１のマシン２では、ス
テップ７０１によって記録バッファ２２から予定してい
る通信［５］のメッセージＩＤを取り出し比較する。こ
の場合、実際に届いたメッセージＩＤと一致するので、
ステップ７１０に従ってメッセージＩＤを処理装置２４
に引き渡す。次に、ステップ７０８によって次の予定の
メッセージＩＤ、ここでは通信［６］のメッセージＩＤ
を取り出し、再びメッセージバッファ２３の検索を行
う。この場合、メッセージバッファ２３には、通信
［７］と［６］のメッセージＩＤが格納され、通信
［６］のメッセージＩＤが一致するので、ステップ７０
５に従って通信［６］のメッセージＩＤを処理装置２４
に引き渡し、ステップ７０８によって記録バッファ２２
から再び次の予定の、通信［７］のメッセージＩＤを取
り出す。

【００３０】そして、ステップ７０５でメッセージバッ
ファ２３を検索して、最後に残っている通信［７］のメ
ッセージＩＤを見付けて、これを処理装置２４に引き渡
す。その後、ステップ７０８で次の予定のメッセージＩ
Ｄを取り出し、記録バッファ２２が空のことを検出して
受信処理を終了する。この通信が、最後の通信となり、
再実行はすべて終了する。

【００３１】従って、このようにすれば、各マシン２
は、実行時に到着したメッセージの順番を記録バッファ
２２に記録しておき、デバックのための再実行によりメ
ッセージが到着すると、各マシン２は、受信演算部２１
２で到着メッセージが記録バッファ２２に記録した順番
に一致しているか確認し、一致しない場合に該当メッセ
ージをメッセージバッファ２３に一時記憶するととも
に、これら記憶されたメッセージ群から記録した順番に
合ったメッセージを検索するようにしたので、実行時に
記録した順番の通信を再実行できるようになり、非決定
的な動作の並行プログラムのデバックが実現できること
になる。なお、本発明は、上記実施例にのみ限定され
ず、要旨を変更しない範囲で、適宜変形して実施でき
る。

【００３２】

【発明の効果】本発明によれば、プログラムの書き換え
やプログラムにコントロール機能を持たせることなく、
実行を容易に再現することができ、非決定的な動作の並
行プログラムのデバックが実現できる。

【図面の簡単な説明】

【図１】本発明の一実施例の概略構成を示す図。

【図２】一実施例の通信装置のハードウェア構成例を示
す図。

【図３】一実施例のモジュールの配置例を示す図。

【図４】一実施例の通信履歴モードでの通信順番の例を
示す図。

【図５】一実施例の通信履歴モードでの実行例を示す
図。

【図６】一実施例の通信装置での処理を示すフローチャ
ート。

【図７】一実施例の再実行モードの処理を示すフローチ
ャート。

【図８】一実施例の記録バッファの内容例を示す図。

【図９】一実施例の記録バッファの内容例を示す図。

【図１０】一実施例の記録バッファの内容例を示す図。

【図１１】一実施例の再実行モード時に実際に起きた通
信順番の例を示す図。

【符号の説明】

１…ＬＡＮ、２…マシン、２１…通信装置、２１１…送
信演算部、２１２…受信演算部、２２…記録バッファ、
２３…メッセージバッファ、２４…処理装置。

───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.⁵ 識別記号 庁内整理番号 ＦＩ 技術表示箇所 Ｈ０４Ｌ 12/40

Claims (1)

【特許請求の範囲】
1. 【請求項１】 複数モジュール間でメッセージ通信を行
   いながら処理を進める計算機システムにおいて、 前記モジュール間のメッセージ通信により到着したメッ
   セージの順番を記録する手段と、 デバックのための再実行により到着したメッセージが前
   記記録したメッセージの順番に一致しているか確認する
   手段と、 この手段で不一致を確認すると前記再実行の際に到着し
   たメッセージを一時記憶する手段と、 この手段で一時記憶したメッセージから前記記録した順
   番に合うメッセージを検索する手段とを具備したことを
   特徴とするモジュール間通信装置。