skip to main content

SciTech ConnectSciTech Connect

Title: Verifying speculative multithreading in an application

Verifying speculative multithreading in an application executing in a computing system, including: executing one or more test instructions serially thereby producing a serial result, including insuring that all data dependencies among the test instructions are satisfied; executing the test instructions speculatively in a plurality of threads thereby producing a speculative result; and determining whether a speculative multithreading error exists including: comparing the serial result to the speculative result and, if the serial result does not match the speculative result, determining that a speculative multithreading error exists.
Authors:
Publication Date:
OSTI Identifier:
1163973
Report Number(s):
8,892,946
13/326,378
DOE Contract Number:
B579040
Resource Type:
Patent
Research Org:
International Business Machines Corporation, Armonk, NY (United States)
Sponsoring Org:
USDOE
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING