Massively Parallel Computer and Declarative Language

点击翻译按钮获取中文摘要

(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.