Patent ID: 8694974

Claim:
A method comprising steps of executing a compiled program having a loading atomic section including a non-advanced-load instruction stored on a non-transitory computer-readable storage media, the steps comprising: executing an advanced-load instruction that, accesses a shared memory address and loads a value therefrom, said advanced-load instruction corresponding to said non-advanced-load instruction; executing a load-checking atomic section including a check instruction that performs the steps of: checks whether or not said advanced-load instruction loaded a correct value when said advanced-load instruction was executed by determining whether the shared memory address accessed by the advanced-load instruction, when it was executed, was valid or invalid, wherein the shared memory address is represented by a respective entry in an advanced-load address table, and in the event the shared memory address is determined to have been invalid, calling for said non-advanced-load instruction to be executed, said load-checking atomic section following said advanced-load instruction in said compiled program, said loading atomic section not including said check instruction.