Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Verifying speculative multithreading in an application

Patent ·
OSTI ID:1165100
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.
Research Organization:
International Business Machines Corporation, Armonk, NY (United States)
Sponsoring Organization:
USDOE
Assignee:
International Business Machines Corporation (Armonk, NY)
Patent Number(s):
8,909,993
Application Number:
13/709,729
OSTI ID:
1165100
Country of Publication:
United States
Language:
English

References (2)

Compiler support for speculative multithreading architecture with probabilistic points-to analysis
  • Chen, Peng-Sheng; Hung, Ming-Yu; Hwang, Yuan-Shin
  • Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '03 https://doi.org/10.1145/781498.781502
conference January 2003
Thread-spawning schemes for speculative multithreading
  • Marcuello, P.; Gonzalez, A.
  • Eighth International Symposium on High-Performance Computer Architecture, Proceedings Eighth International Symposium on High Performance Computer Architecture https://doi.org/10.1109/HPCA.2002.995698
conference January 2002

Similar Records

Verifying speculative multithreading in an application
Patent · Mon Nov 17 23:00:00 EST 2014 · OSTI ID:1163973
Bufferless communication for redundant multithreading using register permutation
Patent · Tue May 28 00:00:00 EDT 2019 · OSTI ID:1568400
Multithreading in vector processors
Patent · Mon Jan 15 23:00:00 EST 2018 · OSTI ID:1417324

Related Subjects

97 MATHEMATICS AND COMPUTING