×

Proving latency associated with references to a data store

  • US 9,710,750 B1
  • Filed: 05/15/2014
  • Issued: 07/18/2017
  • Est. Priority Date: 03/04/2009
  • Status: Expired due to Fees
First Claim
Patent Images

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.

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