Electrical computers and digital processing systems: multicomput – Multicomputer synchronizing
Patent
1997-03-28
1999-07-27
Palys, Joseph E.
Electrical computers and digital processing systems: multicomput
Multicomputer synchronizing
711152, G06F 1516, G06F 1200
Patent
active
059283343
ABSTRACT:
One aspect of the invention relates to a method for detecting synchronization violations in a multiprocessor computer system having a memory location which controls access to a portion of memory shared by the processors, the memory location having at least one lock bit indicating whether the portion of memory is locked by one of the processors and a plurality of bits for storing a data value. The method comprises reading the memory location by an individual processor; testing the lock bit to determine whether the portion of memory is locked; if the portion of memory is not locked; asserting the lock bit to indicate the portion of memory is locked; incrementing the data value to represent a global access count; writing the lock bit and the data value back to the memory location; and incrementing a data value stored in a memory location associated with the individual processor to indicate an individual access count by the individual processor. The individual access counts for each processor are then summed and compared to the global access count to determine whether a synchronization violation has occurred.
REFERENCES:
patent: 4772948 (1988-09-01), Irvin
patent: 4780755 (1988-10-01), Knierim
patent: 4821266 (1989-04-01), Ohm et al.
patent: 4885683 (1989-12-01), Coogan
patent: 4903199 (1990-02-01), Keenan et al.
patent: 5185745 (1993-02-01), Manca, Jr.
patent: 5185882 (1993-02-01), White, Jr.
patent: 5210861 (1993-05-01), Shimoda
patent: 5321825 (1994-06-01), Song
patent: 5442763 (1995-08-01), Bartfai et al.
patent: 5459836 (1995-10-01), Whittaker et al.
patent: 5497458 (1996-03-01), Finch et al.
patent: 5515501 (1996-05-01), LaBerge et al.
patent: 5539680 (1996-07-01), Palnitkar et al.
patent: 5566319 (1996-10-01), Lenz
patent: 5615373 (1997-03-01), Ho
patent: 5634037 (1997-05-01), Sasaki et al.
patent: 5796946 (1998-08-01), Sakon
Mandyam Sriram
O'Krafka Brian Walter
Raghavan Ramanathan
Ramirez Robert James
Tokugawa Miwako
Dillon Andrew J.
Emile Volel
International Business Machines - Corporation
Palys Joseph E.
LandOfFree
Hardware verification tool for multiprocessors does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Hardware verification tool for multiprocessors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Hardware verification tool for multiprocessors will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-873839