Invention Grant
US09448933B2 Using redundant transactions to verify the correctness of program code execution 有权
使用冗余事务来验证程序代码执行的正确性

Using redundant transactions to verify the correctness of program code execution
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.
Information query
Patent Agency Ranking
0/0