The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 16, 2026
Filed:
Nov. 03, 2023
International Business Machines Corporation, Armonk, NY (US);
Nandhini Rajaiah, Bangalore, IN;
Manoj Dusanapudi, Bangalore, IN;
Larry Leitner, Austin, TX (US);
Shakti Kapoor, Austin, TX (US);
INTERNATIONAL BUSINESS MACHINES CORPORATION, Armonk, NY (US);
Abstract
A cache coherency test process is provided which includes deterministically generating a test program to test cache coherency in a computing environment including at least one processing unit. The deterministically generating includes producing cache state test sequences using graph traversal, where the cache state test sequences include closed paths of cache-affecting operations, and where using graph traversal includes traversing one or more state graphs with nodes representing cache states and edges representing operations producing respective cache state transitions in the at least one processing unit. Further, the deterministically generating includes pruning the cache state test sequences, using closed-path graph analysis, to generate the test program, where the test program has a selected cache coherence test coverage using chosen cache state test sequences obtained from pruning the cache state test sequences. Further, the process includes initiating executing of the test program in the computing environment to test the cache coherency.