US 2006/0143429 A1 · Method for executing plural programs, method for converting source programs and compiler program using these methods

Abstract

A synchronous reference code indicative of the fact that synchronous updating was made is provided to data which is to be applied to a critical section, and the code is set when synchronous updating is made. After a sentence in the critical section is executed, it is confirmed whether or not the synchronous updating of the data was made. In a thread for synchronous reference, reference is made, it is confirmed whether or not synchronous updating was made, and then the correctness of the updating is confirmed. When the synchronous updating is not made, the execution of the critical section is completed. Thereby the simultaneous execution of the critical sections and reduction of an overhead are realized.

Claims11

Dependent claims

A method for executing a plurality of programs in a computer system having a function of parallelly executing the plurality of programs, a memory space sharable by the plurality of programs and a function of excluding execution of the other programs, in case one of the plurality of programs is executed with respect to a memory space associated with sharing, said execution method comprising the steps of:

providing an area indicative of the fact that data in said memory space to be referred to by said one program was updated by the other programs;
making a first reference to said data and a second reference to said area by said one program;
completing the first reference in case the area indicates no updated fact based on the second reference;
and
excluding execution of said one program to execute the other programs in case said area indicates the updated fact.

2 more elements

A program converting method in a computer system having a function of parallelly executing the plurality of programs, a memory space sharable by the plurality of programs and a function of excluding execution of the other programs, in case one of the plurality of programs is executed with respect to a memory space associated with sharing;

said method comprising the steps of:
identifying presence or absence of a data structure shared by the plurality of programs in a source program described by a programming language having a function of parallelly executing the plurality of programs;
and
converting the source program to a converted program having an area indicative of the fact that the data structure was updated provided therein in case the source program has the data structure shared by the plurality of programs.

1 more element

Dependencies are inferred from the claim text.

Method for executing plural programs, method for converting source programs and compiler program using these methods

Life of this patent

Method for executing plural programs, method for converting source programs and compiler program using these methods

Life of this patent

Abstract

Claims11