JPH08137714A - Debugging method and debugging system for multitask program - Google Patents

Abstract

PURPOSE: To detect an error at the time of rewriting a serial program to a multitask program by collating the values and the sizes of data arrangement in a part where the serial program and the multitask program are respectively executed and processed in parallel. CONSTITUTION: For rewriting data arrangement which is distributedly arranged in such a way that it is processed in parallel by respective processors, a program conversion means 13 generates a multitask conversion program 15 for the multitask program 12 and generates a serial conversion program 14 to the serial program 11. A collation data saving means 16 saves the value and the size of data in a collation data file 17 whenever the serial conversion program 14 passes through the fitted part of data at the time of executing the program. A data collation means 18 collates the size and the value of data at every collation part at the time of executing the multitask conversion program 15, and judges whether the programs 11 and 12 are equivalent or not. When they are not equivalent, the effect is outputted to an output device.

Description

Detailed Description of the Invention

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a debug method and a debug system for a multitask program in a distributed memory type multiprocessor system.

[0001]

2. Description of the Related Art In a distributed memory type multiprocessor system, in order to execute a program at high speed by effectively using the processors, the serial program executed by a single processor is arranged in array data in each processor. It is often rewritten into a multi-task program that is processed simultaneously by multiple processors.

In order to confirm or debug such a multi-task program as being correct, it is necessary to confirm the value of array data processed separately in each task. In the conventional general method, a breakpoint is set at a position where the value of array data is to be confirmed by a debugger, and the value is confirmed.

Japanese Unexamined Patent Publication No. 3-246732 discloses a technique for debugging a multi-task program by analyzing trace information relating to access to shared definition variables between tasks.

[0004]

In the method of using a general debugger for debugging a multi-task program, the value of the data may become invalid only after passing through the breakpoint several times, which leads to an efficient error. There was a problem that could not be detected.

In the technique disclosed in Japanese Patent Laid-Open No. 3-246732, the processing time for collecting the trace information is relatively longer than the processing time of the original program, so that an execution result different from that of the original multi-task program is obtained. There was a problem that the possibility of producing

An object of the present invention is to correctly generate a multitask program from a serial program.

Another object of the present invention is to detect an error when rewriting a serial program into a multitask program.

Still another object of the present invention is to efficiently debug the multitask program without changing the execution result of the multitask program created based on the serial program.

[0009]

A first multitasking program debugging method of the present invention provides a memory array on each processor of a distributed memory type multiprocessor system with a data array processed in a loop of a serial program. A debugging method of a multitasking program for verifying the correctness of a multitasking program, which is rewritten so as to be distributed and processed in parallel by each processor, wherein a data array of a portion where the serial program is executed to perform parallel processing is executed. The value and size are obtained, and the value and size of the data array at the location where parallel processing is performed by executing the multitask program are obtained, and then the value and size of the data array at the location where both parallel processing are performed do not match. In the case of, it is output that the serial program is not equivalent to the multi-task program. It is characterized in.

A second method for debugging a multi-task program according to the present invention is to dispose a data array processed in a loop of a serial program in a memory on each processor of a distributed memory type multiprocessor system in a distributed manner. A method for debugging a multi-task program that verifies the correctness of a multi-task program rewritten so that it is processed in parallel by adding an instruction to obtain the value and size of the data array at the location where parallel processing is performed to the serial program. The serial conversion program and the multitask conversion program in which an instruction to obtain the value and size of the data array at the location where the parallel processing is performed are added to the multitask program, and then the data array at the location where the parallel processing of both is performed If the value of and the size do not match,
It is characterized by outputting that the serial program is not equivalent to the multi-task program.

A first multitasking program debugging system according to the present invention is a distributed memory type multiprocessor system in which a data array processed in a loop of a serial program is distributed and arranged in a memory on each processor. A multi-task program debugging system for verifying the correctness of a multi-task program rewritten so as to be processed in parallel by executing the serial program to obtain a value and a size of a data array at which parallel processing is performed. , The multi-task program is executed to obtain the value and size of the data array at the location where parallel processing is performed, and if the value and the size of the data array at locations where both parallel processing are performed do not match, the serial program Output to the output device that is not equivalent to the multitask program And a chromatography data comparing means.

A second multitask program debug system of the present invention is a distributed memory type multiprocessor system in which a data array processed in a loop of a serial program is distributed and arranged in a memory on each processor. A debugging system for a multitasking program that verifies the correctness of a multitasking program rewritten so as to be processed in parallel by adding an instruction to obtain a value and a size of a data array at a location where parallel processing is performed to the serial program. The serial conversion program and the multitask conversion program in which an instruction to obtain the value and size of the data array at the location where parallel processing is performed are added to the multitask program, and the value of the data array at the location where both parallel processing are performed And the size does not match,
Data collating means for outputting to the output device that the serial program is not equivalent to the multitask program is provided.

A third multitask program debug system of the present invention is a distributed memory type multiprocessor system in which a data array processed in a loop of a serial program is distributed and arranged in a memory on each processor. A multi-task program debugging system for verifying the correctness of a multi-task program rewritten so that it is processed in parallel by inputting the serial program, and checking the value and size of the data array at the location for parallel processing. Generates a serial conversion program with an instruction to save to a data file, and inputs the multitask program to perform parallel processing by saving the value and size of the data array at the location for parallel processing to the collation data file. Instruction to check the value and size of the data array at the location Program conversion means for generating the added multitask conversion program; collation data saving means for executing the serial conversion program to save the value and size of the data array at the location for parallel processing in the collation data file; Execute the multi-task conversion program, determine whether the value and size of the data array at the location for parallel processing match the value and size of the data array saved in the collation data file, and if they do not match. And a data collating means for outputting to the output device that the serial program is not equivalent to the multitask program.

A fourth multitask program debugging system of the present invention is a processor for distributed memory type multiprocessor system, in which a data array processed in a loop of a serial program is distributed and arranged in a memory on each processor. A multi-task program debugging system for verifying the correctness of a multi-task program rewritten so as to be processed in parallel by inputting the serial program, and referring to the value and size of a data array of a parallel loop. Generate the serial conversion program with the instruction to save to the collation data file before and save the defined data array value and size to the collation data file after the parallel loop. The value and size of the referenced data array in parallel The result of executing the serial program saved in the verification data file after a parallel loop by comparing the value and size of the defined data array with the result of executing the serial program saved in the verification data file before Program conversion means for generating a multitask conversion program to which an instruction for collating is added,
When the serial conversion program is executed, the value and size of the data array being referenced are saved to the collation data file before the parallel loop, and the value and size of the defined data array are collated data after the parallel loop. Collation data saving means for saving to a file, and the serial data saved in the verification data file by the verification data saving means before the parallel loop when the multi-task conversion program executes the value and size of the referenced data array. The collation data saving means determines whether or not the value and size of the data array referred to by the conversion program match, and after the parallel loop of the defined data array value and size, Determine whether the value and size of the data array defined by the serial conversion program saved in the file match. And, in the case of mismatch is determined in either, and a data matching unit for outputting to the effect that the serial program is not equivalent to the multi-task program to the output device.

[0015]

BEST MODE FOR CARRYING OUT THE INVENTION An embodiment of the present invention will be described in detail below with reference to the drawings.

Referring to FIG. 1, a debug system for a multitask program according to an embodiment of the present invention is a distributed memory type multiprocessor system in which a user arranges a serial program 11 into a memory array on each processor. In the case of distributed arrangement and rewriting the data array to be processed in parallel by each processor, a multitask conversion program in which an instruction to collate the value and size of the data array processed in parallel is added to the multitask program 12. A program conversion program (hereinafter referred to as a program conversion program) that generates the serial conversion program 15 that generates the serial conversion program 15 and the instruction to save the value and size of the data array at the location corresponding to the parallel processing unit to the serial program 11. , Program conversion means)
13 and a collation data saving program (hereinafter, referred to as collation data saving means) that is a program that saves the data value and size in the collation data file 17 each time the data passes through the compatible portion when the serial conversion program 14 is executed 1
6, when the multitask conversion program 15 is executed, the size and value of the data are collated with the collation data file 17 for each collation point of the data, and it is determined whether the multitask program 12 is equivalent to the serial program 11. When the program 12 is not equivalent to the serial program 11, a data collation program (hereinafter, referred to as data collation means) which is a program to that effect is output to the output device.
It is composed of 18 and.

Next, a multi-task program debug system according to an embodiment of the present invention will be described with reference to FIGS.

The user rewrites the serial program 11 shown in FIG. 2 into the multitask program 12 shown in FIG. 3 in order to effectively use the processor of the multiprocessor system and shorten the processing time of the program. In this embodiment, as shown in FIG. 3, in order to reduce the processing time of the loop 21, the array processed in the loop 33 (ARRAY
The user has added an instruction 31 for distributing 1), ARRAY 2) to the memory of each processor, and an instruction 32 for parallel execution.

The program converting means 13 inputs the serial program 11 (step 131), and refers to the data array (ARRAY1, ARRAY2) distributed and arranged for parallel processing on the multitask program 12. Instruction 41 to save the value and size of the array (ARRAY1) to the collation data file before the parallel loop 33, and the value and size of the defined data array (ARRAY2) to the collation data file after the parallel loop 33. The serial conversion program 14 shown in FIG. 4 to which the instruction 42 is added is generated (step 132).

Further, the program converting means 13 inputs the multitask program 12 (step 133) and arranges the data array (ARRAY) distributed in each processor.
1, an instruction to the parallel loop 33 that defines and refers to ARRAY2) to check the value and size of the data array (ARRAY1) referred to before the parallel loop 33 with the result of executing the serial program 11. 51 and the data array defined after the parallel loop 33 (ARRAY
A multitask conversion program 15 shown in FIG. 5 is generated in which an instruction 52 for checking the value and size of 2) with the result of executing the serial program 11 is added (step 13).
4).

The collation data saving means 16 executes the multitask program 1 according to the instruction added by the program converting means 13 when the serial converting program 14 is executed.
For the data arrays (ARRAY1, ARRAY2) that are distributed and arranged for parallel processing on 2 above, the value and size of the referenced data array (ARRAY1) are set in the form as shown in FIG. The value and size of the defined data array (ARRAY2) are saved in the collation data file 17 (step 161), and saved in the collation data file 17 after the parallel loop 33 (step 162).

The data collating means 18 executes the multitask program 1 according to the instruction added by the program converting means 13 when the multitask converting program 15 is executed.
Data array (AR
For the parallel loop 33 that defines and refers to (RAY1, ARRAY2), the collation data saving unit 16 collates the collation data file 17 with the value and size of the data array (ARRAY1) referred to before the parallel loop 33. The value and size of the data array (ARRAY1), which is the result of execution of the serial conversion program 14 output to the data are compared (step 181), and the value of the data array (ARRAY2) defined after the parallel loop 33 is compared. The size is collated with the value and size of the data array (ARRAY2) which is the result of executing the serial conversion program 14 output to the collation data file 17 by the collation data saving means 16 (step 182).

The data collating means 18 uses this step 18
If the results do not match in the collation 1 or step 182, the serial program 1 shown in FIG.
1 and the multitask program 12 shown in FIG. 3 are not equivalent, that is, the fact that the user rewrote the serial program 11 into the multitask program 12 is output to the output device (step 183).

As described above, the processing of the debug system for the multitask program according to the embodiment of the present invention is completed.

The multi-task program debugging system according to the embodiment of the present invention has the effect of being able to detect an error when the serial program is rewritten into the multi-task program.

[0026]

As described above, the multi-task program debugging system of the present invention can debug a multi-task program without changing the execution result of the multi-task program created based on the serial program. Have an effect.

Further, the present invention has an effect that a multitask program can be correctly generated from a serial program.

[Brief description of drawings]

FIG. 1 is a block diagram showing one embodiment of the present invention.

FIG. 2 is a diagram showing an example of a serial program 11 according to an embodiment of the present invention.

FIG. 3 is a diagram showing an example of a multitask program 12 according to an embodiment of the present invention.

FIG. 4 is a diagram showing an example of a serial conversion program 14 in an embodiment of the present invention.

FIG. 5 is a diagram showing an example of a multitask conversion program 15 in an embodiment of the present invention.

FIG. 6 is a diagram showing an example of a collation data file 17 in one embodiment of the present invention.

FIG. 7 is a flow chart showing the processing of the program converting means 13, the collation data saving means 16, and the data collating means 18 in the embodiment of the present invention.

[Explanation of symbols]

 11 serial program 12 multi-task program 13 program conversion means 14 serial conversion program 15 multi-task conversion program 16 collation data saving means 17 collation data file 18 data collation means

Claims (6)

[Claims] 1. A multi-task program in which a data array to be processed in a loop of a serial program is distributed and arranged in a memory on each processor of a distributed memory type multi-processor system and rewritten so that the data is processed in parallel by each processor. Is a method for debugging a multi-task program for verifying the correctness of the above, wherein the serial program is executed to obtain the value and size of a data array at a location where parallel processing is performed, and the multi-task program is further executed to perform parallel processing. After obtaining the value and size of the data array at the location where you want to perform
A debugging method of a multi-task program, which outputs that the serial program is not equivalent to the multi-task program. 2. A multi-task program in which a data array to be processed in a loop of a serial program is distributed and arranged in a memory on each processor of a distributed memory type multi-processor system and is rewritten so that the processors process in parallel. Is a method for debugging a multitask program for verifying the correctness of a serial conversion program in which an instruction to obtain a value and a size of a data array at a location where parallel processing is performed is added to the serial program, and parallel processing to the multitask program. Execute the multitask conversion program with an instruction to obtain the value and size of the data array at the location where each is performed, and then, if the value and size of the data array at the location at which both parallel processing are performed do not match, Note that the serial program is not equivalent to the multitask program Debugging multitask programs, characterized by force. 3. A multi-task program in which a data array to be processed in a loop of a serial program is distributed and arranged in a memory on each processor of a distributed memory type multi-processor system and rewritten so that the data is processed in parallel by each processor. Is a debug system of a multitask program for verifying the correctness of, the value and size of a data array at the location where the serial program is executed and parallel processing is performed, and the multitask program is executed to perform parallel processing. Also obtains the value and size of the data array at the location to be performed, and outputs the fact that the serial program is not equivalent to the multitask program if the value and the size of the data array at the location to perform parallel processing of both do not match. A multitasking program characterized by having a data collating means for outputting to a device -Time debugging system. 4. A multitasking program in which a data array to be processed in a loop of a serial program is distributed and arranged in a memory on each processor of a distributed memory type multiprocessor system and is rewritten so that the processors process in parallel. And a serial conversion program in which an instruction to obtain the value and size of a data array at a location where parallel processing is performed is added to the serial program, and the parallel processing to the multitask program. Execute the multitask conversion program with an instruction to obtain the value and size of the data array at the location where the above is performed, and if the value and the size of the data array at the location where parallel processing of both do not match, then the serial program Output that is not equivalent to the above multitask program Debug system for multitask program characterized by comprising a data matching means for outputting to the location. 5. A multitasking program in which a data array to be processed in a loop of a serial program is distributedly arranged in a memory on each processor of a distributed memory type multiprocessor system and is rewritten so that the processors process in parallel. Is a debug system for a multi-task program that verifies the correctness of the serial conversion program, in which the serial program is input, and an instruction to save the value and size of the data array at the location where the parallel processing is performed to the collation data file is added. And input the multi-task program,
Program conversion means for generating a multitask conversion program that adds an instruction to collate the value and size of the data array at the location for parallel processing with the value and size of the data array at the location for parallel processing saved in the collation data file Collation data saving means for executing the serial conversion program and saving the value and size of the data array at the location for parallel processing in the collation data file; and executing the multitask conversion program to perform parallel processing. It is determined whether or not the value and size of the data array at the location match the value and size of the data array saved in the collation data file. If they do not match, the serial program is equivalent to the multitask program. And a data collating means for outputting a message to the output device Program debugging system. 6. A multitask program in which a data array to be processed in a loop of a serial program is distributed and arranged in a memory on each processor of a distributed memory type multiprocessor system, and is rewritten so that the processors process in parallel. Is a debug system for a multi-task program that verifies the correctness of, by inputting the serial program, saving the value and size of the referenced data array in a collation data file before the parallel loop, and defining Generates a serial conversion program that adds an instruction to save the value and size of the existing data array to the collation data file after the parallel loop.
Input the multi-task program, collate the value and size of the referenced data array with the result of executing the serial program saved in the collation data file before the parallel loop, and define the value of the data array. And a program conversion means for generating a multitask conversion program with an instruction to compare the size and the size of the serial program saved in the collation data file after the parallel loop with the instruction, and refer to it when the serial conversion program is executed. Collation data saving means for saving the value and size of the data array being stored in the collation data file before the parallel loop, and saving the defined value and size of the data array in the collation data file after the parallel loop. , When executing the multitask conversion program, the value of the data array being referenced and the size Before the parallel loop, the collation data saving unit determines whether or not the value and size of the data array referred to by the serial conversion program saved in the collation data file match and define the definition. After the parallel loop of the value and size of the data array, it is determined whether or not the matching data saving means matches the value and size of the data array defined by the serial conversion program saved in the matching data file. A debug system for a multitask program, comprising data collating means for outputting to the output device that the serial program is not equivalent to the multitask program if any of the judgments does not match.