Patent Document ID: 20090328045
Application ID: 12147079
Patent Flag: 0

Claim One:
1. One or more computer-readable media storing computer-executable instructions that, when executed on one or more processors, perform acts comprising: receiving a memory trace comprising a plurality of memory access events, each of the plurality of memory access events representing the execution of a memory access instruction by a computer having a sequentially consistent memory model, wherein the plurality of memory access events are stored in a first order, the first order corresponding to an order in which the represented memory access instructions were executed; determining whether the memory access instructions could, when executed on a computer having a relaxed memory model, be executed in a second order, the second order being different from the first order; when the memory access instructions could be executed in the second order, outputting an indication that the memory access instructions are not relaxed memory model safe; and when the memory access instructions could not be executed in an order different than the first order, outputting an indication that the memory access instructions are relaxed memory model safe.