公开(公告)号：EP2788880A4

公开(公告)日：2015-07-15

申请号：EP12856495

申请日：2012-11-16

Applicant: IBM

Inventor： DODSON JOHN STEVEN ,  GOODMAN BENJIMAN L ,  HNATKO STEVEN J ,  WRIGHT KENNETH L

IPC: G06F12/08 ,  G06F11/10 ,  G11C29/04

CPC classification number: G06F11/1076 ,  G06F11/1064 ,  G06F12/0815 ,  G06F12/0895 ,  G11C2029/0411

Abstract: Mechanisms are provided for efficient storage of meta-bits within a system memory. The mechanisms combine an L/G bit and an SUE bit to form meta-bits. The mechanisms then determine the local/global state of a cache line on the first cycle of data. The mechanisms forward the data to the requesting cache, and the requesting cache may reissue the request globally based on the local/global state of the cache line. The mechanisms then determine the special uncorrectable error state of the cache line on the second or subsequent cycle of data. The mechanisms perform error processing regardless of whether the request was reissued globally.

公开(公告)号：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.