(EN) Provided is a calculation device that makes it possible to reduce load for inspection of operation of a parallelization program. The present invention involves: acquiring access information concerning access to a resource to be shared by a plurality of tasks T1-T10; and obtaining a first processing sequence of the plurality of tasks T1-T10 when a first condition is applied to the plurality of tasks T1-T10 and a second processing sequence of the plurality of tasks T1-T10 when a second condition different from the first condition is applied to the plurality of tasks T1-T10. In the first processing sequence and the second processing sequence, a comparison is made between a preceding task group that is performed earlier than a first task for accessing the resource to be shared by the plurality of tasks T1-T10 and a subsequent task group that is performed later than the first task. By using the access information, detection of presence/absence of a predetermined violation in the parallelization program is performed on the task identified on the basis of the comparison result.
(FR) L'invention concerne un dispositif de calcul qui permet de réduire la charge de l'inspection de l'exploitation d'un programme de parallélisation. La présente invention consiste : à acquérir des informations d'accès concernant l'accès à une ressource à partager par une pluralité de tâches T1-T10; à obtenir une première séquence de traitement de la pluralité de tâches T1-T10 lorsqu'une première condition est appliquée à la pluralité de tâches T1-T10 et une seconde séquence de traitement de la pluralité de tâches T1-T10 lorsqu'une seconde condition différente de la première condition est appliquée à la pluralité de tâches T1-T10. Dans la première et la seconde séquence de traitement, une comparaison est effectuée entre un groupe de tâches précédentes qui sont exécutées plus tôt qu'une première tâche pour accéder à la ressource à partager par la pluralité de tâches T1-T10 et un groupe de tâches ultérieures qui sont exécutées plus tard que la première tâche. À l'aide des informations d'accès, la détection de la présence/absence d'une violation prédéterminée dans le programme de parallélisation est exécutée sur la tâche identifiée sur la base du résultat de comparaison.
(JA) 並列化プログラムの動作の検査に掛かる負荷を軽減することが可能な演算装置を提供する。複数のタスクT1~T10で共有される資源へのアクセスに関するアクセス情報を取得し、複数のタスクT1~T10に対して第一の条件を適用したときの複数のタスクT1~T10の第一の処理順序と、複数のタスクT1~T10に対して第一の条件とは異なる第二の条件を適用したときの複数のタスクT1~T10の第二の処理順序とを求める。第一の処理順序および第二の処理順序にて、複数のタスクT1~T10で共有される資源へアクセスする第一のタスクより前に行われる先行タスクグループと、第一のタスクより後に行われる後続タスクグループとを比較する。比較結果に基づいて特定されたタスクに対して、アクセス情報を用いて、並列化プログラムにおける所定の違反の有無を検知する。