Proving latency associated with references to a data store

• US 8,762,311 B1
• Filed: 10/01/2012
• Issued: 06/24/2014
• Est. Priority Date: 03/04/2009
• Status: Active Grant

• Current Assignee: The MathWorks, Inc.
• Original Assignee: The MathWorks, Inc.
• Inventors: Englehart, Matthew, Mosterman, Peiter J.
• Primary Examiner(s): Gaffin, Jeffrey A
• Assistant Examiner(s): Smith, Paulinho E
• Application Number:
  US13/632,509
• Time in Patent Office: 631 Days
• Field of Search: None
• US Class Current: 706/45
• CPC Class Codes: G06F 30/00 Computer-aided design [CAD]
• CPC Class Codes: G06F 8/41 Compilation
• CPC Class Codes: G06N 5/022 Knowledge engineering; Knowledge acquisition

Abstract

In an embodiment, a technique for analyzing a model, either statically or dynamically, to check the model for one or more specified patterns with respect to accessing a data store associated with the model. The patterns may include, for example, writing to a data store prior to reading the data store, reading the data store prior to writing the data store, writing to the data store multiple times prior to reading the data store, reading the data store multiple times before writing the data store, etc. The model may be an executable graphical model that is generated in a graphical modeling environment. A result may be generated based on the analyzing. The result may be output.

Claims

1. One or more non-transitory computer-readable storage media storing instructions, the instructions comprising:

one or more instructions, executable by at least one processor, to;

receive information related to a condition associated with a model accessing a data store during an execution of the model,

the model, when executed, simulating a behavior of a system;

analyze, when the model accesses the data store, the model;

determine, based on analyzing the model, whether the condition associated with the model accessing the data store is satisfied; and

generate a result,

the result indicating whether the condition is satisfied.

2. The one or more non-transitory computer-readable media of claim 1, where the one or more instructions to determine whether the condition associated with the model is satisfied include:

one or more instructions, executable by the at least one processor, to;

determine whether the model accesses the data store to perform a first operation prior to accessing the data store to perform a second operation, and

determine whether the condition associated with the model accessing the data store is satisfied based on whether the model accesses the data store to perform the first operation prior to accessing the data store to perform the second operation.

3. The one or more non-transitory computer-readable media of claim 2, where the one or more instructions to determine whether the condition associated with the model is satisfied further include:

one or more instructions to determine that the condition is satisfied when the model accesses the data store to perform the first operation prior to accessing the data store to perform the second operation.

4. The one or more computer-readable media of claim 1, where the one or more instructions to determine whether the condition associated with the model is satisfied include:

one or more instructions, executable by the at least one processor, to;

determine a quantity of times the model accesses the data store to perform a particular type of operation;

determine a pattern associated with the model accessing the data store to perform the particular type of operation the quantity of times;

determine whether the pattern associated with the model accessing the data store to perform the particular type of operation the quantity of times corresponds to a particular pattern; and

determine whether the condition is satisfied based on;

the quantity of times the model accesses the data store, and

determining whether the pattern associated with the model accessing the data store to perform the particular type of operation the quantity of times corresponds to the particular pattern.

5. The one or more computer-readable media of claim 1, where the one or more instructions to determine whether the condition associated with the model is satisfied include:

one or more instructions, executable by the at least one processor, to;

determine whether, during the execution of the model, the model accessing the data store corresponds to a particular pattern of a plurality of patterns; and

determine that the condition is satisfied when the model accessing the data store corresponds to the particular pattern.

6. The one or more computer-readable media of claim 1, where the one or more instructions to determine whether the condition associated with the model is satisfied include:

one or more instructions, executable by the at least one processor to;

determine whether the model accesses the data store to one of;

perform a write operation prior to accessing the data store to perform a read operation,

read first data prior to accessing the data store to write second data, or

perform a nominal write operation prior to accessing the data store to perform a conditional write operation; and

determine that the condition is satisfied when one of;

the model accesses the data store to perform the write operation prior to accessing the data store to perform the read operation,

the model accesses the data store to read the first data prior to accessing the data store to write the second data, or

the model accesses the data store to perform the nominal write operation prior to accessing the data store to perform the conditional write operation.

7. The one or more computer-readable storage media of claim 1, where the one or more instructions to determine whether the condition associated with the model is satisfied include:

one or more instructions, executable by the at least one processor to;

determine a quantity of times that the model accesses the data store to write first data to the data store prior to the model accessing the data store to read second data from the data store, and

determine whether the condition is satisfied based on the quantity of times that the model accesses the data store to write the first data to the data store prior to the model accessing the data store to read the second data from the data store.

8. A device comprising:

one or more processors to;

receive information related to a condition associated with a model accessing a data store during an execution of the model,

the model, when executed, simulating a behavior of a system,

analyze, when the model accesses the data store, the model during the execution of the model,

determine, based on analyzing the model, whether the condition associated with the model accessing the data store is satisfied, and

generate a result,

the result indicating whether the condition is satisfied.

9. The device of claim 8, where, when analyzing the model, the processor is further to:

determine whether the model accesses the data store to perform a first operation prior to accessing the data store to perform a second operation.

10. The device of claim 9, where, when determining whether the condition is satisfied, the processor is further to:

determine that the condition is satisfied when the model accesses the data store to perform the first operation prior to accessing the data store to perform the second operation.

11. The device of claim 8, where, when analyzing the model, the processor is further to:

determine a quantity of times the data store is accessed to perform a particular type of operation, and

where, when determining whether the condition is satisfied, the processor is further to;

determine whether the condition is satisfied based on the quantity of times the data store is accessed to perform the particular type of operation.

12. The device of claim 8, where, when analyzing the model, the processor is further to:

determine a pattern associated with the data store being accessed to perform one or more operations, and

where, when determining whether the condition is satisfied, the processor is further to;

determine whether the pattern corresponds to a particular pattern associated with the data store being accessed to perform the one or more operations.

13. The device of claim 8, where, when determining whether the condition is satisfied, the processor is further to:

determine whether the model accesses the data store to one of;

perform a write operation prior to accessing the data store to perform a read operation,

read first data prior to accessing the data store to write second data, or

perform a nominal write operation prior to accessing the data store to perform a conditional write operation, and

determine that the condition is satisfied when one of;

the model accesses the data store to perform the write operation prior to accessing the data store to perform the read operation,

the model accesses the data store to read the first data prior to accessing the data store to write the second data, or

the model accesses the data store to perform the nominal write operation prior to accessing the data store to perform the conditional write operation.

14. The device of claim 8, where, when analyzing the model, the processor is further to:

determine a quantity of times that the model accesses the data store to write first data to the data store prior to the model accessing the data store to read second data from the data store, and

where, when determining whether the condition is satisfied, the processor is further to;

determine whether the condition is satisfied based on the quantity of times that the model accesses the data store to write the first data to the data store prior to the model accessing the data store to read the second data from the data store.

15. A method comprising:

receiving information identifying one or more conditions associated with a model accessing a data store during an execution of the model,

receiving the information identifying the one or more conditions being performed by a device;

analyzing, when the model accesses the data store during the execution of the model, the model to determine whether the one or more conditions associated with the model accessing the data store are satisfied,

analyzing the model being performed by the device;

generating a result based on analyzing the model,

the result indicating whether the one or more conditions are satisfied, and

generating the result being performed by the device.

16. The method of claim 15, where analyzing the model includes:

determining whether the model accesses the data store to perform a first operation prior to accessing the data store to perform a second operation.

17. The method of claim 16, where analyzing the model further includes:

determining that the condition is satisfied when the model accesses the data store to perform the second operation prior to accessing the data store to perform the first operation.

18. The method of claim 15, where analyzing the model includes:

determining that the model accesses the data store to perform a particular type of operation a particular quantity of times; and

determining that the condition is satisfied when the model accesses the data store to perform the particular type of operation the particular quantity of times.

19. The method of claim 15, where analyzing the model includes:

determining, during the execution of the model, a pattern associated with the model accessing the data store; and

determining whether the determined pattern corresponds to a particular pattern associated with the model accessing the data store.

20. The method of claim 15, where analyzing the model includes:

determining that the condition is satisfied when, during the execution of the model, the model accesses the data store to one of;

perform a write operation prior to accessing the data store to perform a read operation,

read first data prior to accessing the data store to write second data, or

perform a nominal write operation prior to accessing the data store to perform a conditional write operation, and

determining that the condition is satisfied when one of;

the model accesses the data store to perform the write operation prior to accessing the data store to perform the read operation,

the model accesses the data store to read the first data prior to accessing the data store to write the second data, or

the model accesses the data store to perform the nominal write operation prior to accessing the data store to perform the conditional write operation.