Research on reflective computation model based on data-parallelism

基于数据并行的反射计算模型研究

• 批准号: 06808029
• 负责人: TANAKA Jiro
• 金额: $ 1.22万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 1995
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06808029/
• 关键词: Data parallelism; Reflection; Parallel Logic Language; SPMD; SIMD; Parallel Computaion; MIMD; 自己反映計算

We proposed an implemetation method for a subset of parallel logic language GHC,using data parallel language C^* on connection machine CM-5. Our objectives were to improve the programmability of massive parallel computers and the portability of MIMD languages.In our implementation, we focused two kinds of parallelism, i.e., the parallelism of goals and that of data structures. Both of goals and data are assigned to virtual processors of C^*. Each goal is assigned to a virtual processor and the goal is executed synchronized parallel manner. Also each data is assigned to a virtual processor, and thus, can be accessed simultaneously.In relate to Reflection, we proposed the new implementation of Reflective GHC in BinProlog. The concept of blackbooad and the translation to the binary clause of BinProlog turned out to be very effective in implementing Reflective GHC.By using those features of BinProlog, we proposed the new implementation of Reflective GHC.

本文提出了一种用数据并行语言C^* 在连接机CM-5上实现并行逻辑语言GHC子集的方法。我们的目标是提高大规模并行计算机的可编程性和MIMD语言的可移植性。在我们的实现中，我们关注两种并行性，即，目标和数据结构的并行性。目标和数据都被分配给C^* 的虚拟处理器。每个目标被分配给一个虚拟处理器，目标以同步并行的方式执行。另外，每个数据都被分配给一个虚拟处理器，因此，可以同时访问。在反射，我们提出了反射GHC在BinProlog中的新实现。在反射式GHC的实现中，Blackbooad的概念和对BinProlog二进制子句的转换被证明是非常有效的，利用BinProlog的这些特性，我们提出了反射式GHC的新实现。

项目成果

青木良憲,田中二郎: "Blade Boardを用いたリフレクティブGHCの実装" 信学技報. Vol. 94 No.525. 33-40 (1995)

Yoshinori Aoki、Jiro Tanaka：“使用刀片板实现反射式 GHC”，IEICE 技术报告，第 94 卷，第 33-40 期（1995 年）。

古川英司,田中二郎: "コネクションマシンによるMIMDプログラミングとその評価" 日本ソフトウェア科学会第12回大会論文集. 201-204 (1995)

Eiji Furukawa、Jiro Tanaka：“使用连接机的 MIMD 编程及其评估”日本软件学会第 12 届年会记录 201-204（1995 年）。

吉川英司,田中二郎: "並立論理型言語のデータ並列言語による実装" 情報処理学会第49回(平成6年後期)全国大会講演論文集. 5. 19-20 (1994)

Eiji Yoshikawa、Jiro Tanaka：“使用数据并行语言实现并行逻辑语言”第 49 届日本信息处理学会全国会议论文集（1994 年末）5. 19-20 (1994)。

古川英司,田中二郎: "並列論理型言語のデータ並列言語よる実装" 情報処理学会第49回(平成6年後期)全国大会講演論文集. 5. 19-20 (1994)

Eiji Furukawa、Jiro Tanaka：“使用数据并行语言实现并行逻辑语言”第 49 届日本信息处理学会全国会议记录（1994 年 5 月 19-20 日）。

田中二郎,後藤和貴,馬場昭宏: "ビジュアルプログラミングシステムにおける入力法の効率化" 日本ソフトウェア科学会第12回大会論文集. 165-168 (1995)

Jiro Tanaka、Kazutaka Goto、Akihiro Baba：“提高可视化编程系统中输入方法的效率”日本软件学会第 12 届年会记录 165-168 (1995)。