METHOD AND PROGRAM FOR VERIFYING COHERENCE IN MULTI- NODE SYSTEM, AND DATA PROCESSING SYSTEM

摘要

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.