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.

我们使用DATA PALALLALE语言CM-5上的数据并行语言C^*提出了一种平行逻辑语言GHC子集的插入方法。我们的目标是提高大规模并行计算机的可编程性和MIMD语言的可移植性。在实施中，我们集中了两种并行性，即目标的并行性和数据结构的并行性。目标和数据都分配给C^*的虚拟处理器。每个目标都被分配给虚拟处理器，并执行同步并行方式。另外，每个数据都被分配给虚拟处理器，因此可以同时访问。与反射有关，我们提出了BinProg中反射GHC的新实现。 BlackBooad的概念以及对Binprog的二进制条款的翻译在实施反射性GHC方面非常有效。通过使用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 Furukawa、Jiro Tanaka：“使用数据并行语言实现并行逻辑语言”第 49 届日本信息处理学会全国会议记录（1994 年 5 月 19-20 日）。

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

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

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

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