The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Mar. 22, 2016

Filed:

Sep. 27, 2012
Applicant:

Intel Corporation, Santa Clara, CA (US);

Inventors:

Muawya M. Al-Otoom, Beaverton, OR (US);

Paul Caprioli, Hillsboro, OR (US);

Ryan Carlson, Hillsboro, OR (US);

Ho-Seop Kim, Portland, OR (US);

Omar Shaikh, Portland, OR (US);

Assignee:

Intel Corporation, Santa Clara, CA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/312 (2006.01); G06F 9/38 (2006.01); G06F 9/44 (2006.01); G06F 9/30 (2006.01); G06F 7/00 (2006.01); G06F 17/30 (2006.01);
U.S. Cl.
CPC ...
G06F 9/3834 (2013.01); G06F 9/30043 (2013.01); G06F 9/3842 (2013.01); G06F 9/44 (2013.01); G06F 7/00 (2013.01); G06F 17/30 (2013.01);
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.


Find Patent Forward Citations

Loading…