JPH0363728A - Optimumizing system for exclusive control - Google Patents

Abstract

PURPOSE:To transform plural discontinuous exclusive control blocks to one continuous exclusive control block, to reduce overhead time with the start processing and end processing of exclusive control and to shorten execution time by rearranging sentences in a program by a compiler. CONSTITUTION:A move object block detecting means 10 detects a move object block as the set of sentences, to which the exclusive control is not executed, sandwiched by the exclusive control blocks as the set of sentences, to which the exclusive control is executed, from a source program 1. A move possibility deciding means 20 decides whether all the sentences in the move object block can be moved before the preceding exclusive control block or behind the following exclusive control block. A move processing means 30 changes the two exclusive control blocks, which are made continuous by moving the sentences in the move object block, to one exclusive control block. Thus, the sentences in the program can be rearranged by the compiler and the number of times for the start and end processing of the exclusive control can be reduced without lowering documentary properties.

Description

DETAILED DESCRIPTION OF THE INVENTION (Field of Industrial Application) The present invention relates to an optimization method for exclusive control applied to a compiler of a high-level programming language.

(Conventional technology) Conventionally, exclusive control start processing in a program.

In order to reduce the overhead time due to the execution of the termination process, it is necessary for the user to write the program so that the exclusive control statements are consecutive, thereby reducing the number of times the exclusive control is started and terminated.

(Problems to be Solved by the Invention) The conventional system described above has the trouble of requiring the user to create a program while being aware of the dependencies between programs. Also.

If a user consciously creates a program so that exclusive control statements appear consecutively, the order in which the sentences appear will be different from the flow of the program, resulting in a deterioration in documentation quality.

An object of the present invention is to eliminate the above drawbacks by rearranging the statements in a program using a compiler.

An object of the present invention is to provide an optimization method for exclusive control configured so as not to reduce document quality.

(Means for Solving the Problems) The exclusive control optimization method according to the present invention includes a movement target section detection means, a movement possibility determination means, a movement processing means, and a metal fitting.

The movement target section detecting means detects non-exclusively controlled statements, which are a collection of exclusive-controlled statements, that are inserted into an exclusive-controlled section from a source program input to a compiler that translates a high-level programming language that can describe execution on multiple processors. This is for detecting the entire movement target section as a collection.

The movement possibility determining means extracts the sentences in the movement target section one by one, and determines whether the sentence can be moved without having a dependency relationship with all the sentences in the exclusive control section immediately before or after,
After it has been determined whether or not all sentences in the movement target section can be moved, all sentences in the movement target section are moved either before the immediately preceding exclusive control section or after the immediately following exclusive control section. This is to determine whether or not it is possible.

The movement processing means moves all the sentences in the movement target section determined to be movable by the movement possibility determining means to the front of the immediately preceding exclusive control section or after the immediately following exclusive control section, and also This is for changing two consecutive exclusive control sections due to statement movement into one exclusive control section.

(Example) Next, an example of the present invention will be described with reference to the drawings.

FIG. 1 is a block diagram showing an embodiment of an exclusive control optimization method according to the present invention.

In FIG. 1, 1 is a source program, 2 is a compiler, 10 is a movement target section detection means, 20 is a movement possibility determination means, and 30 is a movement processing means.

The compiler 2 is a movement target section search means lO.

It includes a movement possibility determining means 20 and a movement processing means 30.

In the movement target section search means 10 of the compiler 2.

Search and extract the movement target section from the input source program 1. The movement possibility determining means 20 is.

Checks the dependencies between the searched statement in the movement target section and all statements in the immediately preceding or following exclusive control section, and moves to the exclusive control section before or after the immediately preceding exclusive control section cI
Seven judgments are made as to whether it is T-noh or not.

The movement processing means 30 moves all sentences in the movement target section determined to be movable to the front of the immediately preceding exclusive control section or after the immediately following exclusive control section. As a result of these movements, the continuous exclusive control sections are changed into one exclusive control section.

FIG. 2 is an explanatory diagram showing an example of the source program 1 written in the FORTRAN language and an example of the source program after the source program 1 has been optimized.

The source program 1 includes exclusive control interval statements 110, 210, and exclusive control interval statements 190 and 290. It was a cabinet. In the exclusive control section 110a, statements 120, 130 . In the exclusive control section 210a, there is a statement 21O1 moving target section 310.
Sentences 310 and 320 are included in a.

The migration target section search means 10 of the compiler 2 searches for the migration target section 310at of the input source program l.

The movement possibility determining means 20 extracts the sentence 310 of the movement target section 310a, and examines the dependency relationship with all the sentences 120 and 130 of the immediately preceding exclusive control section 110a. Result 1
Since statement 310 has a dependency relationship with both statements 120 and 130, it is determined that it cannot be moved before exclusive control section 110a.

Also, the first sentence 310 is the sentence 22 in the exclusive control section 210a immediately after.
Since there is no dependency relationship with 0, it is determined that it is possible to move to the rear of the exclusive control section 210a.

Similarly, when the sentence movement judgment is performed for the first sentence 320, it is found that it is possible to move before the exclusive control section 110a,
It becomes impossible to move behind 10a.

Regarding all the sentences in the movement target section 310a.

After the determination of the possibility of moving the sentence is completed, move target section 3
The possibility of movement of 10a is determined. As a result of the determination, the statement 310 in the movement target section 310a is moved to the immediately following exclusive control section 220a.
Even if the statement 320 is moved backwards and further before the immediately preceding exclusive control section 110a, the dependency relationship can be maintained, so it is determined that the movement target section 310ai can be moved.

The movement processing means 30 processes the sentences 310 and 32 of the movement target section 310a determined to be movable by the movement possibility determination means 20.
0t - Move according to the determination. As a result of sentence movement,
By deleting the exclusive control interval statement 190 and the exclusive control interval statement 210 from the continuous control intervals 110a and 210a,
The exclusive control section 410a is changed to one exclusive control section 410a.

The source program 1a is the source program 1 after exclusive control optimization has been completed.

(Effects of the Invention) As explained above, the present invention allows the compiler to rearrange statements in a program.9. This has the effect of converting a plurality of discontinuous exclusive control sections into one continuous exclusive control section.

Therefore, there is an effect that the execution time can be shortened by reducing the overhead time accompanying the exclusive control start processing and termination processing jiK without the user being aware of exclusive control optimization.

[Brief explanation of drawings]

FIG. 1 is a block diagram showing an embodiment of an exclusive control optimization method according to the present invention. FIG. 2 is an explanatory diagram showing an example of an input source program and an example of the result after exclusive control optimization has been completed for the source program. 1... Source program 1a... Optimized source program 2... Compiler 10... Movement target section search means 20... Movement possibility determination means 30... Movement processing means 110.210... - Exclusive control section statement 190.290...Exclusive control section statement 120.130, 310, 320...Statement 110a,
210a, 410a...Exclusive control section 310a...Movement target section

Claims (1)

[Claims] From a source program input to a compiler that translates a high-level programming language that can describe execution on multiple processors, the movement target section is a collection of statements that are not under exclusive control and is sandwiched in an exclusive control section that is a collection of statements that are under exclusive control. A moving target section detecting means for detecting the moving target section, and extracting the sentences of the moving target section one by one, so that the extracted sentences have no dependency relationship with all the sentences in the exclusive control section placed immediately before or after the moving target section. After determining whether or not it is possible to move, and after determining whether or not all sentences in the movement target section can be moved, all sentences in the movement target section are moved before the immediately preceding exclusive control section. or a movement possibility determining means for determining whether or not it is possible to move to any of the following exclusive control sections, and all sentences in the movement target section that are determined to be movable by the movement possibility determining means. is moved to the front of the immediately preceding exclusive control section or after the immediately following exclusive control section, and the two exclusive control sections that became continuous by moving the statement in the movement target section are changed into one exclusive control section. 1. An optimization method for exclusive control of a compiler, characterized in that it is configured to include a movement processing means for.