特許

J-GLOBAL ID：200903001093159707

マルチスレッデッドプログラムにおけるコンカレントエラーの検出

発明者： マイケル バローズ ,  チャールズ ジー ネルソン ,  ステファン サヴェージ ,  パトリック ジー ソバルヴァーロ
出願人/特許権者： ディジタル イクイプメント コーポレイション
代理人 (1件)： 中村 稔 (外6名)
公報種別：公開公報
出願番号（国際出願番号）：特願平10-058064
公開番号（公開出願番号）：特開平10-254716
出願日： 1998年03月10日
公開日（公表日）： 1998年09月25日
要約：

【要約】【課題】 プログラムスレッドをコンカレントに実行するに際し、コンカレントエラーを検出すること。【解決手段】 コンピュータによって実施される方法は、プログラムにおけるコンカレントエラーを検出する。複数のプログラムスレッドの機械イメージは、スレッドのコンカレント状態をもたらす命令を捜し出し置き換えるようにインストルメントされる。複数のスレッドが実行されている間に、コンカレント状態情報はメモリに記録される。この記録されたコンカレント状態情報は、分析され、一致しない動的コンカレント状態遷移が、コンカレントエラーとして報告される。

請求項（抜粋）：

プログラムにおけるコンカレントエラーを検出するためのコンピュータによって実施される方法であって、プログラムの複数のスレッドの機械語をインストルメンティングして、該スレッドのコンカレント状態をもたらす命令を捜し出して置き換え、前記複数のスレッドが実行されている間にメモリにコンカレント状態情報を記録し、該記録されたコンカレント状態情報を分析し、一致しない動的コンカレント状態遷移をコンカレントエラーとして報告することを特徴とする方法。

IPC (3件)：

G06F 9/46 340 ,  G06F 11/30 305 ,  G06F 11/34

FI (3件)：

G06F 9/46 340 G ,  G06F 11/30 305 D ,  G06F 11/34 A

引用特許：

審査官引用 (4件)

• 並列プログラムトレース装置
  公報種別：公開公報   出願番号：特願平6-144883   出願人：三菱電機株式会社
• 特開昭60-247746
  
• 特開昭60-247746
  
• 特開昭63-113637