×

Checking for access problems with data stores

  • US 8,601,457 B1
  • Filed: 03/13/2009
  • Issued: 12/03/2013
  • Est. Priority Date: 01/31/2008
  • Status: Active Grant
First Claim
Patent Images

1. One or more non-transitory computer-readable storage media comprising:

  • one or more instructions that, when executed by processing logic, cause the processing logic to;

    generate an execution control graph that represents an execution of a model, the execution control graph including;

    a plurality of nodes,each node, of the plurality of nodes, corresponding to one or more blocks of the model, anda plurality of edges,each edge, of the plurality of edges, extending between two of the plurality of nodes to indicate an execution relationship between the two of the plurality of nodes;

    analyze the plurality of edges and the plurality of nodes in the execution control graph;

    determine, based on analyzing the plurality of edges and the plurality of nodes, an existence of a particular pattern associated with accessing a data store during the execution of the model,the one or more instruction that, when executed by the processing logic, cause the processing logic to determine the existence of the particular pattern further causing the processing logic to;

    generate an expression based on the execution control graph and a condition,the condition representing the particular pattern;

    determine, based on the generated expression, whether the condition is satisfied; and

    determine the existence of the particular pattern based on determining whether the condition is satisfied,where the condition is satisfied when at least one of;



    the data store is accessed to read first data from the data store prior to the data store being accessed to write second data to the data store, or 

    the data store is accessed to write the second data to the data store prior to the data store being accessed to read the first data from the data store;

    generate a result based on determining the existence of the particular pattern,the generated result including information identifying the particular pattern associated with accessing the data store; and

    output the result.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×