Patent ID: 6112319
Filing Date: 2000-08-29
Classification: G06F

Abstract:
A method in a computer system for verifying accuracy of stored data, the computer system having a memory with a plurality of locations for storing data values, the computer system such that a request to write a data value to a memory location may be performed before an earlier request to read a data value stored in the memory location, the method comprising:detecting a write request to write a first data value to a memory location;modifying a data structure that represents possible data values stored in the memory location to indicate that the first data value is the only possible stored data value;after detecting the write request, detecting a read request to read the data value stored in the memory location;modifying the data structure to reflect the read request;after detecting the read request and before receiving a response to the read request, detecting a plurality of write requests to write data values to the memory location;modifying the data structure to indicate that the possible stored data values include the first data value and the data values of the detected plurality of write requests;after detecting the plurality of write requests, receiving in response to the read request the data value stored in the memory location; andafter receiving the stored data value,comparing the received stored data value to the possible stored data values of the data structure;when the received stored data value is a possible stored data value, indicating that the received stored data value is accurate;when the received stored data value is not a possible stored data value, indicating that the received stored data value is not accurate; andmodifying the data structure to indicate that the only possible stored data value is a data value of the last detected write request.