公开(公告)号：JP2002334067A

公开(公告)日：2002-11-22

申请号：JP2002094177

申请日：2002-03-29

Applicant: IBM

Inventor： FARAGO STEVEN R ,  LEU LIANG-HAW ,  MCCONVILLE LAWRENCE A ,  WRIGHT KENNETH L

IPC: G06F12/08 ,  G06F11/00 ,  G06F11/26 ,  G06F12/00 ,  G06F15/16 ,  G06F15/167 ,  G06F15/177

Abstract: PROBLEM TO BE SOLVED: To provide a method for verifying coherence in a multi-node NUMA system without greatly altering a coherence inspecting mechanism. SOLUTION: A transaction change part 520 which is so constituted as to receive an event trace generated by a simulation tool is included. This change part changes a transaction propagated to another node in the NUMA system to provides two bus transactions, a home node transaction(HNT), and an external node transaction(FNT). Namely, the change part merges the FNT and the HNT corresponding thereto into one merged transaction(MT) according to a specific rule. The MT has characteristics of both the FNT and HNT. The FNT and HNT are replaced with the corresponding MT to generate an event trace suitable for coherence inspection by a single system coherence checker.