Invention Grant
- Patent Title: Using redundant transactions to verify the correctness of program code execution
- Patent Title (中): 使用冗余事务来验证程序代码执行的正确性
-
Application No.: US14013252Application Date: 2013-08-29
-
Publication No.: US09448933B2Publication Date: 2016-09-20
- Inventor: Sudhanva Gurumurthi , Vilas Sridharan
- Applicant: Advanced Micro Devices, Inc.
- Applicant Address: US CA Sunnyvale
- Assignee: ADVANCED MICRO DEVICES, INC.
- Current Assignee: ADVANCED MICRO DEVICES, INC.
- Current Assignee Address: US CA Sunnyvale
- Agency: Park, Vaughan, Fleming & Dowler LLP
- Main IPC: G06F11/14
- IPC: G06F11/14 ; G06F12/08

Abstract:
In the described embodiments, a processor core (e.g., a GPU core) receives a section of program code to be executed in a transaction from another entity in a computing device. The processor core sends the section of program code to one or more compute units in the processor core to be executed in a first transaction and concurrently executed in a second transaction, thereby creating a “redundant transaction pair.” When the first transaction and the second transaction are completed, the processor core compares a read-set of the first transaction to a read-set of the second transaction and compares a write-set of the first transaction to a write-set of the second transaction. When the read-sets and the write-sets match and no transactional error condition has occurred, the processor core allows results from the first transaction to be committed to an architectural state of the computing device.
Public/Granted literature
- US20150067278A1 Using Redundant Transactions to Verify the Correctness of Program Code Execution Public/Granted day:2015-03-05
Information query