外部参照ポインタ

この章では、まず, ジェネリック・オブジェクトを用いた外部参照ポインタの実現方法を述べる. 次に, 外部参照ポインタに係わる二つの処理, 分散ユニフィケーションと参照値の読み出し (dereference) を述べる. これらの処理における具体的な操作は, オブジェクトのメソッドとして定義され, 処理系核によって呼び出される. KLIC 分散メモリ処理系ではワーカ間に渡るループの生成を避けることはできない. 最後に, このループに対処する方式を述べる.

**Figure 10.5:** 外部参照ポインタの生成.
$\begin{picture}(65,22)(0,0) \put(0,0){ \put( 0, 0){ \put( 0, 0){ \put(0,19){\... ...0){10}} \put(34, 9){\makebox(0,0)[tr]{\footnotesize\tt <j,id>}} } \end{picture}$ (1) 変数への参照を輸出表に登録して送出する. $\begin{picture}(78,22)(0,0) \put(0,0){ \put( 0, 0){ \put( 0, 0){ \put(0,19){\... ...} \put(13,10){\vector(1,0){6}} } \put(25,10){\vector(1,0){28}} } \end{picture}$ (2) ジェネレータ外部参照オブジェクトの生成.