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

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)
大久保 英嗣  京都大学, 工学部, 助教授 (60127058)
Project Period (FY) 1990 – 1992
Project Status Completed (Fiscal Year 1992)
Budget Amount *help
¥15,700,000 (Direct Cost: ¥15,700,000)
Fiscal Year 1992: ¥1,500,000 (Direct Cost: ¥1,500,000)
Fiscal Year 1991: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1990: ¥12,900,000 (Direct Cost: ¥12,900,000)
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.

Report

(4 results)
  • 1992 Annual Research Report   Final Research Report Summary
  • 1991 Annual Research Report
  • 1990 Annual Research Report
  • Research Products

    (41 results)

All Other

All Publications (41 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
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] 國枝 義敏: "多重ループにわたる配列データ依存関係解析法" 情報処理学会論文誌. 32. 383-395 (1991)

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Tetsutaro UEHARA: "Benchmarking Vector Indirect Load/Store Instructions" Supercomputer,ASFRA(The Netherlands). 8. 57-74 (1991)

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

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

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

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1992 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Motonori NAKAMURA: "Methods for Idiom Recognition by Automatic Vectorizing Compilers in Japanese" Transactions of IPSJ. Vol.32. 491-503 (1991)

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

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

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

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

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1992 Final Research Report Summary
  • [Publications] Takao TSUDA: "V-Pascal:An Automatic Vectorizing Compiler for Pascal with No Language Extensions" Journal of Supercomputing,Kluwer Academic Publishers. 4. 251-275 (1990)

    • Related Report
      1992 Annual Research Report
  • [Publications] 國枝 義敏: "多重ループにわたる配列データ依存関係解析法" 情報処理学会論文誌. 32. 383-395 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] 中村 素典: "自動ベクトル化コンパイラにおけるイディオム認識法" 情報処理学会論文誌. 32. 491-503 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] Aki MATSUMOTO: "Dependence Analysis between Pointer References in Pascal" Proceedings of the International Symposium on Super-computing(Kyushu University Press). 28-37 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] Tetsutaro UEHARA: "Benchmarking Vector Indirect Load/Store Instructions" Supercomputer,ASFRA(The Netherlands). 8. 57-74 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] Takao TSUDA: "Design and Implementation of a Vectorizing Compiler for the Block-structured Language Pascal" Supercomputer,ASFRA(The Netherlands). 8. 12-21 (1991)

    • Related Report
      1992 Annual Research Report
  • [Publications] 岡部 寿男: "バス結合マルチプロセッサ型ベクトル計算機における線形計算アルゴリズムの評価" 情報処理学会第45回全国大会講演論文集. 分冊5. 133-134 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 中村 素典: "回帰的なデータ参照を伴う演算の自動ベクトル化" 情報処理学会第45回全国大会講演論文集. 分冊5. 53-54 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 末廣 謙二: "WHILE型ループの自動ベクトル化・並列化" 情報処理学会第45回全国大会講演論文集. 分冊5. 51-52 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 岡部 寿男: "ベクトル計算機における拡張記憶の拡張主記憶記憶としての仮想化ーリストベクトルの利用による配列の格子状分割ー" 日本ソフトウェア科学会第9回大会論文集. 481-484 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 水沼 一郎: "記号定数及び非線形式を含む多重ループのデータ依存解析" 日本ソフトウェア科学会第9回大会論文集. 485-488 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] 中村 素典: "自動ベクトル化コンパイラにおけるイディオム認識法" 情報処理学会論文誌. 32. 491-503 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Aki Matsumoto: "Dependence Analysis between Pointer References in Pascal." Proceedings of the International Symposium on Supercomputing(Fukuoka,Japan,Nov.6-8,1991),Kyushu University Press. 28-37 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Takao Tsuda: "Design and Implementation of a Vectorizing Compiler for the Block-structured Language Pascal." Proceedings of the International Symposium on Supercomputing(Fukuoka,Japan,Nov.6-8,1991),Kyushu University Press. 38-45 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Tetsutaro Uehara: "Benchmarking Vector Indirect Load/Store Instructions." Proceedings of the international Symposium on Supercomputing(Fukuoka,Japan,Nov.6-8,1991),Kyushu University Press. 134-143 (1991)

    • Related Report
      1991 Annual Research Report
  • [Publications] Takao Tsuda: "VーPascal:An Automatic Vectorizing Compiler for Pascal with No Language Extensions" The Journal of SUPER COMPUTING. 4. 251-275 (1990)

    • Related Report
      1990 Annual Research Report
  • [Publications] 國枝 義敏: "多重ル-プにわたる配列デ-タ依存関係解析法" 情報処理学会論文誌. 32. 1-13 (1991)

    • Related Report
      1990 Annual Research Report

URL: 

Published: 1990-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi