Invention Application
- Patent Title: Using Redundant Transactions to Verify the Correctness of Program Code Execution
- Patent Title (中): 使用冗余事务来验证程序代码执行的正确性
-
Application No.: US14013252Application Date: 2013-08-29
-
Publication No.: US20150067278A1Publication Date: 2015-03-05
- 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
- Main IPC: G06F3/06
- IPC: G06F3/06

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
- US09448933B2 Using redundant transactions to verify the correctness of program code execution Public/Granted day:2016-09-20
Information query