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