权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Massively Parallel Computer and Declarative Language

大规模并行计算机和声明性语言

基本信息

批准号：
09044174
负责人：
AMAMIYA Makoto
金额：
$ 9.22万
依托单位：
KYUSHU UNIVERCITY
依托单位国家：
日本
项目类别：
Grant-in-Aid for international Scientific Research
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

项目摘要

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

(1)我们进行了将Amamiya教授实验室开发的声明性语言V及其编译器与Gao教授实验室开发的Threaded-C语言集成的研究。 Threaded-C 是 C 的扩展，支持并行处理的多线程计算。研究的主要主题是针对多种目标机器编译语言V，包括高教授项目开发的EARTH-MANNA。 V程序通过V的中间DVMC（Datarol虚拟机代码）编译成Threaded-C代码。Threaded-C代码可以在多种商用机器上运行。通过这项研究，我们证明了我们的声明式语言V及其编译器具有足够的通用性，可以在各种并行计算机上运行。(2)通过与Kacsuk教授的合作研究，我们在Amamiya教授实验室开发的多线程机KUMD/D上开发了Prolog语言的并行处理系统。 Kacsuk教授实验室开发的Prolog并行评估模型Logic Flow是基于数据流计算模型的。本研究表明，通过将Log流转换为DVMC，在KUMP/D机上可以实现基于多线程的Prolog并行评估。(3)通过与Haehnle教授的研究，阐明了基于多线程的Prolog并行定理证明系统的基本实现方法。 MGTP（模型生成定理证明）是在长谷川教授的实验室开发的。几个新想法，例如。 g.，本研究还开发了用于高效并行定理证明的案例分割方法，并将区间约束求解方法引入到 MGTP 中。