Proving latency associated with references to a data store
First Claim
1. One or more non-transitory computer-readable storage media storing instructions, the instructions comprising:
- one or more instructions, that when executed by one or more processors, of a group of processors included in a distributed computing environment, cause at least one of the one or more processors to;
receive information related to a condition associated with accessing a data store during an execution of a model,the condition including one or more of;
first data being written to the data store prior to second data being read from the data store,third data being read from the data store prior to fourth data being written to the data store, orfifth data being written to the data store after sixth data is written to the data store;
perform an approximation of a functionality in the model;
determine whether the condition is satisfied based on performing the approximation of the functionality; and
generate a result,the result indicating whether the condition is satisfied.
1 Assignment
0 Petitions
Accused Products
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.
-
Citations
20 Claims
-
1. One or more non-transitory computer-readable storage media storing instructions, the instructions comprising:
one or more instructions, that when executed by one or more processors, of a group of processors included in a distributed computing environment, cause at least one of the one or more processors to; receive information related to a condition associated with accessing a data store during an execution of a model, the condition including one or more of; first data being written to the data store prior to second data being read from the data store, third data being read from the data store prior to fourth data being written to the data store, or fifth data being written to the data store after sixth data is written to the data store; perform an approximation of a functionality in the model; determine whether the condition is satisfied based on performing the approximation of the functionality; and generate a result, the result indicating whether the condition is satisfied. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
8. A device comprising:
one or more processors to; receive information related to a condition associated with accessing a data store during an execution of a model, the condition including one or more of; first data being written to the data store prior to second data being read from the data store, third data being read from the data store prior to fourth data being written to the data store, or fifth data being written to the data store after sixth data is written to the data store, and the model, when executed, simulating a behavior of a system; perform an approximation of a functionality in the model; determine whether the condition is satisfied based on performing the approximation of the functionality; and generate a result, the result indicating whether the condition is satisfied. - View Dependent Claims (9, 10, 11, 12, 13, 14)
-
15. A method comprising:
-
obtaining information related to a condition associated with accessing a data store during an execution of a model, the obtaining being performed by a computing device, and the condition including one or more of; first data being written to the data store prior to second data being read from the data store, third data being read from the data store prior to fourth data being written to the data store, or fifth data being written to the data store after sixth data is written to the data store; performing an operation in the model, the performing the operation being performed by the computing device; determining whether the condition is satisfied based on performing the operation in the model, the determining whether the condition is satisfied being performed by the computing device; and generating a result, the result indicating whether the condition is satisfied, and the generating being performed by the computing device. - View Dependent Claims (16, 17, 18, 19, 20)
-
Specification