Method for verifying a serializing function in a system including processors and a test system including processors for verifying the serializing function

A method for verifying a serializing function in a system having a plurality of processors in which data from predetermined areas in a common storage are transferred to an internal storage provided in a first processor and the data is accessed by the plurality of processors, said method verifying proper execution of the serializing function of inhibiting access to the data by a second processor during execution of a serializing instruction indicating a set of data read and write processings, said method comprising the steps of:

• (a) synchronizing, in the first processor, an execution status of the processor with an execution status of another processor;
• (b) delaying execution in the first processor for a predetermined changeable period selected at random by the first processor;
• (c) executing said serializing instruction in the first processor to read a first area set for the first processor and write a given data in the first area, then reading a second area set for the second processor to determine a write status of data by the second processor, and repeatedly reading the second area to determine the write status where the second area is in a nonwrite status;
• (d) monitoring the execution status of the second processor and, where the second processor is still reading the second area in step (c) after a lapse of predetermined time, indicating occurrence of an error;
• and
• (e) initializing the internal storage and the common storage to control repetition of each step from said synchronizing step (a).

A test system including a plurality of processors for verifying a serializing function, in which data of predetermined areas in a common storage are transferred to an internal storage provided in a first processor and the data is accessed by the plurality of processors, each processor comprising:

• synchronizing means for synchronizing an execution status of the first processor with an execution status of a second processor;
• delay means for delaying execution by the first processor for a predetermined changeable period selected at random after completion of said synchronizing processing by said synchronizing means;
• serializing means for issuing and executing a serializing instruction indicating a set of data read and write processings after the delaying by said delay means is completed;
• and
• verifying means for verifying whether the serializing instruction executed by said synchronizing means is executed without an error indication.

A test system having a plurality of processors in which data of predetermined areas in a common storage are transferred to an internal storage provided in a first processor the data is accessed by the plurality of processors, said test system verifying normality of a serializing function of inhibiting access to the data by a second processor during execution of a serializing instruction indicating a set of data read and write processings, said processor comprising:

• synchronizing means for synchronizing an execution status of the first processor with an execution status of the second processor;
• delay means for delaying execution by the first processor for a predetermined changeable period selected at random after completion of processing by said synchronizing means;
• serializing means for executing said serializing instruction after completion of said delaying means to read a first area set for the first processor and write a given data in the first area, reading a second area set for the second processor to determine a write status of data by the second processor, and repeatedly reading the second area to determine the write status where the second area is in a non-write status;
• error detection means for monitoring an execution status of the second processor and, where the second processor is still reading the second area to determine the write status after a lapse of predetermined time, indicating occurrence of an error;
• and
• initializing means for initializing the internal storage and the common storage to control repetition of each processing from the synchronizing initially performed by said synchronizing means.

A method of verifying, in a first processor, serialization of access to a common storage in a multiprocessor system, comprising the steps of:

• (a) synchronizing execution of the first processor with execution of a second processor;
• (b) delaying execution by the first processor of a serializing instruction by a randomly variable amount of time;
• (c) executing the serializing instruction in the first processor;
• (d) verifying that serialization was obtained by the serializing instruction;
• and
• (e) repeating steps (a) through (e) so that step (b) delays execution by different amounts of time.

A test system for verifying serialization of access to a common storage in a multiprocessor system, said test system comprising:

• a plurality of processors, a first processor comprising:
• synchronizing means for synchronizing execution of the first processor with execution of a second processor;
• delay means for delaying, after synchronization by said synchronization means, execution by the first processor of a serializing instruction by a randomly variable amount of time;
• serializing means for executing the serializing instruction in the first processor after the delaying of execution by said delay means;
• verifying means for verifying serializing by the serializing instruction executed by said serializing means;
• and
• repeat means for repeating the processing performed by said synchronizing means, said delay means, said serializing means, and said verifying means so that said delay means delays execution by different amounts of time.