分散環境におけるユニフィケーションの実現
スポンサーリンク
概要
- 論文の詳細を見る
ループの防止と終了の保証は分散環境でユニフィケーション処理を実現する際の主要課題である。分散環境では他のプロセッサにあるデータへの参照ポインタを扱うが,このポインタを不用意に未定義変数へバインドするとループが生じてしまう。またループの生成を避けるために外部参照ポインタのバインドを行なわずdereferenceを続けると,ユニフィケーションが永久に終わらない可能性がある。本稿ではループを防ぎ終了を保証する分散ユニフィケーション方式について述べる。この方式はマルチPSI第2版[1]上のKL1処理系に適用する予定である。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
-
近山 隆
(財)新世代コンピュータ技術開発機構第二研究室
-
中島 浩
京都大学工学部
-
六沢 一昭
(財)新世代コンピュータ技術開発機構
-
中島 浩
三菱電機(株)
-
市吉 伸行
(財)新世代コンピュータ技術開発機構
-
市吉 伸行
(株)三菱総合研究所
-
六沢 一昭
沖電気工業(株)
関連論文
- メッセージの追い越しがある分散環境におけるプロセスの実行停止/再開方式
- メッセージの追い越しがある分散環境における低コストな外部参照管理
- 不規則問題に対する並列化コンパイル手法
- 並列化コンパイラTINPARにおけるスカラ変数処理
- 不規則アクセスを伴うループの並列化コンパイル技法 : Inspector/Executorアルゴリズムの高速化
- PIMOSの資源管理方式
- PIMOSの設計方針
- PIMOSの例外処理方式
- 並列推論マシンPIM/iにおけるKL1言語処理系の改良
- 静的解析による並列論理型言語KL1のメッセージ通信最適化
- 並列論理型言語処理系KLICにおける通信の高速化
- 並列論理型言語KL1の最適化手法
- 並列論理型言語KL1の最適化手法
- PIM/mフロントエンド・プロセッサの速度性能評価
- 分散環境における構造体管理
- PSI-IIの性能評価 : If_Then_Else,Neck_Cut
- パーソナル逐次型推論マシンPSIの評価 : 実行速度とハードウェア各部の性能について
- PSIへのコンパイラ向きProlog命令の試験実装と評価
- マルチPSI要素プロセッサPSI-IIのメモリ管理とプロセス管理
- マルチPSI重要素プロセッサPSI-IIの最適化手法
- マルチPSI要素プロセッサPSI-IIのアーキテクチャ
- MRB-GCの評価 : アクティブセル量とヒープ消費
- KLIC分散メモリ処理系におけるメッセージ通信の実現と評価
- KLIC処理系の分散メモリ実装方式
- ポータブルKL1処理系KLICの概要
- A'UM-90のボラタイルオブジェクトの実装方式
- ストリームに基づく並列オブジェクト指向言語A'UM-90 : ストリーム分散実装方式
- PIMOSのトレーサ
- 1.5MLIPS40ビット推論プロセッサ
- 並列論理型言語KL1のクローズインデキシング方式
- KL1抽象命令セットの改良について
- 並列推論マシンPIM : 中期PIMの処理方式について
- スタック領域が不要な深さ優先順コピー型ゴミ集め方式
- KLICの共有メモリ並列実装方式
- KLIC処理系核の評価
- 分散環境におけるデッドロックのWTC方式を用いた検出方式
- PIMOSのセルフ・コンパイラ
- PIMOSの評価
- オブジェクト指向論理型言語Common ESP
- SIMPOSのプログラミング環境 : フォントエディタ
- SIMPOSのプログラミング環境 : 概要
- PIMOS上でのシェルの実現 : 共有資源管理
- PIMOSの階層的資源管理
- 分散環境におけるユニフィケーションの実現
- 超並列プロトタイプ計算機JUMP-1の構想
- 並列論理型言語KL1分散処理系の外部参照管理方式の評価
- マルチPSIにおける並列処理とその評価 - 小粒度高並列オブジェクトモデルに基づくパラダイムについて -
- ブロードキャストとWTC方式を用いた分散プロセス制御方式 (並列処理)
- 並列推論マシンPIM (「第五世代コンピュータ」)
- 並列推論マシンPIM : 中期PIMのハードウェア構成について
- メッセージ交換型並列計算機のための並列化コンパイラTINPAR
- 並列化コンパイラTINPARにおける専用通信ライブラリの実装と性能評価
- メッセージ交換型並列計算機のための並列化コンパイラTINPAR : 最適化手法と性能評価
- メッセージ交換型並列計算機のための並列化コンパイラ
- プログラム並列化におけるデータ分割支援システム
- 特集「並列処理」の編集にあたって (並列処理)
- 視角制限ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機のアーキテクチャ
- ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機アーキテクチャー
- ピクセル並列処理によるボリューム・レンダリング向きの超高速専用計算機アーキテクチャ
- ボリュームレンダリング専用並列計算機ReVolver/C40の試作
- セルフ・クリーンアップ型ライトバック・キャッシュの提案
- ディレクトリ型キャッシュコヒーレンスプロトコルの性能評価
- 細粒度プロセッサ間通信をサポートする高機能キャッシュ・システム
- シミュレーティド・アニーリングによる静的タスク配置へのヒューリスティクスの適用とその評価
- 報告書作成基準支援システムにおける文解析について
- ボリュームレンダリング専用並列計算機ReVolverのアーキテクチャ
- KL1負荷分散ライブラリの試作
- 6. 分散ごみ集め (<特集> ごみ集めの基礎と最近の動向)
- 論理型言語指向の推論マシン 3. 論理型言語の並列処理方式 (「論理型言語指向の推論マシン」)
- 並列論理型言語KL1 (並列知識情報処理--並列と推論)
- 並列単層配線を改良する新しい手法の提案
- 並列自動配線アルゴリズムAmon
- 静的解析による並列論理型言語の実行最適化
- WOOC'89に参加して
- オブジェクト指向言語によるOSの開発例 (オブジェクト指向プログラミング)