Patent
1997-01-03
1998-05-12
Lall, Parshotam S.
395473, 395800, G06F 938, G06F 1516
Patent
active
057519862
ABSTRACT:
A computer system including a processor having a inherently weakly-ordered memory model comprising a mechanism for emulating strong-ordering to produce self-consistent ordering on a system-wide basis. The processor snoops the system bus externally to determine if a STORE on the external bus hits a LOAD buffer inside the memory subsystem of the processor. If so, the situation is flagged as one which carries the risk of violating processor ordering rules. When the STORE hits the same LOAD address in the LOAD buffer of the processor's memory subsystem, the speculative state of the processor is erased. This cancels the LOAD operation in all subsequent operations. The processor then begins executing from the aborted LOAD; this time loading the newly updated value.
REFERENCES:
patent: 4916652 (1990-04-01), Schwarz et al.
patent: 5125083 (1992-06-01), Fite et al.
patent: 5168547 (1992-12-01), Miller et al.
patent: 5197130 (1993-03-01), Chen et al.
patent: 5208914 (1993-05-01), Wilson et al.
patent: 5226130 (1993-07-01), Favor et al.
patent: 5261071 (1993-11-01), Lyon
patent: 5353426 (1994-10-01), Patel et al.
patent: 5363495 (1994-11-01), Fry et al.
patent: 5377336 (1994-12-01), Eickemeyer et al.
patent: 5388222 (1995-02-01), Chisvin et al.
patent: 5420991 (1995-05-01), Konigsfeld et al.
patent: 5428761 (1995-06-01), Herlihy et al.
patent: 5467473 (1995-11-01), Kahle et al.
Peleg et al., "Future Trends in Microprocessors: Out-of-Order Execution, Speculation Branching and Their CISC Performance Potential" Mar. 1991 pp. 263-266.
"Detecting Violations of Sequencial Consistency," Kourosh Gharacholoo and Phillip B. Gibbons, SPAA, 1991.
"Reasoning About Parallel Architectures," William W. Collier, Prentice Hall, 1992.
"The Metaflow Architecture", pp. 10-13 and 63-73, by Val Popescu, Merle Schultz, John Spracklen, Gary Gibson, Bruce Lightner, and David Isaman, IEEE Micro, 1991.
Johnson, Mike; Superscalar Microprocessor Design; Prentice-Hall; 1991.
DuBois, et al.; "Synchronization, Coherence, and Event Ordering in Multiprocessors"; Computer, vol. 21, No. 2; pp. 9-21; Feb. 1988.
Gharacholoo, et al.; "Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors"; 17th Annual International Symposium on Computer Architecture; pp. 15-26; May 28-31, 1990.
Adve, et al.; "Weak Ordering -A New Definition"; 17th Annual International Symposium on Computer Architecture; pp. 2-14; May 28-31, 1990.
Colwell Robert P.
Fetterman Michael A.
Glew Andrew F.
Hinton Glenn J.
Papworth David B.
Intel Corporation
Lall Parshotam S.
Vu Viet
LandOfFree
Computer system with self-consistent ordering mechanism does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Computer system with self-consistent ordering mechanism, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer system with self-consistent ordering mechanism will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-993510