並行書き換えモデルの超並行実行方式の研究

并行重写模型超并行执行方法研究

• 批准号: 06452391
• 负责人: 二木 厚吉
• 金额: --
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 1995
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06452391/
• 关键词: 計算モデル; 並列処理; 書き換えモデル; 抽象機械

本年度は、並行分散システムの有望なモデルである並行書き換えモデルに関し、その一つの重要な部分モデルとして、非同期メッセージ通信を用いた並行オブジェクト計算に対応するものを取り上げ、以下のことを行なった。(1)抽象機械として定式化。(2)抽象機械のその性能を評価するためのシミュレーション実験。抽象機械としては、超並行計算機上で効率良く実装できるように、非同期メッセージ通信を用いた並行オブジェクト計算に近いものを想定し、並行グラフ簡約とメッセージ通信を併用した実行方式を想定して定式化した。上記抽象機械のシミュレーターを、関数型プログラミング言語Haskellで実現した。このシミュレータ上で、抽象機械の仮想機械語によって記述した並行計算に関するいくつかの例題を実行し、結果次のような知見を得た。(a)従来アドホックな形で実装されていた並行オブジェクト指向言語の,書き換えにもとづく形式的な実行方式を得ることができた.実際に,定義した抽象機械がの正当性(並行オブジェクト指向言語の正しい実装となっていること)は書き換え論理を用いて証明することができた.(b)シミュレータを使った実験を通して,本研究で定式化した抽象機械が,並行計算機を用いて効率良く実装できることを確認した.これをもとに、次年度以降は(1)超並列計算機上への抽象機械の効率の良い実装方式,および(2)本定式化にもとづく,並行オブジェクト指向言語のプログラム変換や部分計算手法の研究を行なう予定である。

今年，我们重点关注并行重写模型，这是并行分布式系统的一个有前途的模型，并重点关注一个重要的部分模型，该模型支持使用异步消息通信的并行对象计算，并做了以下工作。 (1) 表述为抽象机。 (2)模拟实验评估抽象机的性能。作为一个抽象机，为了能够在大规模并行计算机上高效地实现它，我们假设了类似于使用异步消息通信的并行对象计算的东西，并通过假设使用并发图缩减和消息通信的执行方法来制定它。做过。上述抽象机模拟器是使用函数式编程语言Haskell实现的。在这个模拟器上，我们执行了几个用虚拟机语言编写的抽象机并行计算示例，并得到了以下发现。 (a) 我们能够获得基于并发面向对象语言重写的正式执行方法，该方法传统上以临时方式实现 (b) 使用重写逻辑可以证明实现是正确的。 (b) 使用模拟器的实现通过实验，我们证实了本研究中提出的抽象机可以使用并行计算机高效地实现。基于此，从明年开始，我们将重点关注（1）提高抽象机在大规模并行计算机上的效率；基于这个提法研究好的实现方法和（2）并发面向对象语言的程序转换和部分计算方法。

项目成果

石川洋: "書き換え論理に基づく並行自己反映計算のモデル化" 日本ソフトウエア科学会第11回大会論文集. 11. 313-316 (1994)

Hiroshi Ishikawa：“基于重写逻辑的并行自反射计算建模”日本软件学会第 11 届年会论文集 11. 313-316 (1994)。

渡部卓雄: "リフレクション" コンピュータソフトウエア. 11. 5-14 (1994)

Takuo Watanabe：“反射”计算机软件。11. 5-14 (1994)

菅原太郎: "並行項書換え計算による並行オブジェクト指向言語の実現" 信学技報(SS94-13). 94. 9-16 (1994)

Taro Sukawara：“使用并行项重写计算实现并发面向对象语言”IEICE 技术报告 (SS94-13)。

渡部卓雄: "書換えにもとづく自己反映計算の定式化" 信学技報(SS94-12). 94. 1-7 (1994)

Takuo Watanabe：“基于重写的自反射计算的公式化”IEICE 技术报告（SS94-12）。