Patent ID: 9292294
Filing Date: 2016-03-22
CPC Classification: G06F

Claim Text:
1. A method comprising: maintaining, in a data structure, a previous state of a memory address, wherein the previous state represents whether a last instruction, which was associated with the memory address and which has been executed, was one of a load instruction and a store instruction and whether the last instruction was accompanied by one of a set indicator and a check indicator; identifying a current state of the memory address, wherein the current state represents whether a current instruction, which is associated with the memory and which has not been executed, is one of a load instruction and a store instruction, and whether the current instruction is accompanied by one of a set indicator and a check indicator; comparing the current state with the previous state to detect an aliasing of the memory address; and signaling a data dependency relationship violation if the aliasing of the memory address is detected.