講演名 1994/7/22
自律的BOBモデルを用いたTRSの並列分散実行系
蜂巣 吉成, 山本 晋一郎, 阿草 清滋,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 並列TRSシミュレータの実現のために、一定個数のセル管理と書換え等の操作を抽象化したクラスBOB(Bundle of Branches)が提案されている。また、共有メモリ型計算機上でのBOBを用いた実現で台数効果があることが示された。本稿では新たに自律的BOBモデルを提案する。このモデルでは一つのBOBには一つの実行主体が割り当てられ、BOBに関する操作は割り当てられた実行主体のみが行う。また、複数のBOBに関する動作はメッセージを用いて実現される。これらにより分散環境への適応が可能となる。
抄録(英) In this paper,we propose autonomous BOB Model,which is suitable for implementations of distributed TRS.BOB is a methodology of data management for distributed TRS.A TRS using BOB has been implemented on shared memory machine,which runs about two times faster on 4 CPUs than on single CPU machine.In our model,a BOB is controlled by a thread,and each BOB communicates to others by message passing.An implementation of TRS on distributed environment is available by using our model.
キーワード(和) 項書換え系 / 分散処理 / BOB
キーワード(英) TRS / distributed processing / BOB
資料番号 CPSY94-35
発行日

研究会情報
研究会 CPSY
開催期間 1994/7/22(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Computer Systems (CPSY)
本文の言語 JPN
タイトル(和) 自律的BOBモデルを用いたTRSの並列分散実行系
サブタイトル(和)
タイトル(英) An Implementation of Distributed TRS on Autonomous BOB Model
サブタイトル(和)
キーワード(1)(和/英) 項書換え系 / TRS
キーワード(2)(和/英) 分散処理 / distributed processing
キーワード(3)(和/英) BOB / BOB
第 1 著者 氏名(和/英) 蜂巣 吉成 / Yoshinari Hachisu
第 1 著者 所属(和/英) 名古屋大学工学部情報工学科
Department of Information Engineering,School of Engineering,Nagoya University
第 2 著者 氏名(和/英) 山本 晋一郎 / Shinichirou Yamamoto
第 2 著者 所属(和/英) 名古屋大学工学部情報工学科
Department of Information Engineering,School of Engineering,Nagoya University
第 3 著者 氏名(和/英) 阿草 清滋 / Kiyoshi Agusa
第 3 著者 所属(和/英) 名古屋大学工学部情報工学科
Department of Information Engineering,School of Engineering,Nagoya University
発表年月日 1994/7/22
資料番号 CPSY94-35
巻番号(vol) vol.94
号番号(no) 163
ページ範囲 pp.-
ページ数 8
発行日