resume_goals()の詳細

 

resule_goals()の仕様は以下のようになっている。

Inline q *resume_goals(allocp, x, y)
     q * allocp;
     q x;
     q y;

x は中断レコード、または、generator用の構造(struct generator_susp) を直接差すポインタであり、y は具体化対象となる項である。 allocpはヒープ割付点のアドレスであり、戻り値として、 更新されたヒープ割付点アドレスが返される。

• まず、x が generatorかどうか検査する(is_generator_susp)。 Generatorであれば、generatorのactive_unifyを呼ぶ。その結果が成功すれば、 終了、成功しなければ、generate methodを呼ぶ。
  • makeref(0)が返れば、メモリ不足であるので、x とy とを単一化する ゴールをエンキューしひとまず終了。

  • makecons(0)が返ると内部エラーである。

  • それ以外のものであれば、generatorにより生成された具体値なので、 それをy と単一化する。このとき、x がぶらさがっていた変数のエントリも 具体化する必要がある。

• x がgoal/consumerであることがわかれば、

  1.

  まず、エントリの変数をyで具体化しておく(共有ヒープ並列化の対応)

  2.

  チェーンを1つづつたどっていく。

  • Consumerであることがわかれば(is_consumer_hook())、 active_unify methodを発行し、失敗すればそこで異常終了、 成功すれば、大域変数rest_of_streamを参照し、非ゼロであれば 中断構造鎖の構造を保存し、rest_of_streamにフックする。 ゼロならば、鎖の構造を保存しない。

    メモリ不足のためにconsumerが失敗することがあるが、この場合には、 「現在行おうとしている単一化の処理はキャンセル」する。 つまり、フック構造は残しておき、再度当該具体値(y)と単一化を行うような ゴールをエンキューして終了。

    それ以外の結果であれば、method_result に返された値を 新しい値とし、再度objectを含めた鎖構造を再構成し、単一化を 行う(enqueue_unify_goal())。

  • Consumerではない、ゴールである場合には、 ゴールレコードのnext fieldのタグを検査する。 
    • NextのタグがINTであれば、このゴールはまだ起動されていないことを 意味する。この場合Next 部には優先度がタグ付きで記述されているので、 その優先度を現在の優先度とチェックして、 一般的なエンキュー(enqueue_goal())、または、現在実行中のqueueにenqueueする (resume_same_prio())を行い、終了(ここで、現在の優先度より高い ゴールをエンキューしたならば、enqueue_goal()中で、heaplimitが0になり、 次のリダクションとの間でチェックを行い、切り替わる。 現在の優先度のqueueに接続する場合も「再開ゴールスタック」に接続されるため、 heaplimitは0となり、次のリダクションとの間で、実際のゴールスタックに エンキューされる。

      どちらにしても、エンキューを行った結果、next fieldは他のゴールへの ポインタが記録され、下位2bitは00、つまり、タグ部はREFになる。

    • NextのタグがREFの場合には、すでに前述の再開処理が 行われたゴールであるので、なにもしない。

    このように、1つのゴールに対して重複して再開処理が行われるのは、 multiple wait, いわゆる``OR待ち''(図5.3参照)があるためである。

    
    

      

    Figure 5.3: Multiple waitを起すコードの例

    
    

    mwait(A, _) :- wait(A) | ... % (1)
    mwait(_, B) :- wait(B) | ... % (2)
    

    
    
    

    
    

    つまり、goal recordはその 中断原因となった変数にフックするが、複数の中断原因がある場合にはその すべてにフックするが、再開は1度しか行ってはならない。 例えば、図5.3で、変数A,B 共に未定義であると、これは multiple waitになる。その後、Aが先に具体化されたならば、(1)の節が選択され、 (2)の節の実行は廃棄され、後にBが具体化されたとして実行されてはならない。 この言語仕様を満足させるために、 これまで説明したような実装となっている。