JP2970260B2 - System static information correlation check and correction device - Google Patents

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a multiprocessor system in which a plurality of processors operate in correlation with each other. The present invention relates to an improvement of a correlation check device provided with a function of detecting a contradictory inconsistent correlation.

[0002]

2. Description of the Related Art In a multiprocessor system in which a plurality of processors operate in correlation with each other, system static information (hereinafter referred to as SG and SG) is defined by a user as initial setting information for a plurality of processors when a program operates. As a device for checking whether or not there is a contradiction in the correlation between processors with respect to the control statement (hereinafter referred to as "control statement"), for example, a correlation check device as disclosed in Japanese Patent Application No. 3-302602 has been reported. .

[0003] This correlation checking device automatically determines, based on the contents of a correlation check file, whether or not there is any inconsistency in the correlation between processors with respect to SG control statements individually defined for each processor. This is a device for checking, and the inconsistency of the detected correlation between SGs is output in the form of a list. Therefore, the user refers to this list to correct the SG control statement on the desk.

[0004]

As described above, the inconsistency of the defined SG correlation is automatically detected by the correlation checking device, but the subsequent correction has to be performed manually. At times, mistakes were mixed in, and although a contradiction was found, a correct SG control statement could not be obtained due to a correction error, and the correction error itself was overlooked.

The present invention has been made in view of such circumstances, and an object thereof is to newly add an SG correction function and a re-check function after correction to an SG control statement correlation check apparatus. To provide a correlation checking and correcting device.

[0006]

SUMMARY OF THE INVENTION In order to achieve the above object, the present invention provides an SG control statement individually defined for each processor in a multiprocessor system in which a plurality of processors operate in a correlated manner. And a correlation checking device having a function of detecting inconsistencies in a correlation between processors, displaying information indicating the detected inconsistencies on a display device and inputting correction information from the input device. An interface processing unit, and a buffer for holding a control statement of the SG before correction and a control statement of the corrected SG, and the SG before correction based on the correction information input from the input device by the man-machine interface processing unit. A control statement modification processing unit for modifying the control statement of the modified SG and storing the control statement of the modified SG and the control statement of the SG before modification in the buffer; A correlation check processing unit for re-checking the control statement of the modified SG stored in the buffer for any inconsistency in the correlation between processors, and displaying the check result on the display device through the man-machine interface processing unit. And

[0007]

In the SG correlation check / correction device of the present invention, SG control statements individually defined for each processor in a multi-processor system in which a plurality of processors operate in a correlated manner include an SG control statement between the processors. When an inconsistency in the straddling correlation is detected, the man-machine interface processing unit displays information indicating the detected inconsistency on the display device. When the user looks at this display and inputs the correction information from the input device, the man-machine interface processing unit inputs the correction information, and the control statement correction processing unit generates the pre-correction SG based on the input correction information. Modify the control statement,
The control statement of the modified SG and the control statement of the unmodified SG are stored in an internal buffer, and then the correlation check processing unit corrects the inconsistency of the correlation between processors with respect to the modified SG control statement stored in the buffer. Is checked again, and the check result is displayed on the display device by the man-machine interface processing unit.

[0008]

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS Next, embodiments of the present invention will be described in detail with reference to the drawings.

Referring to FIG. 1, an embodiment of an SG correlation checking / correcting apparatus according to the present invention is a processing apparatus 1, a keyboard 2, a display 3, a printer 4, an SG control statement file 5, Check file 6 and modified S
The processing device 1 includes a G-control statement file 7, a man-machine interface processing section 11, a control statement reading section 12, a correlation check information reading section 13, and a control statement correction processing including a control statement correction buffer 141. And a correlation check processing unit 15 including buffers 151 and 152. 9 is an SG creation tool, and 10 is an SG design document.

FIGS. 2 and 3 are flowcharts for explaining the operation of the embodiment shown in FIG. 1. The operation of the embodiment will be described below with reference to the drawings.

An SG control statement of each processor in a multiple processor system, which is created by a user using a known SG creating tool 9 while referring to an SG design document 10, is as follows:
It is stored in the SG control statement file 5. Further, a correlation check record indicating a criterion for verifying the validity of the correlation between the processors is stored in the correlation check file 6.

When the user instructs the start of work from the keyboard 2 in order to check the correlation of the SG control statements stored in the SG control statement file 5 and to correct the correlation (S1 in FIG. 2), the processing device 1 The man-machine interface processing unit 11 receives this instruction (S2) and instructs the correlation check processing unit 15 to start work (S3).

The correlation check processing unit 15 first activates the control statement reading unit 12 (S 4). The activated control statement reading unit 12 reads the SG control statement of each processor to be checked from the SG control statement file 5. Is read (S
5), the buffer 151 of the correlation check processing unit 15
(S6).

Next, the correlation check processing unit 15 activates the correlation check information reading unit 13 (S7), and the activated correlation check information reading unit 13 reads the correlation check file 6 from the correlation check file 6 to check the correlation necessary for checking the SG control statement. The check record is read (S8) and stored in the buffer 152 of the correlation check processing unit 15 (S9).

Next, based on the contents of the correlation check record stored in the buffer 152, the correlation check processing unit 15
For the G control statement, the validity of the correlation between processors is verified, and all inconsistencies are identified (S10).

In the identification of the inconsistency, if a factor that cannot be determined only from the information of the SG control statement of each processor is detected, various factors for the uncertain factor on the display 3 through the man-machine interface processing unit 11 are detected. Is displayed, and the user responds to this message to proceed with the verification of the correlation according to the information input from the keyboard 2 or, if a fatal contradiction is detected, a man-machine interface process This is displayed on the display 3 through the unit 11 and the decision of the next work to be performed is entrusted to the user. When the user inputs any instruction from the keyboard 2, the work is restarted according to the instruction. Is adopted.

When the inconsistency has been identified, the correlation check processing unit 15 refers to the SG design document specification file 8 that holds the conversion information between the SG design document 10 and the SG control statement, and refers to the SG control statement in the buffer 151. To the original SG design document 10
Then, the output information is edited by converting it into an SG design document having an expression similar to the specification and adding a message indicating the contents of the inconsistency (S11). Then, the output information is passed to the man-machine interface processing section 11 (S12), and the man-machine interface processing section 11 sends the output information to the display 3
(S13). Note that the same contents may be output as a list from the printer 4 (S1).
4).

The above operation is performed in the conventional correlation check device.

Now, the user indicates the SG design document displayed on the display 3 and a message indicating the inconsistency,
Based on the original SG design document 10, the correct value is input from the keyboard 2 for all incorrect values that have caused the inconsistency, and a correction instruction is input (S2 in FIG. 3).
1), the man-machine interface processing unit 11 receives these and transmits them to the correlation check processing unit 15 (S2)
2).

When the correction instruction is given, the correlation check processing unit 15 corrects the incorrect value received from the man-machine interface processing unit 11 and the buffer 151
Is passed to the control statement correction processing unit 14 to instruct the control statement correction processing (S23).

After storing the SG control statement passed from the correlation check processing section 15 in the control statement correction buffer 141, the control statement correction processing section 14 uses the correct value for the incorrect value also passed to the control statement correction processing section 14 to cause each contradiction. Is corrected (S
24). Then, the modified SG control statement is stored in the control statement modification buffer 141 (S25), and the end of the modification is notified to the correlation check processing unit 15 (S26).

Upon receiving this notification, the correlation check processing unit 15 reads out the control statement of the modified SG stored in the control statement
The correlation check based on the correlation check record stored in 52 is performed again to identify inconsistencies (S27).

When the contradiction is completed,
Referring to the SG design document specification file 8, the buffer 151
Is converted into an SG design document having an expression close to the specifications of the original SG design document 10, and a message indicating the content of the inconsistency is added thereto. The output information is edited by adding the SG design document (S28). Then, the output information is passed to the man-machine interface processing section 11 (S29), and the man-machine interface processing section 11 sends the output information to the display 3
(S30).

Here, if the user has input the correct correction information in accordance with the message indicating the inconsistency displayed last time, all inconsistencies are resolved and inconsistency remains in the modified SG control statement. Therefore, a message indicating the inconsistency is not displayed on the display 3. However, if an incorrect correction is made due to an input error or the like, such a message will be displayed again. In such a case,
By referring to the display 3 and, if necessary, referring to the original SG design document 10 and inputting the correct value for the incorrect value and instructing the correction again, the above-described correction processing is performed again as shown by the dashed line in FIG. Will be This eliminates mistakes,
A complete SG control statement can be created.

Then, at the point when the inconsistency has disappeared, when the user instructs the creation of the corrected file from the keyboard 2 (S31), the instruction is transmitted through the man-machine interface processing unit 11 and the correlation check processing unit 15 to the control statement. It is transmitted to the correction processing unit 14 (S32), and the control statement correction processing unit 1
4 outputs the modified SG control statement in the control statement modification buffer 141 to the modified SG control statement file 7 (S33).

[0026]

As described above, according to the SG correlation check / correction apparatus of the present invention, a control statement is input by inputting correction information for correcting a detected inconsistency from an input device such as a keyboard. S automatically by the correction processing unit
The control statement of G can be corrected, and the re-checking of the correlation of the corrected SG control statement is automatically performed and the result is displayed on the display device. In comparison with the conventional SG correction, the number of correction errors can be reduced and the correction time can be shortened.
Further, if a correction error is made, it is immediately detected by the recheck, so that it is possible to prevent the correction error from being overlooked.

[Brief description of the drawings]

FIG. 1 is a main part configuration diagram of an embodiment of the present invention.

FIG. 2 is a diagram showing a part of a flowchart for explaining the operation of the embodiment of the present invention.

FIG. 3 is a diagram showing the remaining part of the flowchart for explaining the operation of the embodiment of the present invention.

[Explanation of symbols]

 DESCRIPTION OF SYMBOLS 1 ... Processing apparatus 11 ... Man-machine interface processing part 12 ... Control sentence reading part 13 ... Correlation check information reading part 14 ... Control sentence correction processing part 141 ... Control sentence correction buffer 15 ... Correlation check processing part 151, 152 ... Buffer 2 ... keyboard 3 ... display 4 ... printer 5 ... SG control statement file 6 ... correlation check file 7 ... modified SG control statement file 8 ... SG design document specification file 9 ... SG creation tool 10 ... SG design document

Continuation of front page (56) References JP-A-5-113962 (JP, A) JP-A-2-190045 (JP, A) JP-A-4-149647 (JP, A) JP-A-2-213257 (JP) , A) JP-A-1-283662 (JP, A) (58) Fields investigated (Int. Cl. ⁶ , DB name) G06F 9/06 410

Claims (1)

(57) [Claims] 1. A control statement of system static information defined individually for each processor in a multiprocessor system in which a plurality of processors operate in a correlated manner, and a contradiction in correlation between processors is input. A correlation check device having a function of detecting the inconsistency point, a man-machine interface processing unit that displays information indicating the detected inconsistency on a display device and inputs correction information from an input device, A buffer for holding a control statement and a control statement of the corrected system static information, and a control statement of the pre-correction system static information based on the correction information input from the input device by the man-machine interface processing unit. Storing the control statement of the modified system static information and the control statement of the system static information before modification in the buffer; A sentence correction processing unit, for the control statement of the corrected system static information stored in the buffer, again checks whether there is any inconsistency in the correlation between processors, and compares the check result with the man-machine interface processing unit. And a correlation check processing unit for displaying the correlation information on the display device through the system.