ユニフィケーションによって ワーカ間に渡るループが生じることがある. また外部参照ポインタに対する参照値の読出し処理の過程でもループが作られる. 以下ではそれぞれのループについて生成, 問題点, 解決方法を述べる.
