氏名: 蜂巣吉成 (m06746)
論文題目: 分散メモリ型並列計算機における項書換え系の効率的な実現
論文概要
項書換え系は計算モデルの一つであり、本質的に並列性を内在している。すで
に、項書換え系の並列処理のためのメモリ管理の方法としてBOB(Bundle Of
Branches)が提案され、共有メモリ型計算機でBOBを用いた処理系が作成されて
いる。本論文では、分散メモリ型並列計算機に適した自律的BOBモデルを提案
する。このモデルはメッセージ・パッシング機構を利用して設計されている。
また、実際にこのモデルに基づく処理系を作成し、64台のCPUで最大30倍程処
理が高速化されることを計算機実験で確認した。
目次に戻る