Verifying speculative multithreading in an application
AssigneeInternational Business Machines Corporation
InventorMITCHELL D. FELTON
Life of this patent
Estimating the term…
Abstract
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.
Claims7
A method of verifying speculative multithreading in an application executing in a computing system, the method comprising:
- 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.
7-20. (canceled)
Dependencies are inferred from the claim text.