Data processing: measuring – calibrating – or testing – Measurement system – Performance or efficiency evaluation
Reexamination Certificate
2005-07-26
2005-07-26
Hoff, Marc S. (Department: 2857)
Data processing: measuring, calibrating, or testing
Measurement system
Performance or efficiency evaluation
C717S124000
Reexamination Certificate
active
06922658
ABSTRACT:
A method for a method for testing the validity of shared data in a multiprocessing system is disclosed. The method comprises receiving at a first central processing unit a list of fetch and store instructions associated with blocks in a shared memory location. The list includes a data value, a central processing unit identifier and a relative order associated with the instructions. In addition, one of the data values associated with one of the instructions was stored by a memory-to-memory, memory-to-register or register-to-memory operation. Further, one of the central processing unit identifiers associated with one of the instructions is an identifier corresponding to one of a plurality of central processing units that have access to the shared memory location including the first central processing unit. A fetch operation is performed at a block in the shared memory location from the first central processing unit. Fetched data is received at the first central processing unit in response to the performing, where the fetched data was stored by one of the plurality of central processing units. The method verifies that the fetched data conforms to a block concurrency rule in response to the list and that the fetched data conforms to a serialization rule in response to the list.
REFERENCES:
patent: 5555391 (1996-09-01), De Subijana et al.
patent: 5852727 (1998-12-01), Narayan et al.
patent: 6240508 (2001-05-01), Brown, III et al.
patent: 6275980 (2001-08-01), Uchihira et al.
William W. Collier, “Seeing Architecture Failures;” Reasoning About Parallel Achitectures; 1992; pp. 1-9.
A. Saha, J. Lin, C. Lockett, N. Malik, and U. Shamsi; “Test Floor Verification of Multiprocessor Hardware;” IEEE 1996 pp. 373-377.
J. Yen, M. Sullivan, C. Montemayor, P. Wilson, R. Evers; “Overview of PowerPC 620 Multiprocessor Verification Strategy;” IEEE 1995; pp. 167-174.
Bohizic Theodore J.
Decker Mark H.
Duale Ali Y.
Gami Shailesh Ratilal
Ip Vincent L.
Cantor & Colburn LLP
Charioui Mohamed
Hoff Marc S.
Wojnicki, Jr. Andrew J.
LandOfFree
Method and system for testing the validity of shared data in... 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 system for testing the validity of shared data in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for testing the validity of shared data in... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3411243