公开(公告)号：US09934124B2

公开(公告)日：2018-04-03

申请号：US14732028

申请日：2015-06-05

Applicant: Intel Corporation

Inventor： Furat F. Afram ,  Jeffrey J. Cook ,  Paul Caprioli

IPC: G06F11/36

CPC classification number: G06F11/3624 ,  G06F11/3636

Abstract: In an embodiment, a processor includes execution logic to execute binary translated (BT) code that is translated from native architecture (NA) code. The processor also includes processor trace (PT) logic to output trace information responsive to execution of a BT direct branch instruction in the BT code when the NA code includes an NA direct branch instruction that corresponds to the BT direct branch instruction. The trace information is to include an indication of an NA outcome associated with an execution of the NA direct branch instruction. The trace information is to be based on a BT outcome associated with the execution of the BT direct branch instruction. Other embodiments are described and claimed.

公开(公告)号：US20160283712A1

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

申请号：US14671194

申请日：2015-03-27

Applicant: INTEL CORPORATION

Inventor： Abhay S. Kanhere ,  Paul Caprioli

IPC: G06F21/54

CPC classification number: G06F21/54 ,  G06F9/45516 ,  G06F9/4856 ,  G06F9/5088 ,  G06F21/12 ,  G06F21/51 ,  G06F21/52 ,  G06F21/53 ,  G06F21/566

Abstract: A data processing system (DPS) supports control-flow integrity (CFI). The DPS comprises a processing element with a CFI enforcement mechanism that supports one or more CFI instructions. The DPS also comprises at least one machine-accessible medium responsive to the processing element. Managed code in the machine-accessible medium is configured (a) to execute in a managed runtime environment (MRE) in the data processing system, and (b) to transfer control out from the MRE to unmanaged code, in response to a transfer control statement in the managed code. The machine-accessible medium also comprises a binary translator which, when executed, converts unmanaged code in the data processing system into hardened unmanaged code (HUC) by including CFI features in the HUC. The CFI features comprise one or more CFI instructions to utilize the CFI enforcement mechanism of the processing element for transfers of control initiated by the HUC. Other embodiments are described and claimed.

Abstract translation: 数据处理系统（DPS）支持控制流完整性（CFI）。 DPS包括具有支持一个或多个CFI指令的CFI执行机制的处理元件。 DPS还包括响应于处理元件的至少一个机器可访问介质。 机器可访问介质中的托管代码被配置为（a）在数据处理系统中的受管理运行时环境（MRE）中执行，以及（b）响应于传送控制将控制从MRE传送到非托管代码 托管代码中的语句。 机器可访问介质还包括二进制翻译器，当执行时，通过在HUC中包括CFI特征将数据处理系统中的非托管代码转换为硬化的非托管代码（HUC）。 CFI特征包括一个或多个CFI指令，以利用处理元件的CFI执行机制来传送由HUC发起的控制。 描述和要求保护其他实施例。

公开(公告)号：US09292294B2

公开(公告)日：2016-03-22

申请号：US13628634

申请日：2012-09-27

Applicant: Intel Corporation

Inventor： Muawya M. Al-Otoom ,  Paul Caprioli ,  Ryan Carlson ,  Ho-Seop Kim ,  Omar Shaikh

IPC: G06F9/312 ,  G06F9/38 ,  G06F9/44 ,  G06F9/30 ,  G06F7/00 ,  G06F17/30

CPC classification number: G06F9/3834 ,  G06F7/00 ,  G06F9/30043 ,  G06F9/3842 ,  G06F9/44 ,  G06F17/30

Abstract: Method and apparatus to efficiently detect violations of data dependency relationships. A memory address associated with a computer instruction may be obtained. A current state of the memory address may be identified. The current state may include whether the memory address is associated with a read or a store instruction, and whether the memory address is associated with a set or a check. A previously accumulated state associated with the memory address may be retrieved from a data structure. The previously accumulated state may include whether the memory address was previously associated with a read or a store instruction, and whether the memory address was previously associated with a set or a check. If a transition from the previously accumulated state to the current state is invalid, a failure condition may be signaled.

Abstract translation: 有效检测违反数据依赖关系的方法和装置。 可以获得与计算机指令相关联的存储器地址。 可以识别存储器地址的当前状态。 当前状态可以包括存储器地址是否与读取或存储指令相关联，以及存储器地址是否与集合或检查相关联。 可以从数据结构检索与存储器地址相关联的先前累积状态。 先前累积的状态可以包括存储器地址是否先前与读取或存储指令相关联，以及存储器地址是否先前与集合或检查相关联。 如果从先前累积状态到当前状态的转换无效，则可以发信号通知故障状态。