Electrical computers and digital processing systems: memory – Storage accessing and control – Hierarchical memories
Patent
1998-12-28
2000-02-29
Chan, Eddie P.
Electrical computers and digital processing systems: memory
Storage accessing and control
Hierarchical memories
714 54, G06F 1100
Patent
active
060322306
ABSTRACT:
Inconsistencies between cache and memory in a memory system operating in a computer are traced and corrected. A cache entry is checked against a counterpart memory entry to trace inconsistencies between the cache entry and the memory entry and to correct the cache entry. A page table entry in memory with a zero mapping mark is checked against a counterpart page entry in a translation lookaside buffer. Inconsistencies between the page table entry with a zero mapping mark and the existence of a counterpart page entry in the translation lookaside buffer is traced. The inconsistency is corrected by deleting the counterpart page entry in the translation lookaside buffer. Address mapping is checked comparing a page entry in the translation lookaside buffer against a counterpart page table entry in the memory. Inconsistencies between the page entry and the page table entry are traced and corrected.
REFERENCES:
patent: 4831622 (1989-05-01), Porter et al.
patent: 4896257 (1990-01-01), Ikeda et al.
patent: 5355471 (1994-10-01), Weight
patent: 5386527 (1995-01-01), Bosshart
patent: 5406504 (1995-04-01), Denisco et al.
patent: 5497458 (1996-03-01), Finch et al.
patent: 5513344 (1996-04-01), Nakamura
patent: 5535164 (1996-07-01), Adams et al.
patent: 5692153 (1997-11-01), Malik et al.
patent: 5751740 (1998-05-01), Helbig, Sr.
patent: 5893152 (1999-04-01), Fuller et al.
Teller, P., "Translation-Lookaside Buffer Consistency," IEEE Computer, vol. 23, Iss: 6, (Jun. 1990):26-36.
Raghavan R., et al., "Multiprocessor System Verification through Behavioral Modeling Simulation and Simulation." Conference Proceedings of the 1995 IEEE 14th International Phoenix Conf. on Computers and Communications, 28-31 Mar. 1995:396-402.
Fuller Billy J.
Passmore Dale R.
Chan Eddie P.
Encarnacion Yamir
Sun Microsystems Inc.
LandOfFree
Method and apparatus that detects and tolerates inconsistencies does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus that detects and tolerates inconsistencies , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus that detects and tolerates inconsistencies will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-692930