Title:
CALCULATION DEVICE AND INSPECTION METHOD
Document Type and Number:
WIPO Patent Application WO/2022/091651
Kind Code:
A1
Abstract:
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.
Inventors:
NAKAMURA HIROTAKA (JP)
SERIZAWA KAZUYOSHI (JP)
SERIZAWA KAZUYOSHI (JP)
Application Number:
PCT/JP2021/034804
Publication Date:
May 05, 2022
Filing Date:
September 22, 2021
Export Citation:
Assignee:
HITACHI ASTEMO LTD (JP)
International Classes:
G06F11/36; G06F9/52
Foreign References:
| JP2007011690A | 2007-01-18 | |||
| JP2013254371A | 2013-12-19 | |||
| JP2013528853A | 2013-07-11 | |||
| JP2016091138A | 2016-05-23 | |||
| JP2017503233A | 2017-01-26 |
Attorney, Agent or Firm:
KAICHI IP (JP)
Download PDF: