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:1163973
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,892,946
Application Number:
13/326,378
OSTI ID:
1163973
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 Dec 08 23:00:00 EST 2014 · OSTI ID:1165100
Bufferless communication for redundant multithreading using register permutation
Patent · Tue May 28 00:00:00 EDT 2019 · OSTI ID:1568400
System and method for hardware scheduling of conditional barriers and impatient barriers
Patent · Tue Sep 20 00:00:00 EDT 2016 · OSTI ID:1531944

Related Subjects

97 MATHEMATICS AND COMPUTING