Next:
概要
Up:
Inside KLIC Version 1.0
Previous:
trace_after()の処理
並列処理系
概要
両版の違い
ノードの表現
逐次版とのインターフェース
両者の切りわけ
メッセージ通信版
処理系の構成
基本方式
荘園
終了検出
中断検出
外部参照ポインタ
表現形式
ジェネリック・オブジェクトを用いた実現
輸出表
外部参照ポインタの生成
外部参照ポインタの解放
分散ユニフィケーション
外部参照オブジェクトX と具体値 value
ジェネレータ外部参照オブジェクト X と, コンシューマ(群) あるいは中断ゴール (群) がフックした変数 Y
ジェネレータ外部参照オブジェクト 同士 (X, Y)
コンシューマ外部参照オブジェクト(群) がフックしている変数同士
外部参照オブジェクト X と変数 V
具体的な実装
参照値の読出し (dereference)
ループへの対処
ユニフィケーションによるループ
生成
問題点
解決方法
読出し処理によるループ
生成
問題点
解決方法
詳細な実装
分散プロセス立ち上げ方式
メッセージの送信/受信
メッセージの送信
メッセージの受信
分散処理用ジェネリック・オブジェクトの詳細
ジェネレータ外部参照オブジェクトの詳細
コンシューマ外部参照オブジェクトの詳細
リプライ・コンシューマ・オブジェクトの詳細
共有メモリ並列実装
概要
処理系の構成
共有変数オブジェクト
局所領域と共有領域
ゴールの投げだし
共有変数の具体化
共有ヒープへのコピーの遅延
共有ヒープのガーベジコレクション
局所GC
共有ヒープGC
ルートの決定
並列読み出しと書き込み
コンパイル時のオプション
Sekita Daigo
1998-05-18
