本发明涉及并行程序的生成方法以及并行化编译装置。
背景技术：
在现有技术中已知一种根据由单处理器系统依次执行的顺序程序生成多处理器系统用的并行程序的并行化编译程序。
在这类并行化编译程序执行的并行化处理中，必须进行将各任务分配给任一处理部件(processorelement，作为其简称，以下有时会使用“pe”)的调度(scheduling)处理。作为该调度处理，已知有在生成并行程序时将各任务分配给任一处理部件的静态调度以及在执行程序时将各任务分配给任一处理部件的动态调度。
动态调度是将具有包含条件分歧的任务的顺序程序并行化使得在多处理器系统上执行时能够被启动而在并行程序中设定的调度手法。连接在条件分歧之后的各个任务的处理执行时间较短时，执行时将该各个任务分配给构成多处理器系统的任一处理部件的调度时间、也即开销(overhead)相对增大，难以实现并行执行的高速化。例如，包含条件分歧的任务以及后续处理的执行时间是10时钟周期(clockcycle)，而调度处理的执行时间是1000时钟周期时，执行并行执行反而要花费更多的执行时间。对此，进行静态调度时，在通过并行化编译程序生成并行程序的阶段就能够进行将并行执行可能的各任务分配给各pe，在多处理器系统中让并行程序运行时，不需要调度处理的时间(其中，从严密的角度来看，进行并行执行的pe之间需要短时间的同步处理)。所以，想要对顺序程序进行并行化来实现高速化时，理想的是使用静态调度手法。在这种含义下，除非另有说明，本说明书中所提到的“并行执行可能”这一用语作为与“能够静态调度”对应的语句进行使用。同样，“并行执行”这一表述不作为与“动态调度”相对应的含义进行使用。
然而，例如对不具有循环结构的主要由条件分支、函数调用及赋值语句构成的顺序程序、例如是面向车载控制装置的组装系统的顺序程序进行并行化，并在多处理器系统上使之运行的情况下，至近期为止还无法使用静态调度。
鉴于这种观点，使用静态调度手法将面向主要由条件分支、函数调用及赋值语句构成的组装系统的顺序程序变换成并行编译程序的方法以及将该方法软件化来进行体现的并行化程序逐渐得到提案。该方法内容如下：只要是能够将条件分支和连接在该条件分支之后的任务汇总成一个任务，生成多个该种任务，而这些任务能够并行执行，可以通过静态调度将这些任务分配给各个处理部件。根据该方法，由于条件分支被隐藏在被汇总的一个任务内，且在一个处理部件内部被执行，因此无需进行动态调度。
作为该类并行化编译程序的一个例子，被提案有以下一种并行化程序(参照专利文献1)：为了对面向车载装置用的组装系统的顺序程序进行并行化，该并行化编译程序让计算机执行以下(1)～(6)的处理。
(1)基于词法分析(1exicalanalysis)和句法分析(syntaxanalysis)的分析结果，将顺序程序划分成多个任务。
这里，任务由一个或多个语句构成。这里，任务被分类到包含连续赋值及条件分支的基本块(bb)、包含重复执行的重复块(rb)和包含函数的子程序块(sb)这三类粗粒度任务中的任一任务。
(2)基于各任务间的控制依赖性(相当于本说明书中的“控制流程”)，将具有向不同任务分支的处理的任务确定为开始任务，同时，将开始任务为起点依次被执行的多个一系列处理的所有处理中共同执行的任务当中的任一任务确定为结束任务。这里，“控制流程”是指由顺序程序中记载的顺序及条件分支等被决定的处理路径。
(3)将被确定的开始任务、以开始任务为起点的处理中的结束任务以及在开始任务执行之后、结束任务执行之前的所有任务融合成一个新任务。
(4)对包含上述被融合后的该新任务的任务间的数据依赖性(相当于本说明书中的“数据依赖性”)以及控制依赖性进行分析。然后，基于任务间的数据依赖性以及控制依赖性，通过构成搭载在车辆装置上的多处理器系统的多个处理部件(相当于本说明书中的“处理部件pe”，以下同样)抽取并行执行可能的任务。
(5)进行静态调度，将并行执行可能的各个任务分别分配给任一处理部件，使得该并行执行可能的各个任务由不同的处理部件并行地被执行。
(6)基于静态调度的结果，生成并行程序。
根据该并行化编译程序，即使是包含条件分支的顺序程序，也能够将包含分支处理的任务确定为开始任务，同时将开始任务为起点依次被执行的多个一系列处理的所有处理中共同执行的任务当中的任一任务确定为结束任务，并将包括该开始任务和结束任务的一系列任务融合成一个新任务。该新任务通过静态调度被分配给任一处理部件。
根据专利文献1中的并行化编译程序，即使是在对比如大量包含后续任务的执行时间较短的条件分支的顺序程序进行并行化的情况下，也能够通过静态调度将各宏任务分配给任一处理部件，因此，能够防止执行时的调度处理的开销增大，能够自动生成能进行高速处理的并行程序。
然而，在专利文献1的并行化编译程序中尚有改善的余地。例如，专利文献1中的并行化编译程序基于控制流程决定开始任务和结束任务，并将开始任务、结束任务以及在这些任务之间执行的所有任务融合成一个任务(分组/grouping)。但是，构成融合对象的开始任务执行之后且结束任务执行之前被执行的多个任务中有可能存在并行执行可能的任务。如果将并行执行可能的多个任务融合在一起的话，抽取并行执行可能的任务的可能性受到损害(可能性被降低)。
现有技术文献
专利文献
专利文献1：日本特开2015-001807号公报
技术实现要素：
鉴于该问题，本发明的目的在于提供一种解决了专利文献1中存在的上述问题点的能够抽取并行执行任务的并行程序的生成方法以及并行化编译装置。
接着，在本发明中，要使用到的主要用语“(任务间的)数据依赖性”、“(任务间的)控制依赖性”以及“任务融合”的含义说明如下。另外，根据需要，在说明的过程中适当地对其他用语进行说明。
首先，对任务间的“数据依赖性”的含义进行说明。众所周知，先行的一个任务中包含的语句和后续的其他任务中包含的语句之间存在语句间的数据依赖性时，称作该其他任务数据依赖于该一个任务。这时，两个任务中分别含有的语句间只需存在一个数据依赖性，则两个任务间属于存在数据依赖性的关系。当任务间存在数据依赖性时，在该先行的一个任务中，只有当与该后续的其他任务中包含的语句之间有数据依赖性的所有语句执行结束，该后续的其他任务的执行才能开始。在实际的程序中的任务之间的数据依赖性分析中，在考虑到这层含义的同时，用“直到该一个任务执行结束，才开始该其他任务的执行”这一表述来意指“该其他任务数据依赖于该一个任务”。也即，在进行这种数据依赖性的分析中，“(任务间的)数据依赖性”存在时，在并行化的过程中不能改变顺序程序中规定的先行的一个任务与后续的其他任务间的执行顺序。
这里，“语句间的数据依赖性”是指下述(a)～(c)的依赖性中至少任意一个关系成立的意思。
(a)后续语句使用先行语句定义的变量(称之为“流依赖”)。变量的定义是指将赋值代入变量的意思，变量的使用是指参照变量的赋值的意思。以下是其中一个例子。
先行语句：var＝a
后续语句：x＝var
(b)后续语句对先行语句定义的变量进行再定义(称之为“输出依赖”)。再定义是指将新的赋值代入已经被定义好的变量中的意思。以下是其中一个例子。
先行语句：var＝a
后续语句：var＝b
(c)后续语句定义先行语句使用的变量(称之为“反依赖”)。以下是其中一个例子。
先行语句：x＝var
后续语句：var＝c
这个情况是指先行语句使用的变量进一步通过先行语句进行定义。
如上所述，处于流依赖、输出依赖、反依赖性的两语句间的执行顺序相反时，运算结果不同，因此，在并行化过程中也需要确保执行顺序不变。
接着，说明任务的“控制依赖性”的含义。任务的控制依赖性与以下的依赖性相关：与连接在条件分支的某一特定分支方向之后的任务的条件分支之间的依赖性关系。条件分支的分支方向确定为一个分支方向，由此使得连接在该一个分支方向之后的任务的执行确定时，则称之为该后续的任务控制依赖于该条件分支的一个分支方向。
此外，也有任务的(控制)依赖性伴随任务间的数据依赖性而出现的情况。详细内容在实施方式的说明部分中进行说明。这里先举出一个例子。
例如可以考虑以下情况：具有两个分支方向的条件分支的分支方向确定为第1分支方向时被执行的第1任务中包含的语句中某一变量被定义，且该变量在该条件分支的分支方向为任意一个方向时都会被执行的第2任务中包含的语句中被再定义的情况、也即第2任务中包含的语句输出依赖于第1任务中包含的语句。
换而言之，第1任务相对于条件分支的第1分支方向具有控制依赖性，第2任务数据依赖于第1任务。需要说明的是，第2任务在该条件分支的分支方向为任一方向时都会被执行，因此，第2任务相对于该条件分支的任一分支方向均不具有控制依赖性的关系。
在该场合中，条件分支的分支方向确定为该第1分支方向时，自然第1任务就会被执行，数据依赖于该第1任务的第2任务也能被执行。这时，在这种例子中，由第1任务包含的语句定义的变量通过第2任务包含的语句被再定义。另外，当条件分支的分支方向确定为与该第1分支方向不同的第2分支方向时，第1任务确定为不执行，而第2任务能够被执行而不用考虑与第1任务的执行顺序。这时，在第1任务中不会执行该变量的定义，但是，该变量通过第2任务包含的语句被(再)定义，因此，不会对其执行构成障碍。
即，因该条件分支的分支方向确定为第2分支方向，可以说第2任务相对于第1任务的数据依赖性被解除。
以上的说明涉及了第1任务和第2任务间存在“输出依赖”这种数据依赖性的情况。在“反依赖”的情况时，该变量也是通过第2任务来被定义，因而与“输出依赖”的情况相同。然而，当上述两语句间的“数据依赖”是“流依赖”的情况时，以在确定为第2分支方向之前在第2任务中使用的变量已经被定义的情况为前提，通过使条件分支的分支方向确定为上述第2分支方向，第1任务确定为不执行，第2任务能够被执行而不用考虑与第1任务之间的执行顺序。
这样，通过使条件分支的分支方向确定为第2分支方向，第2任务相对于第1任务的数据依赖性解除，从而可以开始第2任务的执行。也即，如果第2任务相对于该条件分支的任一分支方向都不具有控制依赖性，这样，第2任务与第1任务的数据依赖性不存在，则第2任务与该条件分支能够并行执行。但是，第2任务相对于第1任务具有数据依赖性，因此，除非在第1任务结束或者在条件分支的分支方向确定为第2分支方向后，无法执行第2任务。在这种情况下，第2任务相对于条件分支的第2分支方向具有扩展控制依赖(extended-controldependency)关系。
如上所述，能够通过数据依赖性和控制依赖性、以及其组合能够表达某一任务能够执行的条件。也即，数据依赖性、控制依赖性及扩展控制依赖性是使得对顺序程序进行了并行化后的程序生成与原始的顺序程序相同的运算结果的条件。因此，在对顺序程序进行并行化时，对要构成的任务的依赖性的把握是重要的。
接着，说明“任务融合”的含义。“任务融合”是指将包含彼此关联的多个任务的任务组规定成一个新任务的含义。通过该“任务融合”生成的新任务能够在并行程序的生成时的调度中被分配给一个pe。另外，该“任务融合”与比如作为重复块融合的“循环融合”等“代码融合”不同，被融合的该多个任务的结构/功能等能够维持原样，不会有所变化。
为了解决上述课题，本发明是一种通过计算机实现的从顺序程序生成并行程序的方法，该并行程序能够在包括多个执行运算处理的运算处理单元的系统中执行，该并行程序的生成方法的特征在于包括以下各步骤：
将所述顺序程序划分为多个任务的步骤；
分析所述多个任务以确定所述多个任务的各自的数据依赖性和控制依赖性的步骤；
基于所述数据依赖性和所述控制依赖性，将包括基准任务和所有后续任务的任务组决定为应融合任务组且将该应融合任务组融合成新任务的步骤，其中，所述基准任务是具有条件分支的任务，所述后续任务是相对于该基准任务中包含的条件分支的所有分支方向的各个方向具有控制依赖性、扩展控制依赖性或间接控制依赖性的任务。
在本说明书中，“任务相对于条件分支的任一分支方向具有间接控制依赖(indirctcontroldependency)关系”这一表述是指：任务与具有条件分支的分支方向之间的控制依赖或扩展控制依赖重复两次以上的含义。例如，在包含任务c的任务d控制依赖于条件分支a的某一分支方向b且任务f扩展控制依赖于条件分支c的某一分支方向e时，条件分支a的分支方向b与任务f之间控制依赖或扩展控制依赖重复两次以上。在这种情况下，表示为任务f间接控制依赖于条件分支a的分支方向b。间接控制依赖性是与间接控制依赖性、控制依赖性及扩展控制依赖性中的任一依赖性均不相同的概念，与扩展控制依赖性相同，间接控制依赖性可以从数据依赖性及控制依赖性的关系的组合导出。
根据本发明的并行程序的生成方法，通过执行任务划分步骤，能够将顺序程序中包含的任务划分成多个任务。
通过对该多个任务执行依赖性分析步骤，分析该多个任务的各自的数据依赖性和控制依赖性。
通过基于该分析结果执行融合步骤，将包括条件分支的基准任务和所有后续任务的任务组融合成一个新任务。所述后续任务是相对于该基准任务中包含的条件分支的所有分支方向的各个方向具有控制依赖性、扩展控制依赖性或间接控制依赖性的任务。
需要说明的是，在本说明书中记载的“后续任务”存在多个时，则将其称为“后续任务组”。
这样，任务组通过融合步骤被融合成一个任务，包含条件分支的基准任务和所有后续任务的任务组被作为一个新任务来对待，由此，条件分支被隐藏在一个任务内。其中，所述后续任务是相对于条件分支的所有分支方向的各个方向具有控制依赖性、扩展控制依赖性或间接控制依赖性的任务。
从包含条件分支的基准任务和所有后续任务的任务组中进一步抽取并行执行可能的任务并通过静态调度进行并行执行这一处理在该后续任务如后所述不满足规定条件的情况下一般是困难的。但是在本发明中，即使将这些任务作为一个任务来对待也不会损害抽取任务间的并行性的可能性。其中，所述后续任务是相对于条件分支的所有分支方向的各个方向具有控制依赖性、扩展控制依赖性或间接控制依赖性的任务。因此，根据本发明的编译程序，能够生成可选择任务组的能够静态调度的并行程序，其中，该任务组是从不损害抽取任务间的并行性的可能性的观点出发能够作为一个任务组来看待。
在本发明的并行程序的生成方法中，进一步包括以下各步骤：
基于所述数据依赖性，调度将包括所述新任务的多个任务的各个任务分配给所述多个运算处理部的步骤；
基于所述调度结果生成所述并行程序的步骤。
根据具有该构成的并行程序的生成方法，通过依赖性分析步骤能够确定多个任务间的数据依赖性。并且，计算机在所述“融合步骤”执行之后的调度步骤中基于任务间的数据依赖性将包括所述新任务的多个任务的各个任务分配给任一运算处理部，并基于该调度结果生成并行程序。
如上所述，根据本发明的并行程序的生成方法，由于是在考虑了数据依赖性、控制依赖性及扩展控制依赖性的基础上进行调度，因而从不损害抽取任务间的并行性的可能性的情况下能够进行静态调度这一观点来看，能够生成合适的并行程序。
在具有该构成的并行程序的生成方法中，基于在所述数据依赖性及控制依赖性的分析中获得的各任务间的数据依赖性和控制依赖性，分析所述多个任务的各个任务的最早执行可能条件，并且基于所述分析结果来确定应融合任务组。
根据具有该构成的并行程序的生成方法，基于各任务间的数据依赖性和各任务的控制依赖性进行最早执行可能条件的分析。由此，能够与现有的并行化手法进行整合。
在本发明的并行程序的生成方法中，进一步包括以下步骤：
确定包括所述基准任务和第1后续任务的任务组的步骤，其中，所述第1后续任务是指：相对于所述基准任务中包含的条件分支的所有分支方向的各个方向具有控制依赖性或扩展控制依赖性的任务；
向所述任务组追加所有第2后续任务的步骤，其中，所述第2后续任务是指：相对于所述任务组中包含的条件分支的所有分支方向的各个分支方向具有控制依赖性或扩展控制依赖性的任务；
重复追加第2后续任务直到相对于所述任务组中包含的条件分支的任一分支方向具有控制依赖性或扩展依赖性的任务均不存在的步骤；
将所述任务组决定为所述应融合任务组的步骤。
根据具有该构成的并行程序的生成方法，通过重复执行将以下任务追加到任务组的处理，能够确定对包含在这种任务中的所有条件分支进行隐藏的任务组，并将该任务组融合成一个新任务。其中，上述任务是指：相对于基准任务、第1后续任务或第2后续任务中任一任务中包含的所有条件分支的各个分支方向具有控制依赖性或扩展控制依赖性的任务。其结果，能够从通过静态调度进行并行化是困难的且循环结构少、条件分支多的顺序程序中抽取多个任务作为“应融合任务组”，并将该“应融合任务组”融合成一个新任务。
如上所述，从不损害任务间的并行性抽取的可能性的情况下能够进行静态调度的观点来看能够生成更为合适的并行程序。
除此之外，通过重复抽取相对于第1或第2后续任务的任一任务中包含的条件分支的所有分支方向的各个分支方向具有控制依赖性或扩展控制依赖性的任务，能够在控制计算量的情况下抽取任务组。
在本发明的并行程序的生成方法中，进一步还包括以下各步骤：
判定是否满足包括并行执行可能条件在内的规定条件的步骤，其中，所述并行执行可能条件是指：相对于所述应融合任务组中包含的所述基准任务包含的条件分支中的一个分支方向具有控制依赖性、间接控制依赖性或扩展控制依赖性的多个任务是否彼此之间不具有控制依赖性、间接依赖性、扩展控制依赖性或数据依赖性；
当判定不满足所述规定条件时，将所述应融合任务组融合成所述新任务；
当判定满足所述规定条件时，复制所述基准任务中包含的条件分支，将彼此之间不具有控制依赖性、间接依赖性、扩展控制依赖性或数据依赖性的所述多个任务连接在包含各个被复制的条件分支的多个条件分支的各个条件分支之后，对该多个条件分支的各个条件分支与连接在该多个条件分支的各个分支之后的所述多个任务进行组合，生成多个任务组，将该多个任务组决定为新的多个应融合任务组，并将该多个应融合任务组融合成各个所述新任务。。
根据具有该构成的并行程序的生成方法，通过由计算机执行条件判定步骤，判定用于使多个任务能够并行执行的规定条件是否满足，其中，所述多个任务是指：相对于所述基准任务中包含的条件分支的一个分支方向具有控制依赖性、间接控制依赖性或扩展控制依赖性的任务。并且，在条件判定步骤中判定规定条件不满足时，对包括基准任务和后续任务的“应融合任务组”执行融合步骤。当通过该融合步骤生成的新任务存在多个且彼此之间不具有控制依赖性、间接依赖性、扩展依赖性及数据依赖性时，能够将这些多个新任务分配给各个pe。另外，即使在所述新任务只存在一个时，只要彼此之间不具有控制依赖性、间接依赖性、扩展依赖性及数据依赖性的任务另外存在，这些任务也能够彼此并行执行。
另一方面，当在条件判定步骤中判定规定条件满足时，通过计算机执行复制步骤，对包含在基准任务中的条件分支进行复制。并且，通过计算机执行后续步骤，彼此不具有控制依赖性、间接依赖性、扩展依赖性及数据依赖性的所述多个任务连接在各自不同的条件分支之后。这样，并行执行可能的任务分别与不同的条件分支一起包含于“应融合任务组”中，这些多个“应融合任务组”分别被融合到新任务中，因此，能够将该新任务分别分配给个别的处理部件。由此，不会损害相对于所述基准任务中包含的条件分支的一个分支方向具有控制依赖性、间接依赖性或扩展依赖性的多个任务间的并行性抽取的可能性。
这里，所述规定条件设定成：首先前提是“所述应融合任务组中有并行执行可能的任务存在”。也即，从原来的顺序程序尽可能多地抽取并行执行可能的任务的观点来看，分析所述应融合任务组中也是否存在后述的并行执行可能的任务这一处理相对于本发明的目是重要的。
如上所述，根据具备该构成的并行程序的生成方法，从能够在不损害(不降低)抽取任务间的并行性的可能性的情况下进行静态调度的观点来看能够生成更为适合的并行程序。
附图说明
图1是一个实施方式的整体构成图。
图2是一个实施方式的并行程序生成处理的流程图。
图3是其他实施方式的行程序生成处理的流程图。
图4是说明分析器(profiler)的插入位置的图。
图5是任务的多层展开的示意图。
图6是表示宏流程图(macroflowgraph)(mfg)的第1例的图。
图7是表示图6的mfg中各任务的每个最早执行可能条件的图。
图8是表示根据图6的mfg生成的宏任务图(mtg)的第1例的图。
图9详细展开了图2和图3的step018中应融合任务组决定处理的流程图。
图10是为了说明图9的流程图而从图8的mtg中提取出的图。
图11是以图8的mtg的第1例为基础的关于基准任务中包含的条件分支的复制的示意图。图11a表示复制前的宏任务图，该宏任务图包括图8中包含的基本块bb7～bb10及基本块bb12，并省略了延伸到外部的边；图11b表示条件分支(基准任务)复制后的宏任务图。
图12是表示mfg的第2例的图，是基本块bb5控制依赖于基本块bb1且基本块bb11控制依赖于基本块bb7时的mfg。
图13表示图12的mfg中各任务的每个最早执行可能条件的图。
图14是根据图8的mtg生成的融合后的mtg。图14a表示在不复制条件分支的情况下融合后的mtg；图14b表示在进行了条件分支复制的情况下融合后的mtg；图14c表示根据现有技术融合任务后的mtg。
图15是表示根据图12的mfg生成的mtg的第2例的图。
图16是为了说明图9的流程而从图15提取出的图。
图17是关于以图15的mtg的第2例为基础进行的包含于基准任务的条件分支的复制的示意图。图17a表示复制前的宏任务图，该宏任务图包括图15中包含的基本块bb7～bb11及基本块bb12，并省略了延伸到外部的边；图17b表示条件分支(基准任务)复制后的宏任务图。
图18是根据图15的mtg生成的融合后的mtg。图18a表示在不复制条件分支的情况下融合后的mtg；图18b表示在进行了条件分支复制的情况下融合后的mtg；图18c表示根据现有技术融合任务后的mtg。
图19是表示mfg的图，用于说明专利文献1的融合方法的原理。
图20是表示说明基于图9的mfg而生成的用于说明本发明的原理的图。
符号说明
100编译装置
110运算处理要素
120读取装置
130写入装置
140存储装置
200多处理器系统
210集中式共享存储器
220输入输出装置
c并行化编译程序
pe1第1处理部件
pe2第2处理部件
pen第n处理部件
p1顺序程序
cf设定文件
p2并行程序
pb二进制代码。
具体实施方式
参照图1至图18说明本发明的实施方式。
(编译装置的构成)
并行化编译装置100以在单处理器系统中能够依次执行的顺序程序p1和设定文件cf为输入，输出能够在多处理器系统200中并行执行的二进制代码pb。需要说明的是，并行化编译装置100对应于本发明的“电脑”的一例。
为了实现该功能，并行化编译装置100具备运算处理要素110、读取装置120、写入装置130和存储装置140。
运算处理要素110构成为具备中央运算单元(cpu)等，并构成为能够发挥任务划分部111、依赖性分析部112、融合部113、调度部114、生成部115、应融合任务组决定部116以及条件判定部117的作用。其中，上述各部用于从存储器等存储装置140中读取并行化编译程序c，并按照并行化编译程序c执行用于进行后述并行化处理的运算处理。通过按照并行化编译程序c执行运算处理，运算处理要素110执行后述图2或图3中step002至step032的一系列处理。由此，并行化编译装置100生成能够进行并行执行的二进位码pb，并将其输出。
读取装置120是从外部存储介质读取信息的装置，例如由cd驱动器、dvd驱动器或蓝射线(blu-ray)(注册商标)驱动器等构成。也可以借助键盘等输入装置或通信装置代替读取装置120从外部输入顺序程序p1及设定文件cf。还可以从与并行化编译装置100连接的外部存储介质(usb存储器)等读取顺序程序p1及设定文件cf。
顺序程序p1例如是通过fortran、c语言等高级语言编写的源代码。
设定文件cf记录了生成多处理器系统200中运行并行程序所必需的下述信息：构成多处理器系统200的处理部件的数量；构成部件的cpu等处理器的类别及本地存储器的存储容量或/和访问时间；搭载在多处理器系统200上的共用的存储区域的存储容量或/和访问时间；搭载在多处理器系统200上的os的信息等；
在并行化编译装置100和多处理器系统200使用共用的存储装置的情况下，并行化编译装置100也可以通过参照该存储装置来获取记录在设定文件cf中的信息。
写入装置130由用于将信息写入外部存储介质的装置、例如cd-r驱动器、dvd-r驱动器或蓝射线(blu-ray)(注册商标)驱动器等构成。例如，也可以借助通信装置取代输出装置130将二进制代码pb输出到外部。也可以将二进制代码pb写入与并行化编译装置100连接的外部存储介质(usb存储器)等。
二进制代码pb是可由多处理器系统200的第一处理部件pe1～第n处理部件pen的各个处理部件分别执行的执行用程序。通过由第一处理部件pe1～第n处理部件pen执行二进制代码pb，能够获得与单处理器系统执行顺序程序p1(的二进制代码)的情况相同的处理结果。
存储装置140由rom、ram及hdd等存储装置(主存储装置及辅助存储装置等)和i/o电路构成。存储装置140至少包括非易失性存储器。ram是可读写的易失性存储器，rom是读出专用的非易失性存储器，hdd是可读写的非易失性存储器。在rom和hdd中预先存储有由运算处理要素110读出并执行的程序等。ram是在运算处理单元110执行存储在rom和hdd中的程序时作为用于暂时保存该程序的存储区域或是用于暂时保存作业用数据的存储区域进行使用。另外，也可以代替ram或者在具备ram的基础上，hdd作为用于暂时存储该程序的存储区域或是用于暂时存储作业用数据的存储区域进行使用。
在存储装置140的非易失性存储器中，保存有事先安装的并行化编译程序c和设定文件。
(多处理器系统的构成)
处理器系统200具备n个构成处理部件的pe1～pen、集中式共享存储器210和多处理器系统的输入输出装置220，这些处理部件和装置等通过总线连接或交叉总线连接等互联网彼此连接。各个处理部件分别相当于本发明的“运算处理部”。
第k处理部件pek(k＝1，···，n)具备中央运算单元cpu、本地数据存储器ldm、数据传送单元dtu、分布式共享存储器dsm和本地程序存储器lpm。
第k处理部件pek(k＝1，…，n)的构成只要是能够进行规定的运算处理也可以与该结构不同。例如，第k处理部件pek(k＝1，...，n)除了具备本地数据存储器ldm和本地程序存储器lpm之外，还可以进一步具备高速缓冲存储器(cachememory)，或者由高速缓冲存储器取代上述本地数据存储器ldm和本地程序存储器lpm。第k处理部件pek(k＝1，...，n)可以具有用于控制时钟频率或电源电压的寄存器。第k处理部件pek(k＝1，...，n)除了中央运算单元可以进一步具备加速器(accelerator)或者具备加速器来代替中央运算单元cpu。另外，相反也可以省去cpu以外的构成要素(ldm、lpm、dsm、dtu)中的全部要素或一部分要素。而且，第k处理部件pek(k＝1，…，n)也可以是彼此不同的构成。
中央运算单元cpu是通用处理器。
本地数据存储器ldm只有从包括该ldm的处理部件才能访问的存储装置(由ram等构成)构成。
数据传送单元dtu是管理处理部件之间、第k处理部件pek与集中式共享存储器210之间或者第k处理部件pek与多处理器系统的输入输出装置220之间的数据传送的单元。
作为各处理部件的构成要素之一的分散式共享存储器dsm是从其他处理部件也能够访问的存储装置(由ram等构成)，但有时也不一定要设置该分散式共享存储器。
本地程序存储器lpm存储包括该lpm的第k处理部件pek执行的程序(例如是二进制代码当中被分配给第k处理部件pek的部分的程序)。
一部分处理部件也可以具备数字信号处理器(digitalsignalprocessor：“dsp”的简称)或动态可重构处理器(dynmicallyreconfigurableprocessor)，以替代cpu。
各处理部件pe1～pen可以被分成构成阶段性处理部件组的处理部件组pg。该分组手法的具体内容公开于参考文献1(宫沢稔、冈本雅巳、笠原博德的“阶段型宏数据流处理中的子程序并行处理手法(階層型マクロデ一タ7口一処理におけるサブル一チン並列処理手法)”信息处理学会全国大会演讲论文集，1994年/第48届)中。
需要说明的是，中央运算单元cpu、处理部件pe1～pen的各个处理部件或处理部件组pg对应于本发明的“运算处理部”的一例。
集中式共享存储器210由各处理部件pe1～pen能够访问的存储介质(由ram，rom，hdd等构成)构成。
多处理器系统的输入输出装置220根据情况可以由例如cd驱动器、dvd驱动器或blu-ray(注册商标)驱动器等、从外部存储介质中读取信息的装置构成。例如可以借助通信装置从外部将二进制代码pb输入到多处理器系统200中，以取代多处理器系统的输入输出装置220。也可以通过直接将二进制代码pb写到多处理器系统的存储装置(集中式共享存储器210或本地程序存储器lpm)中，来输入该二进制代码pb。当然，输入输出装置220具有读入在多处理器系统中进行运算处理的数据和输出运算结果的功能。
特别是在多处理器系统200被用作车辆等控制对象的控制用处理器系统时，多处理器系统的输入输出装置220具有实时读入控制所需的表示控制对象的状态的状态信息数据(例如车辆的引擎转速、温度等)作为二进制数据的功能以及在用并行程序运算处理后实时输出用于对控制对象进行控制的控制信息数据的功能。
如上述说明，具备处理部件pe1～pen或是对这些处理部件进行了分组后的处理部件组pg、并进一步还具备共享存储装置和/或输入输出装置的多处理器系统相当于执行由本发明的并行化编译装置生成的并行程序的“系统”。另外，本发明的“系统”不限定于集成在一个半导体芯片上的多处理器系统或是将多个运算处理部搭载到一个盒体内而构成的系统，还包括借助通信将作为运算处理部的多个计算机彼此连接而构成的系统。
(并行程序生成处理)
接着，参照图2的流程，然后参照说明其他例子的图3，说明通过由并行化编译装置100的运算处理要素110执行并行化编译程序c来进行并列程序p2及其二进制代码pb的生成处理。
首先，从图2的说明开始。
运算处理要素110借助读取装置120读取顺序程序p1及设定文件cf时，对顺序程序p1执行词法分析及句法分析(图2/step002)。
任务划分部111基于词法分析及句法分析的分析结果，将顺序程序p1划分成包含赋值语句及条件分支的基本块(bb)、包含重复执行的重复块(rb)和包含函数的子程序块(sb)这三类粗粒度任务(宏任务)(图2/step004)。需要说明的是，也可以将融合了一个或多个基本块(bb)的伪赋值语句块(bpa)(pseudoassignmentstatement)作为一个任务进行处理。另外，图2/step004的处理对应于本发明的“任务划分步骤”的一例。
任务划分部111对包括各任务的执行时间的执行成本进行分析(图2/step006)。
例如，任务划分部111如图4所示在各个任务的前后分别插入分析器(profiler)pro1～8并按照规定的场景(scenario)执行，由此计测作为执行成本的各任务的任务执行次数和执行时间(e)。例如，考虑任务mt1的执行成本。在mt1之前插入有pro1(mp_prop_count(1)；mp_prop_clock_start(1))，在mt1之后被插入有pro2(mp_prop_clock_end(2))，pro1计测mt1中处理通过的次数及mt1在该时的处理的开始时刻，pro2计测mt1的处理结束时刻。mt1的执行时间可以根据mt1的结束时刻的计测值减去开始时刻的计测值来求得。
另外，pro3(mp_prop_count(2)；mp_prop_clock_start(2))计测mt2的处理次数和处理开始时刻，pro4(mp_prop_clock_end(2))计测mt2的处理结束时刻；pro5(mp_prop_count(3)；mp_prop_clock_start(3))计测mt3的处理次数和处理开始时刻，pro6(mp_prop_clock_end(3))计测mt3的处理结束时刻。mt2和mt3从mt1分支并与mt1后续连接，mt2和mt3的处理次数之和与mt1的处理次数相一致。另外，mt2的处理次数除以mt1的处理次数，就能够计算出mt2从mt1分支出来的概率。同样，能够计算出分支到mt3的概率。此外，mt2和mt3与mt1的情形相同，分别从处理结束时刻的计测值减去处理开始时刻的计测值，就能够求解出各自的执行时间。
通过这种方式，同样能够计测出其他所有任务的执行时间(执行成本)。
只要能够计测到执行时间以及分支到条件分支的各分支方向上的概率，基于该数据，就能够计算出各种任务组的执行成本。任务的执行成本计算的内容记载在参考文献2(小幡元树，白子凖，神长浩气，石坂一久，笠原博德的“用于多粒度并行处理的阶段的并行性控制手法(マルチグレィン並列処理のための階層的並列性制御手法)”信息处理学会论文集，2003年)中。
执行成本中除了包括这类执行次数和执行时间，还可以包括用于执行任务的消耗电力。利用该计测到的各任务的执行成本，能够计算出任务组(多个任务的集合)的执行成本。
在执行了执行成本分析step006后，当包含有执行成本特别大的子程序块sb时，任务划分部111在必要的场合对该子程序块sb执行内联扩展(inlineexpansion)。该内联扩展有时执行有时不执行，因此在图2(或图3)中未对其进行表示。内联扩展众所周知是用子程序块sb中的程序代码置换包括程序中所包含的子程序的函数调用的含义。图5中表示了构成程序的基本块bb、重复块rb和子程序块sb这三类(宏)任务中可能存在的分层后的并行性。图5例如表示了以下的意思：sb中包含的程序代码属于调用该sb(进行函数调用)的层(1stlayer)以下的层(2ndlayer、3rdlayer)，同样能够被划分成bb、rb、sb。该内联扩展在以下场合中会被应用到：即，通过将子程序块sb中的程序代码扩展到上位层并包括该扩展在内进行分析从而使得抽取并行性的可能性变高的场合。但是，频繁地使用内联扩展时，程序代码的规模有时会变得极大。因此，从上位层开始一层层地进行内联扩展。在进行内联扩展时，处理流程再次回到任务划分步骤step004。另外，也可以将从并行化处理流程的起头到内联扩展后的程序作为并行化对象。
在执行成本分析结束后，依赖性分析部112对在任务划分处理中被划分的各任务进行控制流程及数据依赖性的分析(图2/step010)，并生成宏流程图(macroflowgraph)(以下简称“mfg”)(图2/step012)。
将通过这种方式生成的mfg的一例示于图6中。如图6所示，mfg由表示成节点的任务、连接两个节点的实线边缘及虚线边缘构成。此外，在图6中，emt14是表示一组任务结束的标记，并不是指任务。
各任务是基本块(bb)(或是伪赋值语句块(bpa))、重复块(rb)及子程序块(sb)中的任意一个块。各实线边表示后处理的任务(构成顺序程序的后执行的任务)数据依赖于前处理(构成顺序程序上的前执行的任务)。各虚线边表示先行处理的任务到后续处理的任务的控制流程。节点内的小圈表示条件分支。
例如，在图6中，基本块bb1、基本块bb2以及基本块bb5分别通过虚线边连结，这表示包含于基本块bb1中的条件分支的各分支方向是基本块bb2和基本块bb5。在后文的说明中，在mfg中，比如将基本块bb1中包含的条件分支的分支方向是bb2的分支方向的情况表示为“bb12”。其中，使用包含条件分支的任务bb1的名称，并将控制流程上的分支方向上最初的任务bb2的号码2作为下标数字进行表示。同样，将基本块bb1中包含的条件分支的分支方向是bb5的分支方向表示成“bb15”。
另外，在图6中，基本块bb3和基本块bb6用实线边连结。这表示子程序块bb6数据依赖于基本块bb3。
另外，图6中的mfg中各边的箭头省略，各边的方向为朝下。
依赖性分析部112针对mfg分析任务的最早执行可能条件(图2/step014)。需要说明的是，图2/step014的处理相当于本发明的“依赖性分析步骤”中包含的“最早执行可能条件分析步骤”的一例。通过基于mfg分析各任务的控制依赖性及数据依赖性进行任务的最早执行可能条件的分析。由于只要各任务的控制依赖性及数据依赖性的分析结束，事实上最早执行可能条件就能够简单地进行实施，因此本说明书中是指对两者或两者中的任一者进行依赖性分析。
首先，说明对图6的mfg实施了控制依赖性及数据依赖性的分析的情况。根据图6所示的基本块bb1的条件分支的执行结果，决定可否执行基本块bb2，因此，基本块bb2相对于基本块bb1中包含的条件分支的一个分支方向bb12是控制依赖关系。
另外，根据基本块bb2中包含的条件分支的分支方向，决定是否要执行基本块bb3，因此，基本块bb3相对于基本块bb2中包含的条件分支的一个分支方向bb23是控制依赖关系。在该情况下，基本块bb3相对于基本块bb1中包含的条件分支的一个分支方向bb12是间接控制依赖关系。
此外，不管基本块bb1的条件分支的分支方向是向哪一方向，基本块bb5都会被执行，因此，基本块bb5相对于基本块bb1中包含的条件分支的所有分支方向bb12，bb15不是控制依赖关系。
基本块bb6对基本块bb3具有数据依赖性。根据对基本块bb1的条件分支的一个分支方向bb15的确定，即使基本块bb2确定了不被执行(进而基本块bb3也确定不被执行)，也能够执行基本块bb6。因此，bb6相对于基本块bb1中包含的条件分支的一个分支方向bb15是扩展控制依赖关系。
另外，通过确定基本块bb2的条件分支的一个分支方向bb24，即使基本块bb3确定不被执行时，也能够执行基本块bb6。因此，基本块bb6相对于基本块bb2的条件分支的一个分支方向bb24是扩展控制依赖关系。
mfg表示顺序程序中任务间的控制流程关系以及数据依赖性，但是并不表示并行性。为了抽取并行性，需要基于说明至此的各任务的控制依赖性和该各任务间的数据依赖性的分析结果进行最早执行可能条件的分析。某一任务的最早执行可能条件是指能够让该任务以最早时刻执行的条件。这里，各任务中以下关系成立(参照参考文献3：稻石大祐、木村啓二、藤本谦作、尾形航、冈本雅巳、笠原博德的“利用了最早执行可能条件分析的缓冲最优化手法(最早実行可能条件解析を用ぃたキヤツシユ最適化手法)”，信息处理学会全国大会演讲论文集，1999/第58届)。
(1)第i任务mti相对于第j任务mtj(j≠i)中所包含的条件分支的一个分支方向是控制依赖关系的情况时，只要第j任务mtj的条件分支的分支方向确定，第j任务mtj的执行即使没有结束，第i任务mti也能够执行。
当(2)当第i任务mti数据依赖于第k任务mtk(k≠i)时，在第k任务mtk的执行没有结束的期间，第i任务mti无法执行。
对上述进行整理后，第i任务mti的最早执行可能条件能够通过下述(3)和(4)进行表述。
(3)第i任务mti所控制依赖的第j任务mtj的条件分支向包含第i任务mti的路径(path)分支。
(4)确定第i任务mti所数据依赖的第k任务mtk(k≠i)全部结束或者第k任务mtk(k≠i)不执行。
例如，宏流程图(mfg)中的基本块bb6(相当于上述“mti”)的最早执行可能条件可以通过以下(5)和(6)来表述。
(5)确定执行基本块bb1(相当于上述“mtj”)(因为不管基本块bb1的分支方向是向哪一方向，都确定执行基本块bb6。)
(6)决定基本块bb6所数据依赖的基本块bb3(相当于上述“mtk”)结束或是基本块bb6的数据依赖的基本块bb3不执行。
此处，“决定基本块bb6所数据依赖的基本块bb3不执行”是指：按照图6的情况来看是“基本块bb3所控制依赖的基本块bb2中的条件分支的分支方向确定为执行基本块bb4的分支方向bb24”或是“基本块bb3所间接控制依赖的基本块bb1中的条件分支的分支方向确定为执行基本块bb5的分支方向bb15”。
并且，“基本块bb3所控制依赖的基本块bb2中的条件分支的分支方向确定为执行基本块bb4的分支方向bb24”的情况的前提条件是“基本块bb1的条件分支的分支方向确定为执行基本块bb2的分支方向bb12”，因此，该情况包括“确定执行基本块bb1”的情况。
另外，“基本块bb3所间接控制依赖的基本块bb1中的条件分支的分支方向确定为基本块bb5的分支方向bb15”的情况包括“确定执行基本块bb1”的情况。
所以，图6的mfg中所示的基本块bb6的最早执行可能条件能够按照下述方式进行简化。
确定基本块bb3结束、或是基本块bb1的条件分支的分支方向确定为执行基本块bb5的分支方向bb15、又或是基本块bb2的条件分支的分支方向确定为执行基本块bb4的分支方向bb24。需要说明的是，最早执行可能条件并不一定要进行这种方式的简化。
在对其他任务也进行与如上所述对基本块bb6执行的最早执行可能条件分析相同的分析时，各任务的最早执行可能条件可以通过图7中所示的表来进行表述。图7中所示的表的左侧各栏表示各个任务的名称，右侧各栏表示各任务所数据依赖的任务、或是控制依赖或扩展控制依赖的分支方向。例如，图7所示的表中示出，bb2控制依赖于bb1的条件分支的分支方向bb12。另外，在图7所示的表中示出，bb6数据依赖于bb3，控制依赖于bb1的条件分支的分支方向bb15，并扩展控制依赖于bb2的条件分支的分支方向bb24。在图7所示的表中，“or”表示只要任一条件满足，左栏的任务即可执行的含义。虽然在图7中所示的表中没有示出，在表示要满足多个条件时才能执行的情况时，可以通过“and”来表述，比如(bb15andbb3)。
依赖性分析部112基于图2/step014的最早执行可能条件分析的结果生成对任务间的并行性进行了抽取的宏任务图(以下简称“mtg”)(图2/step016)。
例如，按照已说明的内容，运算处理要素110基于对图6的mfg中各任务执行图2/step014的最早执行可能条件分析而得的结果，生成图8中所示的mtg。
与mfg相同，mtc中的节点表示任务，节点内的小圈表示任务内的条件分支，实线边表示数据依赖性，虚线边表示控制依赖性或扩展控制依赖性。另外，如对图6的说明中所述，图8的mtc中的emt14是表示一组任务结束的标记，并不是指任务。
另外，包束各个边的弧有两种，实线弧表示由该弧包束的各个边属于and关系、即分别连接在实线弧包束的多根虚线边后的任务能够并行执行，虚线弧表示由该弧包束的各个边属于or关系、即分别连接在虚线弧包束的多个虚线边后的各任务属于通过条件分支能够被选择的选择关系。
例如，在图8所示的mtg中，基本块bb6相对基本块bb1具有数据依赖性，通过表示数据依赖性的实线边与基本块bb3连接。
例如，从图6的mfg可知，基本块bb6相对基本块bb1中包含的条件分支的一个分支方向bb15以及基本块bb2中包含的条件分支的一个分支方向bb24具有扩展控制依赖性。因此，基本块bb6与以下两个分支方向分别连接。其中，一分支方向是与基本块bb6通过表示控制依赖性或扩展控制依赖性的虚线边向基本块bb1中包含的条件分支的bb2及bb4延伸的分支方向不同的分支方向；另一分支方向是与通过上述虚线边向基本块bb2中包含的条件分支的bb3延伸的分支方向不同的分支方向。
另外，也能够与基本块bb6的说明相同地对图8的mtg中的基本块bb12进行说明。即，首先bb12数据依赖于基本块bb11。
并且，从图6的mfg可知，bb12相对基本块bb7中包含的条件分支的一个分支方向bb711以及基本块bb8中包含的条件分支的一个分支方向bb810具有扩展控制依赖性。因此，bb12与以下两个分支方向分别连接。其中，一分支方向是与bb12通过表示控制依赖性或扩展控制依赖性的虚线边向基本块bb7中包含的条件分支的bb8及bb10延伸的分支方向不同的分支方向；另一分支方向是与通过上述虚线边向基本块bb8中包含的条件分支的bb9延伸的分支方向不同的分支方向。
这些边如上所述是属于or关系，因此由虚线弧包束。需要说明的是，mtg中省略了箭头的边(edge)的朝向为向下。另外，带箭头的边表示初始的控制流程。
此外，从图6的mfg可知，不管基本块bb1等先行任务的条件分支向哪一分支延伸，基本块bb5是确定被执行的。因此，基本块bb5相对基本块bb1等先行任务中包含的条件分支的各分支方向bb12、bb15不具有控制依赖性。另外，基本块bb5相对先行任务不具有数据依赖性。因此，如图7的表中所示，基本块bb5的最早执行可能条件栏为空栏，图8的mtg中的基本块bb5上没有其他先行任务延伸来的边(edge)。这即表示bb5与其他任务或任务组能够并行地被执行。同样，在图6的mfg中，在基准任务bb7之后执行的基本块bb11、bb13也相对bb7中包含的条件分支的任一分支方向均不具有控制依赖性或扩展控制依赖性。因此，图7的表中的最早执行可能条件的栏为空栏，图8的mtg中的基本块bb11、bb13上也不具有先行任务延伸来的边(edge)。
接着，应融合任务组决定部116根据mtg执行决定融合对象的任务组的应融合任务组决定处理(图2/step018)。将该图2/step018的具体步骤展开的流程图示于图9中。利用图9详细说明图2/step018处的处理内容。另外，为了具体进行该说明，准备图10中所示的mtg。该mtg是对以下任务进行了归总的图：这些任务连接在图8的mtg中的基本块bb7中包含的条件分支的所有分支方向的各个方向之后。以图10的mtg为基础进行的说明自然也适用于图8的mtg中的基本块bb1中所包含的条件分支的所有分支方向之后各自连接的任务。
以下，参照图9及图10详细说明应融合任务组决定处理。
应融合任务组决定部116参照mtg将以下任务指定为基准任务(图9/step202)：相对其他的任务不具有数据依赖性、相对于其他任务中包含的条件分支的任一分支方向均不具有控制依赖性、扩展控制依赖性或间接控制依赖性且包含一个条件分支的任务。
作为将相对其他的任务不具有数据依赖性、相对于其他任务中包含的条件分支的任一分支方向均不具有控制依赖性、扩展控制依赖性或间接控制依赖性且包含一个条件分支的任务指定为基准任务的例子，可以举出运算处理要素110参照图10所示的mtg将基本块bb7指定为基准任务的处理。
接着，参照mtg，应融合任务组决定部116将基准任务和第1后续任务指定为任务组(图9/step204)。其中，上述第1后续任务是与基准任务中包含的条件任务的所有分支方向的各个任务具有控制依赖性或扩展控制依赖性的所述任务。需要说明的是，图9/step204的处理对应于本发明的“第1指定步骤”的一例。
从图10的例子来看，应融合任务组决定部116参照图10中所示的mtg，将基本块bb8、bb10和基本块bb12指定为第1后续任务。其中，上述基本块bb8、bb10相对于作为基准任务的基本块bb7的条件分支中由实线弧包束的分支方向、即以and关系连结的分支方向具有控制依赖性；上述基本块bb12相对于作为基准任务bb7的基本块bb7的由虚线弧包束的其他分支方向具有扩展控制依赖性。需要说明的是，“基本块bb7的条件分支中由实线弧包束的分支方向、即以and关系连结的分支方向”是按照mtg的制作方法将图6中的分支方向bb78分成多个进行显示的方向。另外，“基准任务bb7的由虚线弧包束的其他分支方向”是按照mtg的制作方法将图6中的分支方向bb711分成多个进行显示的方向。
接着，应融合任务组决定部116将基准任务和第1后续任务指定为任务组(图9/step204)。图9/step204相当于本发明的“第1指定步骤”。
应融合任务组决定部116参照mtg判定是否有相对于该被指定的任务组中包含的任务的条件分支的任一分支方向具有控制依赖关系或扩展控制依赖关系的任务存在(图9/step206)。
应融合任务组决定部116参照图10所示的mtg指定：基本块bb9相对于上述被指定的任务组中包含的基本块bb8包含的条件分支中朝向bb9的分支方向具有控制依赖关系。因此，应融合任务组决定部116在图9的step206中判定：有相对于该任务组中包含的任务所包含的条件分支的任一分支方向具有控制依赖关系或扩展控制依赖关系的任务存在、也即yes。由此，将该基本块bb9设定为第2后续任务。应该被注意的是，构成该第2后续任务的基本块bb9相对于基准任务bb7中包含的条件分支中朝向bb8的分支方向具有间接控制依赖关系。也即，指定第2后续任务的处理就是指定相对于基准任务中包含的条件分支的该分支方向具有间接控制依赖关系的任务的处理。
如上所述，当图9/step206的判定结果是yes时，应融合任务组决定部116将该第2后续任务(在图10的例子中是基本块bb9)追加到该任务组中(图9/step208)。需要说明的是，图9/step208的处理对应于本发明的“第2指定步骤”的一例。
在图9/step208之后，应融合任务组决定部116再次执行图9/step206，判定是否有存在相对于第2后续任务中包含的条件分支的任一分支方向具有控制依赖关系或者扩展控制依赖关系的任务存在。
应融合任务组决定部116参照例如图10所示的mtg判定：相对于追加了基本块bb9后的任务组中包含的条件分支的所有分支方向具有控制依赖关系或扩展控制依赖关系的任务不存在。
当图9/step206的判定结果是否定性的情况时(图9/step206··no)，应融合任务组决定部116将任务组决定为应融合任务组(图9/step210)。通过这种方式，图9/step206～step208重复执行的一系列处理对应于本发明的“控制步骤”的一例。
以上利用图9中更为详细的流程图，将从图8的mtg中提取出分别连接在基本块bb7及其所有分支方向的各个方向之后的任务的图10的mtg为例说明了图2/step018的“应融合任务组决定”的处理。该说明自然也能够适用于图8的mtg中的基本块bb1以及连接在该bb1中包含的条件分支的所有分支方向的各个方向之后的所有任务。例如，将图10中的基本块bb7、bb10、bb8、bb9和基本块bb12分别置换成图8的基本块bb1、bb4、bb2、bb3和基本块bb6，并以提取出了基本块bb7以及连接在该bb7所包含的所有的条件分支的各个分支之后的任务的图10为基础进行的说明也同样全部成立。也即，从图8的mtg中可以确认到有两个应融合任务组存在。
另外，也可以采用以下处理来取代图9/step202～step210的处理：应融合任务组决定部116例如判定所有任务的包含控制依赖性、扩展控制依赖性或间接控制依赖性的条件分支的任务，并基于该判定结果来决定应融合任务组。另外，也可以从任务的执行成本的观点出发，使得任务组包含数据依赖于该任务组的任务的方式来指定任务组。
接着，融合部113将在图2/step018中抽取的任务组作为“应融合任务组”融合成一个新任务(图2/step026)。
例如，融合部113参照图10或图8的mtg，通过融合包括图8的基本块bb1～bb4及基本块bb6的“应融合任务组”，生成新任务blockl。融合部113融合包括基本块bb7～bb10及基本块bb12的“应融合任务组”，生成新任务block2。其结果，生成包括这些新任务block1及block2、图8所示的基本块bb5、bb11及bb13的mtg。该mtg示于图14a中。
从图14a的mtg可知，这样就能够抽取进行融合而生成的新任务block1及block2等5个能够并行执行的任务。
接着，调度部114执行静态调度处理，使得能够匹配经过图2/step026而生成的mtg和前述的设定文件(包括pe的种类及数量、分组状况、存储器状况等信息)。需要说明的是，图2/step028的处理对应于本发明的“调度步骤”的一例。
例如，在设定文件cf中，假设多处理器系统的pe数是5，调度部114可以将5个任务分别分配给各个pe。另外，假设设定文件cf示出的pe数是2，运算处理要素110根据上述5个任务的执行成本，将该5个任务分配给这两个pe，使得这两个pe之间的执行成本的差较小。例如，调度部114可以将block1和bb5分配给构成第一个pe的pe1，将block2、bb11及bb13分配给构成第2个pe的pe2。
在上述说明的例子中，能够并行执行的任务数量是较少的3～5。但是在该数量增多的同时构成多处理器系统的pe的数量也增多时，不仅仅是根据上述pe的数量这种单纯的方式进行调度处理，同时还需要考虑各类条件，一般来讲调度处理方式变得复杂。
这里，可以采用专利文献1中示出的方法作为调度方法。该方法是：利用静态调度，以对应于各任务的层的方式将任务分配给任一处理部件pe或处理部件组pg的方法。
另外，在多处理器系统、特别是形成于半导体芯片上的多处理器系统中，多数在系统内部设置处理部件等工作电压通过软件为可变的机构。这时因为根据各个任务的执行状况对多处理器系统的工作电压进行最优设定，能够削减其电力消耗。运算处理要素110也可以将该推算的电力消耗设定成执行成本，基于该执行成本，选择构成执行各任务是合适的多处理器系统的处理部件等工作电压，并使处理部件pe或处理部件组pg在该工作电压下工作。需要说明的是，关于选择合适的工作电压的详细内容在日本专利第4082706号公报中有所记载。
此外，调度部114可以通过调试在具有依赖性的组之间的高速缓冲存储器的全局最优化，来进行高速缓冲存储器的最优化。另外，关于全局最优化的内容在日本专利第4177681号公报中有所记载。
这里，可以通过利用与专利文献1中公开的自动并行化api标准分析系统以及多处理器系统200的平台对应的运行时库等，可以较为简单地实现电压控制和高速缓冲存储器的最优化等。
生成部115基于调度的结果生成并行程序p2(图2/step028)。
生成部115基于设定文件cf中记载的信息，利用与多处理器系统的各种pe对应的后端编译器，根据并行程序(源代码)p2生成二进制代码pb(图2/step032)。该step032的处理也可以在多处理器系统200中被执行。需要说明的是，图2/step030或图2/step032的处理对应于本发明的“生成步骤”的一例。
通过以上处理，利用多处理器系统200生成能够并行执行的并行程序p2(以及其二进制代码pb)。运算处理要素110结束图2的流程中的并行化的一系列处理。
如上述说明，明显可知本发明的技术与现有技术相比能够抽取更多的能够并行执行的任务。而且，根据原来的顺序程序的状态和多处理器系统的构成，能够抽取更多的能并行执行的任务。以下说明其他例子。
在该例中，进一步对由图2的step018生成的“应融合任务组”进行能并行执行的任务的存在可能性的分析，并针对存在的场合和不存在的场合两种场合决定应融合任务组的处理的步骤，并将该步骤插入到紧跟着图2/step018的位置。通过这种方式制成的流程示于图3。图3的step002～step018以及step026～step032与图2的相同。
在该图3/step020～step024中，运算处理要素110进行以下判定：相对于“应融合任务组”中包含的基准任务的一个分支方向具有控制依赖性、扩展控制依赖性、甚至是间接控制依赖性的多个任务彼此之间既没有数据依赖性也没有控制依赖性的任务是否存在，当这种任务不存在时，就这样对应融合任务组实施融合处理，而当这种任务存在时，将上述多个任务看作能够并行执行。
与图2的处理流程的情况相同，以下以图8的mtg为例说明图3所示的该类情况的处理流程的例子。在该情况下，为了使说明更加清楚，将与图10同样地从图8的mtg提取出的基本块bb7作为开头的“应融合任务组”再次示于图11a中。图11a中的“应融合任务组”相对于图8中的“应融合任务组”虽然形式上进行了若干变更，但不更改其构成。以下利用该图11a进行说明。
在图3/step018“应融合任务组决定”处理结束后，条件判定部117执行下一个作为本发明的“条件判定步骤”的一例的图3/step020的判定“是否满足要复制的规定条件”的步骤。
上述基准任务以及连接在该基准任务之后的第1后续任务、第2后续任务等后续任务构成的任务组、也即说明至此的“应融合任务组”中包含的后续任务组中不存在能够并行执行的任务或任务组时，通过将包括上述基准任务、第1后续任务和第2后续任务的任务组融合到一个任务中，能够将具有条件分支的任务隐藏到一个被融合的任务中。这种情况最终与说明至此的图2的处理流程的结果相同，因此，以下以存在能够并行执行的任务或任务组的情况为中心进行说明。
当存在这样的任务或任务组时，融合部113复制以下数量的包含在基准任务中的条件分支，该数量是该能够并行执行的任务或任务组的数量减去1的数量。例如，当能够并行执行的任务或任务组的数量是3时，融合部113复制3-1＝2个包含在基准任务中的条件分支，使得包括基准任务中包含的条件分支在内共有3个条件分支存在。并且，让该能够并行执行的任务连接在基准任务中包含的条件分支以及被复制的条件分支的各个条件分支之后，并通过将各个条件分支与连接在该条件分支之后的任务融合，使条件分支和该能够并行执行的任务让具有相同数量的多处理器系统的(多个)处理部件pe分别执行，从而增加并行度。
条件分支的复制处理的详细记载于日本特开2014-160453号公报中。在本发明中，通过结合图2的并行程序的生成处理流程，能够抽取更多的能够并行执行的任务。以下对其进行说明。
在以下的说明中，适当地把基准任务中包含的条件分支称为“对象条件分支”。
为了决定是复制后融合任务还是不进行复制而融合任务，条件判定部117判定要复制的规定条件是否满足(图3/step020)。
规定条件至少包括下述并行执行可能条件。该并行执行可能条件是指：相对于对象条件分支的多个分支方向中的一个分支方向具有控制依赖性、间接控制依赖性或扩展控制依赖性的多个任务或任务组之间彼此不具有数据依赖性。这样，当相对于该一个分支方向具有控制依赖性、间接控制依赖性或扩展控制依赖性的多个任务或任务组之间彼此不具有数据依赖性时，以下将该一个分支方向称为“对象分支方向”。另外，这里所说的“一个分支方向”是在进行最早执行可能条件分析之前的状态、例如图6的mfg中表述的状态下使用的表述。而在进行最早执行可能条件分析之后的状态、例如是图8的mtg中表述的状态下，上述“一个分支方向”也作为由实线弧包束的虚线边所表示(处于and关系)的多个分支方向进行表述。自然，在mtg上也有作为“一个分支方向”的情况存在。并且，“对象分支方向”在mfg上有时也表示上述“一个分支方向”的情况，在mtg上有时也作为表示由实线弧包束的虚线边所示表示(处于and关系)的多个分支方向的情况。
如图11a所示，基本块bb8、bb10相对于基本块bb7的条件分支中处于and关系(由实线弧包束)的分支方向具有控制依赖性。另外，基本块bb9相对于基本块bb7的条件分支的朝向基本块bb8的分支方向具有间接控制依赖性。
此外，基本块bb12相对于基本块bb7中包含的条件分支的朝向基本块bb8的分支方向处于or关系(由虚线弧包束)的不同分支方向具有扩展控制依赖性的关系。同时，基本块bb12相对于基本块bb8的条件分支中朝向基本块bb9的分支方向处于or关系(由虚线弧包束)的不同分支方向具有扩展控制依赖性的关系。
当条件判定部117在图3/step020处判定满足规定条件(图3/step020··yes)时，融合部113复制能够并行执行的数量减去1后的数量的基准任务(图3/step022)。
这里，在具体说明条件分支或基准任务的复制之前，对“条件分支的复制”稍作挖掘说明。
包括构成复制对象的条件分支的基准任务中一般除了包含条件分支之外，还包含条件分支相对其是数据依赖关系的语句集合(collectionofstatements)、即用于设定决定条件分支的分支方向的语句的集合。将这类语句集合称为“条件设定语句群”。进一步地，基准任务除了包含条件分支之外，有时还包含相对其不是数据依赖关系的语句集合、即还包括有可能进行并行执行的语句的集合。同样，将这类语句的集合称为“有可能进行并行执行的语句群”。
这样，在条件分支(仅条件分支)被复制并在静态调度时该被复制的条件分支与后续任务(或任务组)一起被分配到不同的pe时，通过一个pe执行基准任务中的条件分支以外的语句(上述“条件设定语句群”和“有可能进行并行执行的语句群”)，该执行结果(数据)被传送给处理被复制的条件分支和后续任务的pe。所以，在该情况下，执行结果传送所需的时间被追加到并行程序的处理时间之上。
另外，在复制基准任务整体的情况下，各pe分别执行条件设定语句群，因此，pe间无需进行数据传送，在并行程序的处理时间上不用追加数据传送的时间。但是，被分配了复制后的基准任务的pe均执行，存在电力消耗增大的可能性，因而这一点有所不利。另外，基准任务中存在有可能进行并行执行的语句群，而且，只要条件分支及条件设定语句群之间没有数据依赖性，可以与条件分支及条件设定语句群进行并行执行。所以，只要将有可能进行并行执行的语句群分配给与执行复制后的基准任务的pe不同的pe，能够减少并行程序的处理时间。
所以，将条件分支及条件设定语句群设定成新任务，以代替仅复制条件分支，通过这样的复制，各pe能够以最低限度的时间来进行条件分支的条件设定。而且，由于无需进行数据传送，与复制基准任务的情况相比，能够减少并行程序的处理时间。
鉴于上述情况，不单单是仅复制条件分支的情况，按照“条件分支及条件设定语句群”的复制和基准任务的复制(还包括不存在“有可能进行并行执行的语句群”的情况)而生成的条件分支的复制也对应于本发明的“条件分支的复制”的例子。
这里，再次回到图3/step022“条件分支的复制”的说明。
例如，在图11a所示的例子中，基本块bb8及bb9与基本块bb10彼此不具有数据依赖性，因此，连接在基本块bb7包含的条件分支的对象分支方向之后的并行执行可能数量是2。
融合部113仅复制数量是“1”的条件分支，其中，该条件分支是图11a所示的作为基准任务的基本块bb7中包含的条件分支；该数量“1”是并行执行可能数量“2”减去了1的数字。由此，融合部113如图11b所示生成即为基本块bb7的基准任务st1、包含被复制的条件分支的基准任务st2。
接着，融合部113使相对于对象条件分支的对象分支方向具有控制依赖性、间接控制依赖性或扩展控制依赖性的任务或任务组连接在任一基准任务之后(图3/step024)。融合部113使相对于对象条件分支的对象分支方向具有控制依赖性、间接控制依赖性或扩展控制依赖性的任务或任务组当中彼此不具有数据依赖性的任务或任务组连接在下述条件分支的对象分支方向之后。该条件分支是指还包括被复制的基准任务的各自不同的基准任务中包含的条件分支。
例如，在图11a中，基本块bb8及基本块bb10相对于基本块bb7中包含的条件分支的对象分支方向(图11a中由实线弧包束的分支方向)具有控制依赖关系，而基本块bb9及基本块bb12相对于该对象分支方向具有间接控制依赖关系。所以，bb8、bb9及bb12构成后续任务组ftg2，与ftg2不具有数据依赖性、控制依赖性的bb10构成后续任务组ftg1。并且，由于ftg1和ftg2能够并行执行，复制一个基准任务bb7并将其命名为st2，把bb7本身改名为st1。然后，使ftg1连接在st1中包含的条件分支的对象分支方向之后，同时使ftg2连接在st2包含的条件分支的对象分支方向之后。另外，在图11a的mtg中，基本块bb12相对与基本块bb7中包含的条件分支的对象分支方向不同的其他分支方向(不受实线弧包束的分支方向)具有扩展控制依赖关系。
像这样当相对于条件分支的两个分支方向(在该段落中，将这两个分支方向称为第1分支方向、第2分支方向。)均具有控制依赖性、间接控制依赖性或扩展控制依赖性的一个任务(在该段落中，称之为第1任务)存在时，运算处理要素110可以复制该第1任务而生成第2任务，将第1任务连接在一个条件分支的第1分支方向之后，将第2任务连接在其他条件分支的第2分支方向之后。或者取代上述方式，运算处理要素110也可以将第1任务连接在一个条件分支的第1分支方向之后，将第2任务连接在该一个条件分支的第2分支方向之后。具体来讲，在上述情况下，由于基本块bb12控制依赖于两个分支方向，运算处理要素110复制bb12，另外生成一个与包含在ftg2中的bb12相同的任务，并使其包含在相对于其他的分支方向的后续任务组ftg3中。并且，stg1的执行和stg2的执行能够分配给多处理器系统的不同处理部件。
对上述情况再略加详细说明。如图11b所示，后续任务组ftg1(本例中由bb10构成)相对于基准任务st1包含的条件分支的该对象分支方向(图11a中与受实线弧包围的分支方向对应的分支方向)具有控制依赖性，而由于stl的其他分支方向上没有后续任务，运算处理要素110将stl和ftgl进行汇总而形成“应融合任务组”stgl。另外，同样如图11b所示，后续任务组ftg2(由基本块bb8、bb9及基本块bb12构成)相对于基准任务st2包含的条件分支的该对象分支方向(图11a中与受实线弧包围的分支方向对应的分支方向)具有控制依赖性，并且由于后续任务组ftg3(本例中由bb1构成)相对于st2的其他分支方向具有扩展控制依赖性，运算处理要素110将st2、ftg2及ftg3进行汇总而形成“应融合任务组”stg2。bb12包含在ftg2及ftg3这两个后续任务组中的理由是：如图11a所示，bb12间接控制依赖于基准任务bb7(复制后的st2)的条件分支的对象分支方向且同时扩展控制依赖于bb7的条件分支的并非是对象分支方向的其他的分支方向上。
这样，只要stg1内的基准任务st1中包含的条件分支的分支方向确定是执行ftg1的分支方向，stg2内的基准任务st2中包含的条件分支的分支方向也确定为执行ftg2的分支方向。只要st1中包含的条件分支的分支方向确定是与执行ftg1的分支方向不同的其他的分支方向，基准任务st2中包含的条件分支的分支方向也同样确定为其他的分支方向，执行ftg3。
需要说明的是，fgt3虽然是相对于基准任务st2中包含的条件分支中与对象分支方向(ftg2所控制依赖的分支方向)不同的分支方向具有控制依赖性，但是也可以将fgt3连接在下述分支方向之后：即，任务组stg1的基准任务st1中包含的条件分支中与对象的分支方向(ftg1所控制依赖的分支方向)不同的分支方向。即使设定成上述方式，也不违反本发明的基本内容。
这样，通过执行图3/step022及step024，能够从图11a的mtg(将图8的bb7作为基准任务包含其中的“应融合任务组”)中新抽取图11b所示的两个(能够并行执行的)任务组stg1及stg2。
以上利用图11a及图11b说明了从“应融合任务组”中抽取能够并行执行的任务组stg1及stg2的过程。其中，“应融合任务组”是从图8的mtg提取出的以bb7为基准任务而包含其中的任务组。同样，由于将图8的bb1作为基准任务而包含其中的“应融合任务组”与将bb7作为基准任务而包含其中的“应融合任务组”具有同样的构成，与图11a、图11b相同，能够新抽取两个能够并行执行的任务组(分别将其称为stg3，stg4)作为“应融合任务组”。
到此处为止，详细地说明了图3/step020处被判定为满足规定条件时(图3/step020··yes)的应融合任务组决定处理(图3/step018)。
然后，为了让运算处理要素110基于包括新抽取的“应融合任务组”的mtg进一步分析是否有能够并行执行的任务存在，返回到图3/step014的处理，再次通过图3/step020的处理。这时，假设作为任务复制的规定条件、即能够并行执行的任务或任务组不存在，则前进至图3/step026的融合处理。
例如，根据图8及图11a/图11b的说明，新抽取的“应融合任务组”stg1、stg2、stg3及stg4中没有进一步能够并行执行的任务存在，因此，对这些任务组进行融合处理，新生成4个任务。将这4个任务分别命名为block3、block4、block5及block6时，包括这些新生成的任务的mtg如图14b所示具有7个并行执行可能的任务数，与单纯进行任务融合的图14a的情况相比多出2个任务。另外与现有技术中的专利文献1中记载的任务融合方法相比多出4个任务。像这样当并行执行可能的任务数较多时，调度的自由度增加。
接着，与图2的处理流程的情况相同，运算处理要素110执行step028的调度处理并经过接下来的step030的并行程序(源代码)的生成、之后的step032的二进制代码的生成，结束所有的处理。step028以后的处理与图2中的说明相同，因此不作详细说明。通过将本发明适用到图8中后的并行执行可能的任务数增加到7个，如上所示，调度的自由度增加，能够实现更为有效的并行程序的生成。
到此处的说明为止，以图6的mfg所示的程序为例，详细地说明了本发明(图2及图3所示的并行化的处理流程)。作为另外一个例子，如图12所示，以与图6的mfg不同的mfg为例进行说明。在图12的mfg中，表示来自基本块bb4的控制流程的虚线朝向基本块bb6而不是基本块bb5，来自基本块bb10的控制流程朝向基本块bb12而不是基本块bb11。这一点与图6的mfg不同。
这时，基本块bb5控制依赖于基本块bb1的条件分支的分支方向bb15，基本块bb11控制依赖于基本块bb7的条件分支的分支方向bb711。
与图6的mfg的情况相同，依赖性分析部112对各任务的控制依赖性和该各任务间的数据依赖性的两者的依赖性进行分析，并利用该结果进行最早执行可能条件分析(图2或图3/step014)。其结果示于图13。比较图13和图7，在图7的最早执行可能条件的表中，bb5及bb11的栏为空栏，而在图13的最早执行可能条件的表中，bb5的栏中记载有bb15，在bb11的栏中记载有bb711。也即，根据比较可知，图13与图7相比，bb5及bb11上具有依赖性。
依赖性分析部112利用最早执行可能条件分析的结果，生成mtg(图2或图3/step016)。具体来讲，根据图12的mfg生成的mtg示于图15。根据该mtg可知，在通过图6的mfg生成的图8的mtg中，bb5及bb11相对于其他任务或任务组不具有依赖性，而在图15的mtg的情况中，bb5及bb11上出现了依赖性。因此，以图15的mtg为基础执行应融合任务组决定处理(图2及图3/step018)时，与以图8的mtg为基础进行处理的情况不同，bb5包含在以bb1为基准任务包含其中的“应融合任务组”内，bb11包含在以bb7为基准任务包含其中的“应融合任务组”内。该情况可以从图16中明显看出。其中，图16是提取以bb7为基准任务的应融合任务组并对其进行表示的图。所以，通过图2/step026的融合处理，以bb1为基准任务的应融合任务组被融合到新任务block1中，以bb7为基准任务的应融合任务组被融合到新任务block2中。这两个新任务和不具有依赖性的bb13一起生成图18a的mtg。根据该图可知，由于bb5和bb11分别被融合到block1及block2中，并行执行可能的任务数为3，这与图14a相比数量变少。
这里，将图3/step020～024适用到以图12的mfg或是图15的mtg为基础的“应融合任务组”中。为了说明简明，从图15的mtg中提取出以bb7为基准任务的应融合任务组示于图17a中。在该图中，bb11以下述方式被追加到图11a中而构成：除了连接在基准任务bb7的条件分支上具有and关系的分支方向之后的ftg1(由bb10构成)及ftg2(由bb8、bb9及bb12构成)、以及连接在与上述分支方向不同的分支方向之后的ftg3(复制后的bb12)之外，bb11连接在与朝向ftg3的分支方向成and关系的分支方向之后。并将该bb11表示成后续任务组ftg4。
根据上述说明可知，在连接于bb7之后的4个任务组ftgl～ftg4当中，ftg1和ftg2之间不具有数据依赖性，因此，两者能够进行并行执行，ftg3和ftg4之间同样不具有数据依赖性，这两者也能够进行并行执行。并且，ftg1/ftg2以及ftg3/ftg4连接在bb7的条件分支中具有or关系的分支方向之后。
所以，在图3/step020中，融合部113判断应融合任务组中存在并行执行可能的任务或任务组时，在图3/step022处复制一个基准任务bb7，并称其为st2(原先的基准任务bb7更名为st1)。并且，在图3/step024中，运算处理要素110使ftg1连接在新生成的基准任务st1的一个分支方向之后，使ftg4连接在与该一个分支方向不同的分支方向之后，使ftg2连接在与基准任务st2的该一个分支方向对应的分支方向之后，并且使ftg3连接在与该一个分支方向不同的分支方向所对应的分支方向之后。这里，当st1的条件分支的分支方向是执行ftg1的方向时，st2的条件分支的分支方向即为执行ftg2的方向。当st1的条件分支的分支方向是执行ftg4的方向时，st2的条件分支的分支方向即为执行ftg3的方向。
接着，运算处理要素110(应融合任务组决定部116)返回到图3/step014的处理，经过step016的处理，在step018中重新进行应融合任务组决定处理。通过这种方式，基准任务st1、后续任务组ftg1及ftg4融合成一个应融合任务组stg1，基准任务st2、后续任务组ftg2及ftg3融合成另一个应融合任务组stg2。将该结果示于图17b的mtg中。在该情况下，应融合任务组stg1也可以是由st1、ftg1及ftg3构成；而应融合任务组stg2可以是由st2、ftg2及ftg4构成。也即，并行执行可能的后续任务组只要构成为不包含在同一应融合任务组中即可。
接着，在图3/step020处，运算处理要素110(条件判定部117及融合部113)判定应融合任务组stg1及stg2中是否进一步存在并行执行可能的任务，当判定是不存在时，进行stg1和stg2的融合处理(图3/step026)。即，stg1和stg2分别对应于通过融合而生成的任务block3及block4。
以上对包含基准任务bb7的应融合任务组进行了说明。针对包含基准任务bb1的应融合任务组也能够进行同样的处理。也即，只要将bb7对应于bb1、将bb8对应于bb2、将bb9对应于bb3、将bb10对应于bb4、将bb11对应于bb5、将bb12对应于bb6，图17a及图17b的mtg也能适用于包含bb1的应融合任务组。作为其结果，融合而生成任务block5、block6。
总结以上说明，图15的mtg形成图18b所示的融合处理的结果。根据该图可知，对图15的mtg进行包含基准任务的复制的图3/step020～step026的处理时的并行执行可能的任务数为5，同样与图14a的情况相比有所减少。这是因为受到图6及图12所示程序的特性影响而产生的。
(作用效果)
根据本实施方式的并行化程序c，并行化编译装置100(计算机)将图2及图3的step002～step032、特别是作为本发明特征的step018～step026处的用于进行并行化的任务融合的技术适用到通过图6及图12的mfg表示的顺序程序中，能够分别生成图14a/图14b以及图18a/图18b所示的mtg。此处的附图编号末尾带a的图示出了通过图2的处理流程生成的mtc，同样附图编号末尾带b的图示出了通过图3的处理流程生成的mtg。
另外，将作为现有技术的专利文献1的融合技术适用到图6及图12的mfg中生成的mtg分别示于图14c及图18c。
首先，比较图14a/b/c，图14a的并行执行可能的任务数是5(当中通过融合生成的任务数是2)，图14c的并行执行可能的任务数是3(当中通过融合生成的任务数是2)，适用本发明的情况下并行执行可能的任务数增多。另外，图14b的并行执行可能的任务数是7(当中通过融合生成的任务数是4)，可以发现，适用组合了条件分支的复制技术的本发明(图3的例子)时，并行执行可能的任务数进一步增多。
另外，图18a/b/c也与图14a/b/c的情况相同。在图18a的例子中，并行执行可能的任务数是3；在图18b的例子中，并行执行可能的任务数是5；在图18c的例子中，并行执行可能的任务数是3。适用了图3的处理流程的情况(图18b)下，并行执行可能的任务数最多。并且，适用图2的处理流程的情况(图18a)和适用专利文献1的技术的情况(图18c)这两种情况下的并行执行可能的任务数相同。在适用到图12的mfg所表示的顺序程序中的情况下，图18a的例子中的block1及block2与图18c的例子中的block7及block8分别是相同的任务。图14a/c之间的差别是因为由图6的mfg表达的构成并行执行对象的顺序程序的构成的差异而引起的。像这样，根据作为并行化对象的顺序程序的构成不同，通过融合处理抽取的并行执行可能的任务数可能和现有技术中的相同，但是不会低于现有技术的任务数。
通过以上的整理可知，根据本发明的并行化编译程序，相比现有技术不会有损害(降低)抽取并行执行可能的任务的可能性的问题。
(变形方式)
在图2/step026中，生成了任务融合后的mtg。这时也可以再进行数据依赖性等分析，也可以基于任务融合前的数据依赖性等关系生成任务融合后的mtc。也即，假设融合前的任务组中包含的任一任务(称为任务t1)数据依赖性的任务(称为任务t2)存在。这时，融合了该任务组而生成的新任务(以下称为t3)也相对于任务t2具有数据依赖性。只要利用这种关系，在融合后无需再对任务间的数据依赖性进行分析。
(与专利文献1的对比)
以上已经对本发明相比专利文献1的优越性作了充分的说明。这里，参照由图19所示的4个任务构成的简单的顺序程序的mfg以及如图20所示的根据图16的mfg生成的mtg，再次对本发明相比专利文献1的优越性进行简单的说明。
首先，专利文献1的技术和本发明的技术从以下观点来看具有相同的目的：通过将连接在条件分支和其所有的分支方向的各个方向之后的所有的任务融合成一个任务，并将该任务分配给多处理器系统中的一个处理部件(静态调度)，而在程序执行时无需进行调度处理。将包含这种条件分支的任务组融合成一个任务的情况如上所述因通过融合而无法看到任务中的条件分支，因此将该情况称为“隐藏条件分支”
但是，专利文献1和本发明之间在要融合的任务的范围上存在以下差异。后者具有以下明显的优点：能够更加简单地抽取与要融合的任务组不具有依赖性的任务作为并行执行可能的任务。根据前述例子说明该基本原理。
根据专利文献1的技术(本说明书的“背景技术”中说明的技术)，在图19的mfg中，基于各任务间的控制依赖性(相当于本说明书中的“控制流程”)确定具有分支到不同任务的处理的任务bb101为开始任务，同时将以下任务中的任一任务sb104确定为结束任务，上述任务是指：以开始任务bb101为起点依次被执行的多个一系列处理的所有处理中共同被执行的任务。
并且，在专利文献1的技术中，将被确定的开始任务bb101、以开始任务为起点的处理中的结束任务sb104以及在开始任务bb101执行之后结束任务sb104执行之前被执行的所有任务、即sb102及sb103这4个任务融合成一个新任务。也即，在专利文献1中，被融合的任务是在图19中被点划线所包围的任务组tg1，并生成与该被融合的任务相同的如图19所示的新任务blockt1。并且，将任务融合后的mtg也示于同图中。
另一方面，根据本发明，在图2/step012中，在生成图19所示的mfg之后，执行图2/step014的最早执行可能条件分析。
在图19所示的mfg中，子程序块sb102控制依赖于基本块bb101的条件分支的分支方向bb101102。另外，子程序块sb103控制依赖于基本块bb101的条件分支的分支方向bb101103。
但是，不管是基本块bb101的条件分支的分支方向是bb101102还是bb101103，子程序块sb104均被执行。因此，子程序块sb104相对于基本块bb101的条件分支的分支方向bb101102及bb101103均不具有控制依赖关系和间接控制依赖关系。另外，子程序块sb104相对于子程序块sb102、sb103不具有数据依赖性的关系。因此，子程序块sb104相对于基本块bb101的条件分支的分支方向bb101102及bb101103均不具有扩展控制依赖关系。
基于这种最早执行可能条件分析，在图2/step016中生成图17所示的mtg。
接着，在图2/step018的应融合任务组的决定步骤中，在表示该步骤的详细流程的图9/step202中，任务bb101被确定为基准任务。并且，在图9/step204中，控制依赖、间接控制依赖或扩展控制依赖于任务bb101的条件分支的任务sb102、sb103被确定为第1后续任务，基准任务bb101和第1后续任务sb102、sb103被确定为任务组。并且，在图19的mfg中不存在与该任务组具有依赖性(数据依赖性或控制依赖性)的任务。也即，在本发明中，被融合的任务(本说明书中提到的“应融合任务组”)是图20中由两点划线所包围的任务组tg2。
另一方面，子程序块sb104如上所述相对于基本块bb101的条件分支的任一分支方向均不具有控制依赖、间接控制依赖及扩展控制依赖的关系。因此，在图2/step018的决定应融合任务组的步骤中，子程序块sb104并不包含在应融合任务组中。
并且，在图2/step026中，应融合任务组tg2融合而生成新任务blockt2。任务组tg2中如上所述不包含子程序块sb104。所以，融合后的mtg形成图20所示的形态。
比较图19及图20中的融合后的mtg明显可知，利用专利文献1的技术时抽取出的并行执行可能的任务数是1(图19)，利用本说明书中的并行化技术时抽取出的并行执行可能的任务数是2(图20)。因而，本发明比专利文献1更能恰当地进行并行性的抽取。