Verifying speculative multithreading in an application

Felton, Mitchell D

Advanced Search OptionsAdvanced Search queries use a traditional Term Search. For more info, see our FAQ.

All Fields:

Patent Title:

Abstract:

Assignee:

Inventor(s):

Patent Number:

Patent Classification (CPC):

All Classifications
A - human necessities
A01 - agriculture
A21 - baking
A22 - butchering
A23 - foods or foodstuffs
A24 - tobacco
A41 - wearing apparel
A42 - headwear
A43 - footwear
A44 - haberdashery
A45 - hand or travelling articles
A46 - brushware
A47 - furniture
A61 - medical or veterinary science
A62 - life-saving
A63 - sports
A99 - subject matter not otherwise provided for in this section
B - performing operations
B01 - physical or chemical processes or apparatus in general
B02 - crushing, pulverising, or disintegrating
B03 - separation of solid materials using liquids or using pneumatic tables or jigs
B04 - centrifugal apparatus or machines for carrying-out physical or chemical processes
B05 - spraying or atomising in general
B06 - generating or transmitting mechanical vibrations in general
B07 - separating solids from solids
B08 - cleaning
B09 - disposal of solid waste
B21 - mechanical metal-working without essentially removing material
B22 - casting
B23 - machine tools
B24 - grinding
B25 - hand tools
B26 - hand cutting tools
B27 - working or preserving wood or similar material
B28 - working cement, clay, or stone
B29 - working of plastics
B30 - presses
B31 - making articles of paper, cardboard or material worked in a manner analogous to paper
B32 - layered products
B33 - additive manufacturing technology
B41 - printing
B42 - bookbinding
B43 - writing or drawing implements
B44 - decorative arts
B60 - vehicles in general
B61 - railways
B62 - land vehicles for travelling otherwise than on rails
B63 - ships or other waterborne vessels
B64 - aircraft
B65 - conveying
B66 - hoisting
B67 - opening, closing {or cleaning} bottles, jars or similar containers
B68 - saddlery
B81 - microstructural technology
B82 - nanotechnology
B99 - subject matter not otherwise provided for in this section
C - chemistry
C01 - inorganic chemistry
C02 - treatment of water, waste water, sewage, or sludge
C03 - glass
C04 - cements
C05 - fertilisers
C06 - explosives
C07 - organic chemistry
C08 - organic macromolecular compounds
C09 - dyes
C10 - petroleum, gas or coke industries
C11 - animal or vegetable oils, fats, fatty substances or waxes
C12 - biochemistry
C13 - sugar industry
C14 - skins
C21 - metallurgy of iron
C22 - metallurgy
C23 - coating metallic material
C25 - electrolytic or electrophoretic processes
C30 - crystal growth
C40 - combinatorial technology
C99 - subject matter not otherwise provided for in this section
D - textiles
D01 - natural or man-made threads or fibres
D02 - yarns
D03 - weaving
D04 - braiding
D05 - sewing
D06 - treatment of textiles or the like
D07 - ropes
D10 - indexing scheme associated with sublasses of section d, relating to textiles
D21 - paper-making
D99 - subject matter not otherwise provided for in this section
E - fixed constructions
E01 - construction of roads, railways, or bridges
E02 - hydraulic engineering
E03 - water supply
E04 - building
E05 - locks
E06 - doors, windows, shutters, or roller blinds in general
E21 - earth drilling
E99 - subject matter not otherwise provided for in this section
F - mechanical engineering
F01 - machines or engines in general
F02 - combustion engines
F03 - machines or engines for liquids
F04 - positive - displacement machines for liquids
F05 - indexing schemes relating to engines or pumps in various subclasses of classes f01-f04
F15 - fluid-pressure actuators
F16 - engineering elements and units
F17 - storing or distributing gases or liquids
F21 - lighting
F22 - steam generation
F23 - combustion apparatus
F24 - heating
F25 - refrigeration or cooling
F26 - drying
F27 - furnaces
F28 - heat exchange in general
F41 - weapons
F42 - ammunition
F99 - subject matter not otherwise provided for in this section
G - physics
G01 - measuring
G02 - optics
G03 - photography
G04 - horology
G05 - controlling
G06 - computing
G07 - checking-devices
G08 - signalling
G09 - education
G10 - musical instruments
G11 - information storage
G12 - instrument details
G16 - information and communication technology [ict] specially adapted for specific application fields
G21 - nuclear physics
G99 - subject matter not otherwise provided for in this section
H - electricity
H01 - basic electric elements
H02 - generation
H03 - basic electronic circuitry
H04 - electric communication technique
H05 - electric techniques not otherwise provided for
H99 - subject matter not otherwise provided for in this section
Y - new / cross sectional technologies
Y02 - technologies or applications for mitigation or adaptation against climate change
Y04 - information or communication technologies having an impact on other technology areas
Y10 - technical subjects covered by former uspc

More Options ...

Title: 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:: Felton, Mitchell D

Issue Date:: 2014-11-18

Research Org.:: International Business Machines Corp., Armonk, NY (United States)

Sponsoring Org.:: USDOE

OSTI Identifier:: 1163973

Patent Number(s):: 8892946

Application Number:: 13/326,378

Assignee:: International Business Machines Corporation (Armonk, NY)

Patent Classifications (CPCs):: G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING

Show more

G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING
G06F11/3624 - {by performing operations on the source code, e.g. via a compiler}
G06F11/3632 - {of specific synchronisation aspects}
G06F11/3648 - {using additional hardware}
G06F9/30 - Arrangements for executing machine instructions, e.g. instruction decode
G06F9/3001 - {Arithmetic instructions}
G06F9/30014 - {with variable precision}
G06F9/30087 - {Synchronisation or serialisation instructions}
G06F9/3842 - {Speculative instruction execution}
G06F9/3851 - {from multiple instruction streams, e.g. multistreaming

Show less

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.

Copy to clipboard


                    Felton, Mitchell D. Verifying speculative multithreading in an application.  United States.

Copy to clipboard


                    Felton, Mitchell D. Tue .  
        "Verifying speculative multithreading in an application".  United States.  https://www.osti.gov/servlets/purl/1163973.

Copy to clipboard


                    
@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}

}

Copy to clipboard

Patent:

Save / Share:

Export Metadata

Save to My Library

Works referenced in this record:

Processor and method for performing a hardware test during instruction execution in a normal mode
patent, March 2004

Moore, Charles R.
US Patent Document 6,715,062
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/6715062

Simultaneous and redundantly threaded processor store instruction comparator
patent, February 2005

Mukherjee, Shubhendu S.; Reinhardt, Steven K.
US Patent Document 6,854,075
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/6854075

Processor with speculative multithreading and hardware to support multithreading software
patent, February 2007

Chamdani, Joseph I.; Chou, Yuan C.
US Patent Document 7,185,338
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/7185338

Primitives to enhance thread-level speculation
patent, February 2011

Jacobson, Quinn A.; Wang, Hong; Shen, John
US Patent Document 7,882,339
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/7882339

Integrated circuit using speculative execution
patent, February 2011

Ozer, Emre; Bull, David Michael; Das, Shidhartha
US Patent Document 7,895,469
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/7895469

Insertion of operation-and-indicate instructions for optimized SIMD code
patent, June 2013

Eichenberger, Alexandre E.; Gara, Alan; Gschwind, Michael K.
US Patent Document 8,458,684
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/8458684

Data processing apparatus and method for providing fault tolerance when executing a sequence of data processing operations
patent, July 2013

Penton, Antony John; Ford, Simon Andrew; Rose, Andrew Christopher
US Patent Document 8,484,508
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/8484508

Compile method suitable for speculation mechanism
patent-application, November 2001

Kyushima, Ichiro; Nishiyama, Hiroyasu
US Patent Application 09/854458; 20010044931
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/20010044931

Software-based speculative pre-computation and multithreading
patent-application, October 2002

Wang, Hong; Collins, Jamison; Shen, John P.
US Patent Application 09/823674; 20020144083
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/20020144083

Hybrid Branch Prediction Scheme
patent-application, December 2007

Luick, David A.
US Patent Application 11/422906; 20070288732
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/20070288732

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
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/20090235237

Efficient and Self-Balancing Verification of Multi-Threaded Microprocessors
patent-application, January 2010

Hickerson, Bryan G.; Ludden, John M.
US Patent Application 12/169677; 20100011345
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/20100011345

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
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/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
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/20110047359

Universal Causality Graphs for Bug Detection in Concurrent Programs
patent-application, July 2011

Kahlon, Vincent; Wang, Chao
US Patent Application 12/907409; 20110167412
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/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
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/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
URL: https://image-ppubs.uspto.gov/dirsearch-public/print/downloadPdf/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
https://doi.org/10.1145/781498.781502

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
https://doi.org/10.1109/HPCA.2002.995698

Similar Records in DOE Patents and OSTI.GOV collections:

Verifying speculative multithreading in an application

Patent Felton, Mitchell D

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.
Full Text Available
Multithreading in vector processors

Patent Evangelinos, Constantinos; Kim, Changhoan; Nair, Ravi

In one embodiment, a system includes a processor having a vector processing mode and a multithreading mode. The processor is configured to operate on one thread per cycle in the multithreading mode. The processor includes a program counter register having a plurality of program counters, and the program counter register is vectorized. Each program counter in the program counter register represents a distinct corresponding thread of a plurality of threads. The processor is configured to execute the plurality of threads by activating the plurality of program counters in a round robin cycle.
Full Text Available
Software only intra-compute unit redundant multithreading for GPUs

Patent Lyashevsky, Alexander; Gurumurthi, Sudhanva; Sridharan, Vilas

A system, method and computer program product to execute a first and a second work-item, and compare the signature variable of the first work-item to the signature variable of the second work-item. The first and the second work-items are mapped to an identifier via software. This mapping ensures that the first and second work-items execute exactly the same data for exactly the same code without changes to the underlying hardware. By executing the first and second work-items independently, the underlying computation of the first and second work-item can be verified. Moreover, system performance is not substantially affected because the executionmore » « less
Full Text Available
Software only inter-compute unit redundant multithreading for GPUs

Patent Lyashevsky, Alexander; Gurumurthi, Sudhanva; Sridharan, Vilas

A system, method and computer program product to execute a first and a second work-group, and compare the signature variables of the first work-group to the signature variables of the second work-group via a synchronization mechanism. The first and the second work-group are mapped to an identifier via software. This mapping ensures that the first and second work-groups execute exactly the same data for exactly the same code without changes to the underlying hardware. By executing the first and second work-groups independently, the underlying computation of the first and second work-groups can be verified. Moreover, system performance is not substantiallymore » « less
Full Text Available
Bufferless communication for redundant multithreading using register permutation

Patent Lowell, Daniel I.; Gupta, Manish

Systems, apparatuses, and methods for implementing bufferless communication for redundant multithreading applications using register permutation are disclosed. In one embodiment, a system includes a parallel processing unit, a register file, and a scheduler. The scheduler is configured to cause execution of a plurality of threads to be performed in lockstep on the parallel processing unit. The plurality of threads include a first thread and a second thread executing on adjacent first and second lanes, respectively, of the parallel processing unit. The second thread is configured to perform a register permute operation from a first register location to a second registermore » « less
Full Text Available

Similar Records

Title: Verifying speculative multithreading in an application

Abstract

Citation Formats

Processor and method for performing a hardware test during instruction execution in a normal mode patent, March 2004

Simultaneous and redundantly threaded processor store instruction comparator patent, February 2005

Processor with speculative multithreading and hardware to support multithreading software patent, February 2007

Primitives to enhance thread-level speculation patent, February 2011

Integrated circuit using speculative execution patent, February 2011

Insertion of operation-and-indicate instructions for optimized SIMD code patent, June 2013

Data processing apparatus and method for providing fault tolerance when executing a sequence of data processing operations patent, July 2013

Compile method suitable for speculation mechanism patent-application, November 2001

Software-based speculative pre-computation and multithreading patent-application, October 2002

Hybrid Branch Prediction Scheme patent-application, December 2007

Value Predictable Variable Scoping for Speculative Automatic Parallelization with Transactional Memory patent-application, September 2009

Efficient and Self-Balancing Verification of Multi-Threaded Microprocessors patent-application, January 2010

In-Data Path Tracking of Floating Point Exceptions and Store-Based Exception Indication patent-application, February 2011

Insertion of Operation-and-Indicate Instructions for Optimized SIMD Code patent-application, February 2011

Universal Causality Graphs for Bug Detection in Concurrent Programs patent-application, July 2011

Method for Guarenteeing Program Correctness Using Fine-Grained Hardware Speculative Execution patent-application, August 2012

Test Method, Processing Device, Test Program Generation Method and Test Program Generator patent-application, June 2013

Compiler support for speculative multithreading architecture with probabilistic points-to analysis conference, January 2003

Thread-spawning schemes for speculative multithreading conference, January 2002

Processor and method for performing a hardware test during instruction execution in a normal mode
patent, March 2004

Simultaneous and redundantly threaded processor store instruction comparator
patent, February 2005

Processor with speculative multithreading and hardware to support multithreading software
patent, February 2007

Primitives to enhance thread-level speculation
patent, February 2011

Integrated circuit using speculative execution
patent, February 2011

Insertion of operation-and-indicate instructions for optimized SIMD code
patent, June 2013

Data processing apparatus and method for providing fault tolerance when executing a sequence of data processing operations
patent, July 2013

Compile method suitable for speculation mechanism
patent-application, November 2001

Software-based speculative pre-computation and multithreading
patent-application, October 2002

Hybrid Branch Prediction Scheme
patent-application, December 2007

Value Predictable Variable Scoping for Speculative Automatic Parallelization with Transactional Memory
patent-application, September 2009

Efficient and Self-Balancing Verification of Multi-Threaded Microprocessors
patent-application, January 2010

In-Data Path Tracking of Floating Point Exceptions and Store-Based Exception Indication
patent-application, February 2011

Insertion of Operation-and-Indicate Instructions for Optimized SIMD Code
patent-application, February 2011

Universal Causality Graphs for Bug Detection in Concurrent Programs
patent-application, July 2011

Method for Guarenteeing Program Correctness Using Fine-Grained Hardware Speculative Execution
patent-application, August 2012

Test Method, Processing Device, Test Program Generation Method and Test Program Generator
patent-application, June 2013

Compiler support for speculative multithreading architecture with probabilistic points-to analysis
conference, January 2003

Thread-spawning schemes for speculative multithreading
conference, January 2002