Committed-Choice型言語の分散処理系における参照経路の圧縮
スポンサーリンク
概要
- 論文の詳細を見る
fleng処理系の基本的な動作は、ゴールプールから適当なゴールを1つ選び、このゴールとのユニファイに成功した定義節によってリダクションを行うというものである。本研究で扱っている処理系は分散処理を行っているため、ユニファイの対象となるオブジェクトが遠隔ノード上にあれば、遠隔ユニファイを行わなければならない。遠隔ユニファイを行うためには、引き数の個数とそれぞれの値をすべて他方のノードへ送らなければならない。したがって、このときに送る必要のあるオブジェクトを減らすことが、メッセージ数の減少、ひいては処理系の処理速度の改善につながると考えられる。このために、飛び石のように、複数のノードを無駄に遠隔参照している状態をなくすことを考える。これを参照経路の圧縮と呼ぶ。
- 一般社団法人情報処理学会の論文
- 1994-09-20
著者
関連論文
- 国立大学における情報関係専門学科の現状について
- Pst-6 物理チャレンジ2007からの報告
- 幼稚園の初心者教師を対象とした学習システム
- 幼稚園の初心者教師のための利用者主導型学習システムの開発 : きのこシステム
- 幼稚園初任教師教育のための計算機の利用法に関する研究
- 標準函数プログラム作製上の問題点について
- 分散プログラミング言語処理系の比較
- 多教科での利用を想定した小学生用共同学習支援システム--「友だちカ-ドシステム」の設計と開発 (情報教育・映像教育--金沢大学 1995年9月9日(土))
- 小出昭一郎先生を偲ぶ(1)(追悼 小出昭一郎先生)
- 情報システムと情報技術事典編集委員会(編), 『情報システムの実際』, 培風館, 1官公庁・公共サービスシステム, 223p, 12,000円(税別), ISBN4-563-01709-4, 2商業・小売業・病院等のシステム, 190p, 11,000円(税別), ISBN4-563-01710-8, 3製造・建設・サービス等のシステム, 249p, 13,000円(税別), ISBN4-563-01711-6, 4経営実務・開発管理・研究支援システム, 208p, 11,000円(税別), ISBN4-
- 我々の手で評価システムを育てよう
- 物理教育と情報(物理と情報)
- 教科書作成過程の実状と改善の方策(教科書作成過程の実状と改善の方向)
- オペレーションズ・リサーチ随想
- うつろうもの うつろわぬもの
- 科学教育に対する二・三の私見
- 新教育課程における高校物理
- 学習指導要領ができるまで(次期教育課程に向けての動向)
- Committed-Choice型言語の分散処理系における参照経路の圧縮
- フォールトトレラントな分散Fleng処理系の実現
- 大域的ゴミ集め機能を持った分散ヒープ
- 対象システムと独立したプロセスによるヘルプ機能の実現
- UNIXプロセスの分散スナップショト
- データベースを用いたCAIオーサリングシステムの開発
- 米国における高校物理教育に関する調査報告について(学会報告)
- 研究者のアウトリーチ活動の一つの試み(2005世界物理年)
- ミュージックサーバシステム
- 今こそ真の物理教育改革を
- 大学におけるソフトウェア教育(ソフトウェア要員と教育)
- D201 会話形式CAIコースウェア開発支援システム
- 学習指導要領 (高等学校理科) の改訂 : 物理 (学習指導要領 (高等学校理科) の改訂)
- 大学入試をどうすれば良いか(高校物理教育と大学入試問題)
- 1p-KJ-2 教科書を執筆して
- 電子計算機の応用 : 国内の現状と将来
- パネル討論会 : ソフトウェア技術者の養成