Verifying speculative multithreading in an application
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.
- Inventors:
- Issue Date:
- Research Org.:
- International Business Machines Corp., Armonk, NY (United States)
- Sponsoring Org.:
- USDOE
- OSTI Identifier:
- 1163973
- Patent Number(s):
- 8,892,946
- Application Number:
- 13/326,378
- Assignee:
- International Business Machines Corporation (Armonk, NY)
- DOE Contract Number:
- B579040
- Resource Type:
- Patent
- Resource Relation:
- Patent File Date: 2011 Dec 15
- Country of Publication:
- United States
- Language:
- English
- Subject:
- 97 MATHEMATICS AND COMPUTING
Citation Formats
Felton, Mitchell D. Verifying speculative multithreading in an application. United States: N. p., 2014.
Web.
Felton, Mitchell D. Verifying speculative multithreading in an application. United States.
Felton, Mitchell D. Tue .
"Verifying speculative multithreading in an application". United States. https://www.osti.gov/servlets/purl/1163973.
@article{osti_1163973,
title = {Verifying speculative multithreading in an application},
author = {Felton, Mitchell D},
abstractNote = {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.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2014},
month = {11}
}
Save to My Library
You must Sign In or Create an Account in order to save documents to your library.
Works referenced in this record:
Software-based speculative pre-computation and multithreading
patent-application, October 2002
- Wang, Hong; Collins, Jamison; Shen, John P.
- US Patent Application 09/823674; 20020144083
Value Predictable Variable Scoping for Speculative Automatic Parallelization with Transactional Memory
patent-application, September 2009
- Song, Yonghong; Kong, Xiangyun; Kalogeropulos, Spiros
- US Patent Application 12/046365; 20090235237
In-Data Path Tracking of Floating Point Exceptions and Store-Based Exception Indication
patent-application, February 2011
- Eichenberger, Alexandre E.; Gara, Alan; Gschwind, Michael K.
- US Patent Application 12/543614; 20110047358
Insertion of Operation-and-Indicate Instructions for Optimized SIMD Code
patent-application, February 2011
- Eichenberger, Alexandre E.; Gara, Alan; Gschwind, MIchael K.
- US Patent Application 12/543628; 20110047359
Universal Causality Graphs for Bug Detection in Concurrent Programs
patent-application, July 2011
- Kahlon, Vincent; Wang, Chao
- US Patent Application 12/907409; 20110167412
Method for Guarenteeing Program Correctness Using Fine-Grained Hardware Speculative Execution
patent-application, August 2012
- Tsafrir, Dan; Wisniewski, Robert W.
- US Patent Application 13/020228; 20120204065
Test Method, Processing Device, Test Program Generation Method and Test Program Generator
patent-application, June 2013
- Sato, Hiromi; Ichikawa, Fumio
- US Patent Application 13/764069; 20130152048
Compiler support for speculative multithreading architecture with probabilistic points-to analysis
conference, January 2003
- 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
Thread-spawning schemes for speculative multithreading
conference, January 2002
- Marcuello, P.; Gonzalez, A.
- Eighth International Symposium on High-Performance Computer Architecture, Proceedings Eighth International Symposium on High Performance Computer Architecture