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

1998 Fiscal Year Final Research Report Summary

Massively Parallel Computer and Declarative Language

Research Project

Project/Area Number 09044174
Research Category

Grant-in-Aid for international Scientific Research

Allocation TypeSingle-year Grants
SectionJoint Research
Research Field 計算機科学
Research InstitutionKYUSHU UNIVERCITY

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) KUSAKABE Shigeru  Kyushu University, Graduate School of Information Science and Electrical Engineering. Associate Professor, 大学院・システム情報科学研究科, 助教授 (70234416)
FUJITA Hiroshi  Kyushu University, Graduate School of Information Science and Electrical Engineering. Associate Professor, 大学院・システム情報科学研究科, 助教授 (70284552)
HASEGAWA Ryuzo  Kyushu University, Graduate School of Information Science and Electrical Engineering. Professor, 大学院・システム情報科学研究科, 教授 (20274483)
KOSHIMURA Miyuki  Kyushu University, Graduate School of Information Science and Electrical Engineering. Assistant, 大学院・システム情報科学研究科, 助手 (30274492)
TOMIYASU Hiroshi  Kyushu University, Graduate School of Information Science and Electrical Engineering. Assistant, 大学院・システム情報科学研究科, 助手 (50284550)
Project Period (FY) 1997 – 1998
KeywordsParallel Machine Architecture / Parallel Processing Language / Multithreading / Parallel Prolog / Dataflow Computation Model / Theorem Proving / Constraints Programming
Research Abstract

(1) We pursued the research to integrate the declarative language V and its compiler developed at the laboratory of Prof. Amamiya, with Threaded-C language developed at the laboratory of Prof. Gao. Threaded-C is an extension of C to support the multitreading computation for parallel processing. Major topic of the research is to compile the language V towards several target machines including the EARTH-MANNA developed at Prof. Gao's project. The V programs are compiled into Threaded-C codes through the intermediate DVMC (Datarol Virtual Machine Code) of V. Threaded-C codes run on several kinds of commodity machines. Through this research, we proved that our declarative language V and its compiler is general enough to run on various kinds of parallel computers.
(2) Through the collaborative research with Prof. Kacsuk, we developed a parallel processing system of Prolog language on the multithreaded machine KUMD/D developed at the laboratory of Prof. Amamiya. Logic Flow, which is developed at the laboratory of Prof. Kacsuk as a parallel evaluation model of Prolog,, is based on the dataflow computation model.
In this research, we showed that multi-threading based parallel evaluation of Prolog is possible on the KUMP/D machine by translating Log flow to DVMC.
(3) Through the research with Prof. Haehnle, a basic implementation methodology of parallel theorem proving system was clarified based on the MGTP (Model Generation Theorem Proving) developed at the laboratory of Prof. Hasegawa. Several new ideas, e. g., case splitting method for efficient parallel theorem proving and introducing interval constraints solving method into MGTP, were also developed in this research.

  • Research Products

    (13 results)

All Other

All Publications (13 results)

  • [Publications] Kentaro Inenaga, Shigeru Kusakabe, Tetsuo Morimoto, Makoto Amamiya: "Hybrid Approach for Non-strict Dataflow Program on Commodity Machine"Proceedngs of International Symposium on High Performance Computing. LNCS vol.1336. 243-254 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya: "Implementation of a Non-strict Functional Programming Language V on a Threaded Architecture EARTH"Proceedngs of International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA'98). (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya Xinan Tang, Andres Marquez, and Guang R. Gao: "Implementing a Non-strict Functional Programming Language on a Threaded Architecture"Fourth International Workshop onHigh-Level Parallel Programming Models and Supportive Environments (HIPS'99). (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Peter Kacsuk, and Makoto Amamiya: "A Multithreaded Implementation Concept of Prolog on Dataroll-II Machine"Proceedngs of International Symposium on High Performance Computing (ISHPC'97). LNCS vol. 1336. 320-327 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Zsolt Nemeth, Hiroshi Tomiyasu, Peter Kacsuk, and Makoto Amamiya: "Multithreaded LOGFLOW on KUMP/D"Proceedngs of Second International Symposium (ISHPC'99). LNCS vol. 1615. 320-327 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Makoto Amamiya, Hiroshi Tomiyasu, Rin-ichiro Taniguchi, Peter Kacsuk, and Zsolt Nemeth: "Multithreaded Architecture, for Multimedia Processing"Journal of Integrated Computer-Aided Engineering. (to appear). (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] INEGAWA,Kentaro, KUSAKABE,Shigeru, MORIMOTO,Tetsuro, AMAMIYA,Makoto: "Hybrid Approach for Non-strict Dataflow Program on Commodity Machine"Proceedings of International Symposium on High Performance Computing, ISHP'97. LNCS vol. 1336. 243-245 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] KUSAKABE,Shigeru, INEGAWA,Kentaro, AMAMIYA,Makoto: "Implementation of a Non-strict Functional Programming Language V on a Threaded Architecture EARTH"Proceedings of International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems(IWIA'98). 1999.

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] KUSAKABE,Shigeru, INEGAWA,Kentaro, AMAMIYA,Makoto Xinan Tang, Andres Marquez, and Guang R. Gao: "Implementing a Non-strict Functional Programming Language on a Threaded Architecture"Fourth International Workshop on High-Level Parallel Programming Models and Supportive Environments(Hips'99). 1999.

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Peter Kacsuk, and AMAMIYA,Makoto: "A Multithreaded Implementation Concept of Prolog on Datarol-II Machine"Proceedings of International Symposium on High Performance Computiong(ISHPC'98). LNCS vol. 1336. 91-106 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Zsolt Nemeth, TOMIYASU,Hiroshi, Peter Kacsuk, and AMAMIYA,Makoto: "Multithreaded LOGFLOW on KUMP/D"Proceedings of Second International Symposium(ISHPC'99). LNCS vol.1615. 320-327 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] AMAMIYA,Makoto, TOMIYASU,Hiroshi, TANIGUCHI,Rinichiro, Peter Kacsuk, and Zsolt Nemeth: "Multithreaded Architecture, for Multimedia Processing"Journal of Integrated Computer-Aided Engineering, CRC Press LLC. (to appear). (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Reiner Hahnle, HASEGAWA,Ryuzo and SHIEAI,Yasuyuki: "Model Generarion Theorem Proving with Inerval Constraints"Proceedings of ILPS Workshop on Interval Constraints 1995, Portland/OR, USA.

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

URL: 

Published: 2001-10-23  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi