Method and system for testing the validity of shared data in...

Data processing: measuring – calibrating – or testing – Measurement system – Performance or efficiency evaluation

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

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.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFUS-PAI-O-3411243

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.