Parallelizing Compiler Translation Validation Using Happens-Before and Task-Set

Jixin Han, Tomofumi Yuki, Michelle Mills Strout, Dan Umeda, Hironori Kasahara, Keiji Kimura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Program optimization passes performed by an automatically parallelizing compiler require highly sophisticated transformations of a source program. The compiler must preserve the behavior of the source program with the parallelized program. However, the implementation of such optimization passes may introduce bugs, and detecting them is usually difficult. In this paper, based on a task graph obtained from a source program, we provide a translation validation technique, which validates that the task related program properties, such as partial order among tasks and task-set to be executed, are preserved before and after compiler transformations. These properties are derived from edges in the graph consisting of both data and control dependencies. The implemented translation validator is evaluated with the OSCAR parallelizing compiler using four C programs generated by Embedded Coder from MATLAB/Simulink models to show the feasibility of the validation.

Original languageEnglish
Title of host publicationProceedings - 2021 9th International Symposium on Computing and Networking Workshops, CANDARW 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages87-93
Number of pages7
ISBN (Electronic)9781665428354
DOIs
Publication statusPublished - 2021
Event9th International Symposium on Computing and Networking Workshops, CANDARW 2021 - Virtual, Online, Japan
Duration: 2021 Nov 232021 Nov 26

Publication series

NameProceedings - 2021 9th International Symposium on Computing and Networking Workshops, CANDARW 2021

Conference

Conference9th International Symposium on Computing and Networking Workshops, CANDARW 2021
Country/TerritoryJapan
CityVirtual, Online
Period21/11/2321/11/26

Keywords

  • compiler
  • data-flow
  • task-graph
  • verification

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Information Systems
  • Software

Fingerprint

Dive into the research topics of 'Parallelizing Compiler Translation Validation Using Happens-Before and Task-Set'. Together they form a unique fingerprint.

Cite this