Electrical computers and digital processing systems: memory – Address formation – Address mapping
Reexamination Certificate
2006-07-18
2006-07-18
Sparks, Donald (Department: 2187)
Electrical computers and digital processing systems: memory
Address formation
Address mapping
C711S154000, C711S156000, C712S214000
Reexamination Certificate
active
07080231
ABSTRACT:
A processor includes a tagging buffer for storing information that advises the processor of potential memory collisions caused by program instruction pairs that refer to the same memory address. In one method for avoiding memory collisions, a program having tagging code identifying program instruction pairs of the program that refer to a same memory address is compiled. The program instruction pairs in the compiled program code are processed while verifying an order in which the program instruction pairs are to be executed using the compiled tagging code, which is loaded into a tagging buffer. In another method, a program that does not include tagging code is compiled. When a trap occurs in the processing of a program instruction pair, program counters that cause the instructions to be executed in a desired order are added to a tagging buffer. A computer system including the processor also is described.
REFERENCES:
patent: 5519841 (1996-05-01), Sager et al.
patent: 5619662 (1997-04-01), Steely et al.
patent: 5832276 (1998-11-01), Feiste et al.
patent: 5881280 (1999-03-01), Gupta et al.
patent: 6505293 (2003-01-01), Jourdan et al.
patent: 6505296 (2003-01-01), Morris et al.
patent: 6631460 (2003-10-01), Morris et al.
Farrokh Hashem
Martine & Penilla & Gencarella LLP
Sparks Donald
Sun Microsystems Inc.
LandOfFree
Processor with tagging buffer and methods for avoiding... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Processor with tagging buffer and methods for avoiding..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Processor with tagging buffer and methods for avoiding... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3527464