• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

1992 Fiscal Year Final Research Report Summary

Research and Development of an Automatic Vectorizing/Parallelizing Compiler

Research Project

Project/Area Number 02558004
Research Category

Grant-in-Aid for Developmental Scientific Research (B)

Allocation TypeSingle-year Grants
Research Field Informatics
Research InstitutionKYOTO UNIVERSITY

Principal Investigator

TSUDA Takao  Kyoto Univ.,Facult. of ENG., Professor, 工学部, 教授 (60025905)

Co-Investigator(Kenkyū-buntansha) NAKAYA Itsuko  Kyoto Univ., Facult. of Eng., Assistant, 工学部, 教務職員 (40115902)
OKABE Yasuo  Kyoto Univ., Facult. of Eng., Instructor, 工学部, 助手 (20204018)
KUNIEDA Yoshitoshi  Kyoto Univ., Facult. of ENG., Assoc.Prof., 工学部, 助教授 (90153311)
Project Period (FY) 1990 – 1992
KeywordsVectorization / Parallelization / Compiler / Dependence analyses / Debugger / Virtual parallel processor / Dependence graphs / Synchronization
Research Abstract

This research was performed for 3 years starting from 1990. As planned in the proposal, an automatic vectorizing/parallelizing compiler, as well as a simulator of a virtual parallel vector processor, was designed and implemented. As the platform this work, the previously developed automatic vectorizing compiler V-Pascal was used. The research activities can be itemized as : -
1. New degign and implementation of automated vectorization and parallelization functions ;
2. Design and implementation of an efficient stacking / synchronizing mechanism for the virtual parallel vector processor simulator ;
3. Revision of object-code generation modules ;
4. Implementation of the virtual parallel vector processor simulator ;
5. Revision of BV-Pascal for parallelization ;
6. System-wide performance evaluation.
The main features of the new compiler are : it can perform dependence analyses in a way much more precise than any other commercial compilers ; dependence relations are obtained over the whole objective program to parallelize code fragments of various grain sizes ; allowing for hierarchical representation between potential parallel tasks ; these parallel tasks are split or merged with ease using the estimates of execution time cost of each task and thus automatically generating optimal parallel tasks. These schemes were tested and verified on the Titan computer purchased for this project.

  • Research Products

    (24 results)

All Other

All Publications (24 results)

  • [Publications] Takao TSUDA: "V-Pascal:An Automatic Vectorizing Compiler for Pascal with No Language Extensions" Journal of Supercomputing,Kluwer Academic Pubishers. 4. 251-275 (1990)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 國枝 義敏: "多重ループにわたる配列データ依存関係解析法" 情報処理学会論文誌. 32. 383-395 (1991)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 中村 素典: "自動ベクトル化コンパイラにおけるイディオム認識法" 情報処理学会論文誌. 32. 491-503 (1991)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Aki MATSUMOTO: "Dependence Analysis between Pointer References in Pascal" Proceedings of the International Symposium on Super-computin(Kyushu University Press). 28-37 (1991)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Tetsutaro UEHARA: "Benchmarking Vector Indirect Load/Store Instructions" Supercomputer,ASFRA(The Netherlands). 8. 57-74 (1991)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takao TSUDA: "Design and Implemntation of a Vectorizing Compiler for the Block-structured Language Pascal" Supercomputer,ASFRA(The Netherlands). 8. 12-21 (1991)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 岡部 寿男: "バス結合マルチプロセッサ型ベクトル計算機における線形計算アルゴリズムの評価" 情報処理学会第45回全国大会講演論文集. 分冊5. 133-134 (1992)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 中村 素典: "回帰的なデータ参照を伴う演算の自動ベクトル化" 情報処理学会第45回全国大会講演論文集. 分冊5. 53-54 (1992)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 末廣 謙二: "WHILE型ループの自動ベクトル化・並列化" 情報処理学会第45回全国大会講演論文集. 分冊5. 51-52 (1992)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 岡部 寿男: "ベクトル計算機における拡張記憶の拡張主記憶記憶としての仮想化-リストベクトルの利用による配列の格子状分割-" 日本ソフトウェア科学会第9回大会論文集. 481-484 (1992)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 水沼 一郎: "記号定数及び非線形式を含む多重ループのデータ依存解析" 日本ソフトウェア科学会第9回大会論文集. 485-488 (1992)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takao TSUEDA: "V-Pascal : An Automatic Vectorizing Compiler for Pascal with No Language Extensions" Journal of Supercomputing, Kluwer Academic Publishers. Vol.4. 251-275 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Yoshitoshi KUNIEDA: "Methods of Analyzing Data Dependencies for Arrays over Multiply Nested Loops in Japanese" Transaction of IPSJ. Vol.32. 383-395 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Motonori NAKAMURA: "Methods for Idiom Recognition by Automatic Vectorizing Compilers in Japanese" Transactions of IPSJ. Vol.32. 491-503 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Aki MATSUMOTO: "Dependence Analysis between Pointer References in Pascal" Proceedings of the International Symposium on Supercomputing. Kyushu University Press). 28-37 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Tetsutaro UEHARA: "Benchmarking Vector Indirect Load/Store Instructions" Proceedings of the International Symposium on Supercomputing. Kyushu University Press. 134-143 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Tetsutaro UEHARA: "Benchmarking Vector Indirect Load/Store Instructions" supercomputer, ASFRA(The Netherlands). Vol.8. 57-74 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Takao TSUDA: "Design and Implementation of a Vectorizing Compiler for the Block-structured Language Pascal" Proceedings of the International Symposium on Supercomputing. Kyushu University Press. 38-45 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Takao TSUDA: "Design and Implementation of a Vectorizing Compiler for the Block-structured Language Pascal" Supercomputer, ASFRA(The Netherlands). Vol.8. 12-21 (1991)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Yasuo OKABE: "Analysis of algorithms for linear computation on bus-connected vector multiprocessors in Japanese" 45th National Convention Record of IPSJ. Vol.5. 133-134 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Motonori NAKAMURA: "Vectorization of Operations Which Have Recursive References in Japanese" 45th national Convention Record of IPSJ. Vol.5. 53-54 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Kenji SUEHIRO: "Automatic Vectorization/Parallelization. of WHILE Loops in Japanese" 45th National Convention Record of IPSJ. Vol.5. 51-52 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Yasuo OKABE: "Virtualization of semiconductor extended storage as extended main storage for vector supercomputers in japanese" 9th Conference Proceedings of JSSST. 481-484 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Ichiro MIZUNUMA: "Data-dependence analysis of nested loops containing symbolical and nonlinear expressions in Japanese" 9th Conference proceedings of JSSST. 485-488 (1992)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1994-03-24  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi