Processing

Please wait...

Settings

Settings

Goto Application

1. WO2022091651 - CALCULATION DEVICE AND INSPECTION METHOD

Publication Number WO/2022/091651
Publication Date 05.05.2022
International Application No. PCT/JP2021/034804
International Filing Date 22.09.2021
IPC
G06F 11/36 2006.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging of software
G06F 9/52 2006.1
GPHYSICS
06COMPUTING; CALCULATING OR COUNTING
FELECTRIC DIGITAL DATA PROCESSING
9Arrangements for program control, e.g. control units
06using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
46Multiprogramming arrangements
52Program synchronisation; Mutual exclusion, e.g. by means of semaphores
Applicants
  • 日立Astemo株式会社 HITACHI ASTEMO, LTD. [JP]/[JP]
Inventors
  • 中村 宏貴 NAKAMURA Hirotaka
  • 芹沢 一 SERIZAWA Kazuyoshi
Agents
  • 特許業務法人開知国際特許事務所 KAICHI IP
Priority Data
2020-18064928.10.2020JP
Publication Language Japanese (ja)
Filing Language Japanese (JA)
Designated States
Title
(EN) CALCULATION DEVICE AND INSPECTION METHOD
(FR) DISPOSITIF DE CALCUL ET PROCÉDÉ D'INSPECTION
(JA) 演算装置及び検査方法
Abstract
(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で共有される資源へアクセスする第一のタスクより前に行われる先行タスクグループと、第一のタスクより後に行われる後続タスクグループとを比較する。比較結果に基づいて特定されたタスクに対して、アクセス情報を用いて、並列化プログラムにおける所定の違反の有無を検知する。
Latest bibliographic data on file with the International Bureau