1. Field of the Invention
The present invention relates to techniques for handling errors in computer systems. More specifically, the present invention relates to a method and an apparatus for classifying memory errors in a computer system.
2. Related Art
As computer memories grow increasingly larger, and individual memory cells become progressively smaller, it is becoming considerably more likely for errors to occur in computer memories due to natural phenomenon such as cosmic rays. Furthermore, as computer systems continue to increase in speed, data must be transferred at faster rates between processor and memory. This creates yet another source for data errors because faster data rates increases the likelihood of errors while transferring data between processor and memory.
Computer systems typically use error correcting codes to detect and correct memory errors. This is usually involves storing error-correcting code (ECC) bits along with each data word in memory, and then transferring the ECC bits along with a data word when the data word is transferred between main memory and the processor (or associated cache memory). Commonly used error-correcting codes typically support double-error detection and single-error correction for each data word. Hence, computer systems are generally able to detect double-bit errors and correct single-bit errors in a data word retrieved from main memory.
Some computer systems go one step further and provide mechanisms to determine the cause of a memory error. For example, if a correctable error is encountered while reading a data word from main memory, the computer system can read the data word a second time to determine the cause of the memory error. If the error does not occur during the second read, the system can determine that the error is an “intermittent error,” which can be caused, for example, by transient noise on the data lines between the processor and main memory.
On the other hand, if the second read also encounters an error, the computer system can use its ECC circuitry to correct the data word and write it to main memory. Then, to determine the cause of the error, the computer system can read the data word for a third time. If the third read also encounters the error, the system can determine that the error is a “sticky error,” which, for example, is caused by a “stuck” bit in the data word in main memory. On the other hand, if the third read returns the corrected data word, the system can determine that the error was a “persistent error,” which could have been caused by a change in the state of the data word in main memory.
Unfortunately, the above-described mechanisms to determine the cause of a memory error can become very complicated in the presence of cache memories. Note that, a cache memory mediates access to the main memory. However, in doing so, a cache memory interferes with attempts to retry an errant memory access, and can thereby interfere with the process of determining the cause of a memory error.
For example, in order to cause the computer system to perform a second read operation to a memory location, it is first necessary to flush the cache line associated with the memory location from the cache, so that the read operation will actually force a cache line to be retrieved from main memory. However, if the cache line is dirty when this flush takes place, the flush will cause the cache line to be stored back to memory, which may correct the error. Hence, the subsequent second read from the memory may not encounter the error. This can result in the error being diagnosed as an intermittent error, even though the error was actually a persistent error. (This type of mis-diagnosed error is referred to as a “false intermittent” error.)
Furthermore, existing techniques cannot differentiate between certain types of memory errors. For example a “leaky cell” condition can arise in which a memory cell does not hold charge. In this case, the above-described mechanism will incorrectly determine that the error is a persistent error, instead of a leaky cell. Furthermore, errors can arise because a specific processor in a multiprocessor system is a “bad reader” or a “bad writer.” Neither of these types of errors can be diagnosed with existing techniques.
Obviously, effective remedial action can only be taken if the cause of the memory error can be determined accurately. For example, unless the memory error is accurately diagnosed, it is impossible to ascertain whether a part needs to be replaced, and if so, which part.
Therefore, what is needed is a method and an apparatus that accurately determines the cause of a memory error within a computer system without the above-described problems.
One embodiment of the present invention provides a system that determines the cause of a correctable memory error. First, the system detects a correctable error during an access to a memory location in a main memory by a first processor, wherein the correctable error is detected by error detection and correction circuitry. Next, the system reads tag bits for a cache line associated with the memory location, wherein the tag bits contain address information for the cache line, as well as state information indicating a coherency protocol state for the cache line. The system then tests the memory location by causing the first processor to perform read and write operations to the memory location to produce test results. Finally, the system uses the test results and the tag bits to determine the cause of the correctable error, if possible.
In a variation on this embodiment, testing the memory location involves: clearing an asynchronous fault status register (AFSR) and an asynchronous fault address register (AFAR), which contain information about the correctable error; flushing the cache line from the cache; reading the memory location again, thereby causing the cache line to be pulled back into the cache from main memory; reading and clearing the AFSR and AFAR registers; allowing the error detection and correction circuitry to correct the correctable error; and flushing the cache line (with the error corrected) back to main memory.
In a further variation, reading the memory location again involves performing an atomic compare-and-swap (CAS) operation to ensure that the cache line exists in the modified state in the cache.
In a further variation, if reading the memory location again does not cause a correctable error, the system determines the cause of the correctable error by examining the previously read tag bits. The system determines that the correctable error is an intermittent error if, (1) address bits from the tag match corresponding bits of the address for the correctable error read from the AFAR, and (2) if the state bits from the tag indicate that cache line was in either the shared or exclusive states in cache at the time the tag bits were read.
In a further variation, if reading the memory location again causes a correctable error, the system reads the memory location yet again and reads and clears the AFSR and AFAR registers.
In a further variation, if reading the memory yet again does not cause a correctable error, the system reads the memory location after a pre-specified time interval. If reading the memory location after the pre-specified time interval causes a correctable error, the system determines that the memory location is leaky. Otherwise, the system determines that the correctable error is a persistent error.
In a variation on this embodiment, if reading the memory location yet again causes a correctable error, the system causes a second processor to classify the correctable error. If the second processor does not detect an error, the system determines that the first processor is a bad reader. If the second processor detects an error that is not a sticky error, the system determines that the first processor is a bad writer. Otherwise, if the second processor detects a sticky error, the system determines that a least one bit in the memory location is stuck.
Table 1 presents a table for classifying memory errors in accordance with an embodiment of the present invention.
The following description is presented to enable any person skilled in the art to make and use the invention, and is provided in the context of a particular application and its requirements. Various modifications to the disclosed embodiments will be readily apparent to those skilled in the art, and the general principles defined herein may be applied to other embodiments and applications without departing from the spirit and scope of the present invention. Thus, the present invention is not limited to the embodiments shown, but is to be accorded the widest scope consistent with the principles and features disclosed herein.
The data structures and code described in this detailed description are typically stored on a computer-readable storage medium, which may be any device or medium that can store code and/or data for use by a computer system. This includes, but is not limited to, magnetic and optical storage devices such as disk drives, magnetic tape, CDs (compact discs) and DVDs (digital versatile discs or digital video discs).
Computer System
As illustrated in
Cache lines 124-126 can be transferred between main memory 122 and caches 104 and 114 through a communication network 120, which supports a cache-coherence protocol to ensure that copies of cache lines in caches 104 and 114 are kept coherent with the corresponding data for the cache lines in main memory 122. For example, in one embodiment of the present invention, computer system 100 supports a variation of a MOESI (Modified-Owned-Exclusive-Shared-Invalid) cache coherence-protocol.
Computer system 100 also provides support for classifying memory errors, as will be described in more detail below with reference to
Data Word
Cache Line Tag
Process of Diagnosing the Cause of a Memory Error
In response to this correctable error, the system performs a number of actions. First, the system turns off trapping for correctable errors (CEs) (step 404), and reads and clears the AFSR/AFAR registers (step 406). Next, the system reads the tag from the cache line associated with the memory location (step 408).
The system then flushes the cache line from the cache (step 410). This ensures that a subsequent read operation directed to the memory location will cause the cache line to be read from main memory. Next, the system performs a compare-and-swap (CAS) operation to pull the cache line from main memory into the cache in the modified (M) state (step 412). Note that this CAS operation is an atomic operation, which ensures that another process (or processor) does not interfere with the process of bringing the cache line into the cache in the M state.
Next, the system flushes the cache line from the cache back to main memory (step 414). Note that if the CAS operation also caused a CE, error-correcting circuitry will automatically correct the error before the cache line is installed in the cache by the CAS operation. Hence, flushing the cache line back to main memory will cause corrected data to be written to memory.
Next, the system determines if the preceding CAS operation caused a CE, for example, by examining the CE bit in the AFSR (step 416). If not, the system determines that the old error type (under a prior art system) would have been an intermittent error (step 418).
On the other hand, if the system determines at step 416 that the preceding CAS operation also caused a CE, the system reads the cache line from memory again (step 424), and then reads and clears the AFSR/AFAR (step 426).
Next, the system determines if read operation caused a CE (step 428). If so, the system determines that the old error type would have been a sticky error (step 430). Otherwise, the system determines that the old error type would have been a persistent error (step 432).
Then, from each of the possible terminal states, 418, 430 and 432, the system proceeds with the operations specified in the flow chart that appears in
Next, if Table 1 indicates the new error type is an “unknown,” the system indicates an unknown error (step 504). Similarly, if Table 1 indicates the new error type is “intermittent,” the system indicates an intermittent error (step 506).
Referring to Table 1, note that if the cache line state was I, M or O (which means that the cache line flush in step 410 would have caused a write to main memory), and the old error type was intermittent, the new error type is “unknown” instead of intermittent. This prevents a false intermittent diagnosis.
Next, if Table 1 indicates the new error type is “persistent,” the system schedules and subsequently performs a re-read of the memory location at a later time (step 508). After the re-read completes, the system determines if a correctable error has occurred (step 510). If not, the system indicates a persistent error (step 514). Otherwise, if a correctable error has occurred during the re-read, the system indicates a “leaky memory cell” (step 512). (In this case, charge has leaked off of the memory cell to cause the error during the re-read.)
Next, if Table 1 indicates the new error type is “sticky,” the system causes a second processor in the computer system to classify the memory error (step 516). If there no error is detected by the second processor, the system indicates that the first processor is a bad reader (step 519).
Otherwise, the system determines whether the second processor classified the error as a sticky error (step 520). If so, the system indicates that the memory cell is stuck (step 524). If not, the system indicates that the first processor is a bad writer (step 522).
Finally, after the system has indicated various error conditions in states 504, 506, 512, 514, 519, 522 and 524, the system turns trapping back on for CEs (step 526). A this point, the diagnosis process is complete.
The foregoing descriptions of embodiments of the present invention have been presented only for purposes of illustration and description. They are not intended to be exhaustive or to limit the present invention to the forms disclosed. Accordingly, many modifications and variations will be apparent to practitioners skilled in the art. Additionally, the above disclosure is not intended to limit the present invention. The scope of the present invention is defined by the appended claims.
Number | Name | Date | Kind |
---|---|---|---|
4047157 | Jenkins | Sep 1977 | A |
4649475 | Scheuneman | Mar 1987 | A |
4835729 | Morton | May 1989 | A |
5511164 | Brunmeier et al. | Apr 1996 | A |
6467048 | Olarig et al. | Oct 2002 | B1 |
6539503 | Walker | Mar 2003 | B1 |
6615340 | Wilmot, II | Sep 2003 | B1 |
6934810 | Williams et al. | Aug 2005 | B1 |
7222270 | Meaney et al. | May 2007 | B2 |
20030145257 | Fields, Jr. | Jul 2003 | A1 |
Number | Date | Country |
---|---|---|
0442616 | Jan 1991 | EP |
0442616 | Jan 1991 | EP |
Number | Date | Country | |
---|---|---|---|
20060112306 A1 | May 2006 | US |