Proving latency associated with references to a data store
First Claim
1. One or more non-transitory computer-readable storage media storing instructions, the non-transitory computer-readable storage media comprising:
- one or more instructions, executable by at least one processor to;
receive one or more patterns that are associated with accessing a data store during an execution of a model,analyze the model to identify the one or more patterns associated with accessing the data store,generate a result based on analyzing the model, the result indicating the identified one or more patterns, andoutput the result.
1 Assignment
0 Petitions
Accused Products
Abstract
A technique for analyzing a model, either statically or dynamically, checks 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 the data store prior to reading the data store, reading the data store prior to writing to the data store, writing to the data store multiple times prior to reading the data store, reading the data store multiple times before writing to 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 analyzing the model and the result may be output.
8 Citations
24 Claims
-
1. One or more non-transitory computer-readable storage media storing instructions, the non-transitory computer-readable storage media comprising:
one or more instructions, executable by at least one processor to; receive one or more patterns that are associated with accessing a data store during an execution of a model, analyze the model to identify the one or more patterns associated with accessing the data store, generate a result based on analyzing the model, the result indicating the identified one or more patterns, and output the result. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
12. A method comprising:
-
analyzing a model, in a modeling environment, to identify whether data is written to a data store memory, associated with the model, by a set of one or more writers, before other data, previously written by the set of one or more writers, is read from the data store memory by a set of one or more readers, the analyzing being performed by one or more processors of a first device; generating a result indicating whether the data is written to the data store memory before the other data is read from the data store memory based on analyzing the model, the generating being performed by the one or more processors; and outputting the result to a second device, the outputting being performed by the one or more processors. - View Dependent Claims (13, 14, 15, 16)
-
-
17. A device comprising:
one or more processors to; receive one or more patterns associated with accessing a data store memory during execution of a model, analyze the model, in a modeling environment, to determine whether first data is written to the data store memory by a set of one or more writers before second data is read from the data store memory by a set of one or more readers, generate a result based on analyzing the model, the result indicating whether the first data is written to the data store memory by the set of writers before the second data is read from the data store memory by the second set of components, and output the result. - View Dependent Claims (18, 19, 20)
-
21. A system comprising:
processing logic to; receive a pattern the pattern being associated with accessing a data store associated with a model, analyze the model to identify whether the model contains the received pattern, generate a result based on analyzing the model, the result indicating whether the received pattern exists in the model, and output the generated result.
-
22. One or more non-transitory computer-readable storage media storing instructions, the non-transitory computer-readable storage media comprising:
one or more instructions, executable by at least one processor to; receive a request to read a data store in a model, the request being received from a reader associated with the model, identify whether an entity associated with the data store indicates that the data store has been written by one or more writers associated with the model, allow the data store to be read by the reader when the entity indicates that the data store has been written by at least one, but not more than one writer associated with the model, and generate a result, when the entity does not indicate that the data store has been written by the at least one, but not more than one, writer, the result indicating at least one of; the data store has not been written prior to the read request, or the data store has been written more than once prior to the read request. - View Dependent Claims (23, 24)
Specification