Skip to Content
Find More Like This
Return to Search

Verifying speculative multithreading in an application

United States Patent

December 9, 2014
View the Complete Patent at the US Patent & Trademark Office
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.
Felton; Mitchell D. (Rochester, MN)
International Business Machines Corporation (Armonk, NY)
13/ 709,729
December 10, 2012
STATEMENT REGARDING FEDERALLY SPONSORED RESEARCH OR DEVELOPMENT This invention was made with Government support under Contract No. B579040 awarded by the Department of Energy. The Government has certain rights in this invention.