Method and system for verifying execution order within a multipr

Details Method and system for verifying execution order within a multipr Method and system for verifying execution order within a multipr

1995-03-16

1997-11-25

Treat, William M.

395800, G06F 1300

Patent

active

056921535

ABSTRACT:
A method and system are disclosed for verifying consistency of an instruction execution order of a multiprocessor data processing system with a specified memory consistency model. Each processor within the multiprocessor data processing system executes instructions from an associated one of a number of instruction streams, which include instructions that store a number of unique values from multiple processors to a single selected address within memory. One of the unique values is loaded from the selected address to a particular processor within the data processing system. A set of valid values which may be returned by the loading step is determined according to the specified memory consistency model. By comparing the unique value with members of the set of valid values, the instruction execution order of the multiprocessor data processing system is verified. Utilizing the unique value which was returned by the load instruction, the set of valid values may then be updated.

REFERENCES:
patent: 5148533 (1992-09-01), Joyce et al.
patent: 5247648 (1993-09-01), Watkins et al.
patent: 5265232 (1993-11-01), Gannon et al.
patent: 5265233 (1993-11-01), Frailong et al.
patent: 5276852 (1994-01-01), Callander et al.
patent: 5301298 (1994-04-01), Kagan et al.
patent: 5347648 (1994-09-01), Stamm et al.
patent: 5379396 (1995-01-01), Gochman et al.
patent: 5388242 (1995-02-01), Jewett
patent: 5398325 (1995-03-01), Chang et al.
patent: 5408671 (1995-04-01), Tanaka

Affiliated with

Also associated with

Rating

Method and system for verifying execution order within a multipr 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 verifying execution order within a multipr, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for verifying execution order within a multipr will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2115630