公开(公告)号：US09448933B2

公开(公告)日：2016-09-20

申请号：US14013252

申请日：2013-08-29

Applicant: Advanced Micro Devices, Inc.

Inventor： Sudhanva Gurumurthi ,  Vilas Sridharan

IPC: G06F11/14 ,  G06F12/08

CPC classification number: G06F12/0811

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.

Abstract translation: 在所描述的实施例中，处理器核心（例如，GPU核心）从计算设备中的另一个实体接收要在事务中执行的程序代码部分。 处理器核心将程序代码段发送到处理器核心中的一个或多个计算单元，以在第一事务中执行并在第二事务中同时执行，从而创建“冗余事务对”。当第一事务和第二事务 处理器核心将第一事务的读取集合与第二事务的读取集进行比较，并将第一事务的写入集合与第二事务的写入集进行比较。 当读取集合和写入集合匹配并且没有发生事务错误条件时，处理器核心允许来自第一事务的结果被提交到计算设备的架构状态。

公开(公告)号：US09026847B2

公开(公告)日：2015-05-05

申请号：US13724968

申请日：2012-12-21

Applicant: Advanced Micro Devices, Inc.

Inventor： Vilas Sridharan ,  Sudhanva Gurumurthi

IPC: G06F11/00 ,  G06F11/07

CPC classification number: G06F11/0778 ,  G06F11/1482

Abstract: A system and method for verifying computation output using computer hardware are provided. Instances of computation are generated and processed on hardware-based processors. As instances of computation are processed, each instance of computation receives a load accessible to other instances of computation. Instances of output are generated by processing the instances of computation. The instances of output are verified against each other in a hardware based processor to ensure accuracy of the output.

Abstract translation: 提供了一种使用计算机硬件验证计算输出的系统和方法。 在基于硬件的处理器上生成和处理计算实例。 当计算的实例被处理时，每个计算实例都接收到其他计算实例可访问的负载。 通过处理计算实例生成输出实例。 输出的实例在基于硬件的处理器中相互验证，以确保输出的准确性。

公开(公告)号：US20140373028A1

公开(公告)日：2014-12-18

申请号：US13920524

申请日：2013-06-18

Applicant: Advanced Micro Devices, Inc.

Inventor： Alexander Lyashevsky ,  Sudhanva Gurumurthi ,  Vilas Sridharan

IPC: G06F9/52

CPC classification number: G06F11/00 ,  G06F9/3851 ,  G06F9/52 ,  G06F11/1608 ,  G06F11/1633 ,  G06F11/1637 ,  G06F11/1654 ,  G06F11/1687 ,  G06F11/202 ,  G06F11/2038 ,  G06F11/2041 ,  G06F11/2048 ,  G06F2201/825 ,  G06F2201/83

Abstract: 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 substantially affected because the execution results of the first and second work-groups are compared only at specified comparison points.

Abstract translation: 一种用于执行第一和第二工作组的系统，方法和计算机程序产品，并且经由同步机制将第一工作组的签名变量与第二工作组的签名变量进行比较。 第一个和第二个工作组通过软件映射到一个标识符。 此映射确保第一个和第二个工作组对完全相同的代码执行完全相同的数据，而不会更改底层硬件。 通过独立地执行第一和第二工作组，可以验证第一和第二工作组的基础计算。 此外，由于第一和第二工作组的执行结果仅在指定的比较点进行比较，系统性能基本上不受影响。