Verification of global coherence in a multi-node NUMA system
US6785773B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Mar 29, 2001 |
| Grant date | Aug 31, 2004 |
| Priority date | — |
| Expiry date | Jan 29, 2023 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2212/2542
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method for verifying cache coherency in a multi-node, NUMA system includes a transaction modification unit configured to receive event traces generated by a simulation tool. The modification unit modifies transactions that are propagated to another node in the NUMA system and thus result in two bus transactions, a home node transaction (HNT) and a foreign node transaction (FNT). More specifically, the modification unit merges a FNT and its corresponding HNT into a single merge transaction (MT) under a prescribed set of merging rules. The MT has properties of the both the FNT and the HNT. The FNT and HNT are deleted from the event trace and replaced by their corresponding MT to create a modified event trace that is suitable for coherency checking by a single system coherency checker.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.