処理中

しばらくお待ちください...

設定

設定

出願の表示

1. WO2022091651 - 演算装置及び検査方法

公開番号 WO/2022/091651
公開日 05.05.2022
国際出願番号 PCT/JP2021/034804
国際出願日 22.09.2021
IPC
G06F 11/36 2006.1
G物理学
06計算;計数
F電気的デジタルデータ処理
11エラー検出;エラー訂正;監視
36ソフトウェアを検査またはデバッグすることによるエラー防止
G06F 9/52 2006.1
G物理学
06計算;計数
F電気的デジタルデータ処理
9プログラム制御のための装置,例.制御装置
06プログラム記憶方式を用いるもの,すなわちプログラムを受取りまたは保持するために処理装置の内部記憶装置を用いるもの
46マルチプログラミング装置
52プログラム同期;相互排除,例.セマフォによるもの
CPC
G06F 11/36
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
G06F 9/52
GPHYSICS
06COMPUTING; CALCULATING; 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
出願人
  • 日立Astemo株式会社 HITACHI ASTEMO, LTD. [JP]/[JP]
発明者
  • 中村 宏貴 NAKAMURA Hirotaka
  • 芹沢 一 SERIZAWA Kazuyoshi
代理人
  • 特許業務法人開知国際特許事務所 KAICHI IP
優先権情報
2020-18064928.10.2020JP
公開言語 (言語コード) 日本語 (ja)
出願言語 (言語コード) 日本語 (JA)
指定国 (国コード)
発明の名称
(EN) CALCULATION DEVICE AND INSPECTION METHOD
(FR) DISPOSITIF DE CALCUL ET PROCÉDÉ D'INSPECTION
(JA) 演算装置及び検査方法
要約
(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で共有される資源へアクセスする第一のタスクより前に行われる先行タスクグループと、第一のタスクより後に行われる後続タスクグループとを比較する。比較結果に基づいて特定されたタスクに対して、アクセス情報を用いて、並列化プログラムにおける所定の違反の有無を検知する。
関連特許文献
JP2022558922出願が移行したが国内段階でまだ公開されていないか、WIPO にデータを提供していない国への移行が通知されたか、あるいは出願の形式に問題があり、またはその他の理由で利用可能な状態でないため、PATENTSCOPE で表示できません。
国際事務局に記録されている最新の書誌情報