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

Parallelising Compiler for a Declarative Language

Research Project

Project/Area Number 07458062
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionKYUSYU UNIVERSITY

Principal Investigator

AMAMIYA Makoto  KYUSYU UNIVERSITY Graduate School of Information Science & Electrical Engineering Professor, 大学院・システム情報科学研究科, 教授 (90202697)

Co-Investigator(Kenkyū-buntansha) TSURUTA Naoyuki  KYUSYU UNIVERSITY Graduate School of Information Science & Electrical Engineerin, 大学院・システム情報科学研究科, 助手 (60227478)
MINE Tsunenori  KYUSYU UNIVERSITY Graduate School of Information Science & Electrical Engineerin, 大学院・システム情報科学研究科, 助教授 (30243851)
MURAKAMI Kazuaki  KYUSYU UNIVERSITY Graduate School of Information Science & Electrical Engineerin, 大学院・システム情報科学研究科, 助教授 (10200263)
TANIGUCHI Hideo  KYUSYU UNIVERSITY Graduate School of Information Science & Electrical Engineerin, 大学院・システム情報科学研究科, 助教授 (70253507)
TANIGUCHI Rinichro  KYUSYU UNIVERSITY Graduate School of Information Science & Electrical Engineerin, 大学院・システム情報科学研究科, 教授 (20136550)
Project Period (FY) 1995 – 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥7,600,000 (Direct Cost: ¥7,600,000)
Fiscal Year 1997: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1996: ¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 1995: ¥4,400,000 (Direct Cost: ¥4,400,000)
KeywordsDeclarative Parallel Language / Prallel Processing / Fine-grain Multi-threading / Parallelizing Compiler / Dataflow / 超並列処理 / 並列オプジェクト指向 / 超並列マシン / メッセージフロー / 並列オブジェクト指向
Research Abstract

We have implemented a dataflow declarative language on stock (non-dataflow) machines.
・Practical Compiler
The compiler has two phases : machine-independent phase and machine independent phase. The former generates a fine-grain virtual machine code, called DVMC (Datarol Virtual Machine Code). The latter optimizes the DVMC and translates it to the suitable code for a particular target machine. Since our source language supports non-strictness, frequent dynamic scheduling, which may incur heavy overhead on stock machines, will occur during the program execution. However, our compiler can find an appropriate execution order of a program, so that the frequency of useless dynamic scheduling may be reduced. In addition, our runtime system provides an efficient execution environment even if a program has potential points of dynamic scheduling.
・Experiment Environment for Fine-grain parallelism
In our implementation, we have built a virtual machine which supports fine-grain parallel execution. We have also developed an interpreter of this fine-grain virtual machine. The interpreter provides an interactive execution environment of fine-grain multithread programs. Since the interpreter is augmented with GUI,we can visually check the fine-grain execution.

Report

(4 results)
  • 1997 Annual Research Report   Final Research Report Summary
  • 1996 Annual Research Report
  • 1995 Annual Research Report
  • Research Products

    (32 results)

All Other

All Publications (32 results)

  • [Publications] Peter Kacsuk, et al.: "A Multihtreaded Implementation Concept of Prolog on Datarol-II Machie" Proc.of International Symposium on High Performance Comput-ing(ISHPC)(LNCS1336). 91-106 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Makoto Amamiya, et al.: "Datarol:A Parallel Machine Architecture for Fine-Grain Multithreading" Proceedongs of 3rd International Working Conference on Mas-sively Parallel Programming Models. 1-17 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Hiroshi Tomiyasu, et al.: "Co-Processor System Design for Fine-grain Message Handling in KUMP/D" Proc.of 3rd European Conference on Parallel Processing(Euro-Par'97)(LNCS1300). 779-788 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Kentaro Inenaga, et al.: "Hybrid Approach for Non-strict Dataflow Program on Commodity Machine" Proc.International Symposium on High Performance Computing(ISHPC)(LNCS1336). 243-254 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Shigeru Kusakabe, et al.: "Hybrid Support for Lenient Implementation of Array-Comprehension" In Proc.of Asian Computing Science Conference(LNCS1345). 383-384 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 富安 洋史 他: "マルチメディア指向並列計算機KUMP/Dとそのメッセージ処理機構" 情報処理学会論文誌. 38・9. 1694-1705 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Peter Kacsuk, et al.: "A Multihtreaded Implementation Concept of Prolog on Datarol-II Machie" Proc.of International Symposium on High Performance Computing (ISHPC) (LNCS 1336). 91-106 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Makoto Amamiya, et al.: "Datarol : A Parallel Machine Architecture for Fine-Grain Multithreading" Proceedongs of 3rd International Working Conference on Massivelv Parallel Programming Models. 1-17 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Hiroshi Tomiyasu, et al.: "Co-Processor System Design for Fine-grain Message Handling in KUMP/D" Proc.of 3rd European Conference on Parallel Processing (Europar'97) (LNCS 1300). 779-788 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Kentaro Inenaga, et al.: "Hybrid Approach for Non-strict Dataflow Program on Commodity Machine" Proc.International Symposium on High Performance Computing (ISHPC) (LNCS 1336). 243-254 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Shigeru Kusakabe, et al.: "Hybrid Support for Lenient Implementation of Array-Comprehension" In Proc.of Asian Computing Science Conference (LNCS 1345). 383-384 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Hiroshi Tomiyasu, et al.: "Fine-grain Message Handling Mechanism in Multi-media Oriented Parallel Process KUMP/D (in Japanese)" Transaction of Ionformation Processing Society of Japan. 38・9. 1694-1705 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Peter Kacsuk,et al.: "A Multihtreaded Implementation Concept of Prolog on Datarol-II Machie" Proc.of International Symposium on High Performance Computing(ISHPC)(LNCS 1336). 91-106 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Makoto Amamiya,et al.: "Datarol:A Parallel Machine Architecture for Fine-Grain Multithreading" Proceedongs of 3rd International Working Conference on Massively Parallel Programming Models. 1-17 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Hiroshi Tomiyasu,et al.: "Co-Processor System Design for Fine-grain Message Handling in KUMP/D" Proc.of 3rd European Conference on Parallel Processing(EuroPar'97)(LNCS 1300). 779-788 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Kentaro Inenaga,et al.: "Hybrid Approach for Non-strict Dataflow Program on Commodity Machine" Proc.International Symposium on High Performance Computing(ISHPC)(LNCS 1336). 243-254 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Shigeru Kusakabe,et al.: "Hybrid Support for Lenient Implementation of Array-Comprehension" In Proc.of Asian Computing Science Conference(LNCS 1345). 383-384 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 富安 洋史 他: "マルチメディア指向並列計算機KUMP/Dとそのメッセージ処理機構" 情報処理学会論文誌. 38・9. 1694-1705 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Peter Kacsuk,et al.: "Prolog on the Multithreaded Datarol-II Machine based on the Logicflow Execution Model" Proc.of the Eighth IEEE Symposium on Parallel and Distributed Processing. 112-121 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Makoto Amamiya: "Datarol:A Parallel Machine Architecture for Fine Grain Multithreading" Proceedongs of lst Autrian-Hungarian Workshop on Distributed and Parallel Systems,Invited Paper. 3-18 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Makoto Amamiya,et al.: "A Practical Processor Design For Multithreading" Proc.of the Sixth Symposium on Frontiers of Masssively Parallel Computing. 23-32 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Shigeru Kusakabe,et al.: "Address Generation of Dataflow Fine-grain Parallel Data-structures on a Distributed-memory Computer" Proc.of PACT96(IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques). 139-143 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Shigeru Kusakabe,et al.: "Reducing overhead in implementing fine-grain parallel data-structures of a dataflow language on off-the-shelf distributed-memory parallel computers" In Proc.of HICSS-30(30th Hawaii International Conference on System Sciences). 1. 234-243 (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] 富安 洋史 他: "細粒度並列処理を行なうマルチメディア指向並列計算機KUMP/D" 並列処理シンポジウム'96論文集. 291-298 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Shigeru Kusakabe: "A Dataflow Language with Object-based Extension and Its Implementation on a Commercially Available Parallel Machine" Proc. of ACM Int'l Conf. on Supercomputing. 308-317 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Tetsuo Kawano: "Fine-grain Multi-thread Processor Architecture for Massively Parallel Processing" Proc. of High-Performance Computer Architecture Symposium. 308-317 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 川野 哲生: "細粒度マルチスレッド処理向けプロセッサDatarol-IIの構成と評価" 情報処理学会論文誌. 36. 1700-1708 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 日下部 茂: "データフローモデルに基づく超並列V言語とその商用並列計算機上の実装について" 情報処理学会論文誌. 36. 1529-1541 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 雨宮 真人: "超並列プログラミング言語とその処理系" 情報処理学会誌. 36. 514-520 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Shigeru Kusakabe: "Optimization in Implementing a Non-strict Dataflow Functional Language Valid on AP1000" In Proc. of th 4th Int'l Parallel Computing Workshop. 315-320 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Makoto Amamiya (Ed.: L. Bic el al.): "Design Principle of Massively Parallel Distributed-Memory Multiprocessor Architecture(in Advanced Topic in Dataflow Computing and Multithreading)" IEEE Press, 450 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Shigeru Kusakabe (Ed.: L. Bic et al.): "Implementation of Parallel Functional Language on Conventional Multiprocessors(in Parallel Language and Compiler Research in Japan)" Kluwer Academic Publisher, 522 (1995)

    • Related Report
      1995 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi