non-deterministic behavior

[shnarazk]

一度Splrはdeterministicになったのだが、いつの間にかそうでなくなっている。
最近HashMap/HashSetをよく使っているのでそのせいかと思ったらそうではなかった。特にbiclauseの伝搬が問題だと思っていたのだが、とっくの昔に手を打ってあった。
実は非決定性の源はgarbge collector。なぜかsweepする順番で（どうも）eliminatorの挙動が変わるらしい。
いくら比較検討をしてもsweep orderがcdbの内容を変えることはないはずなのだが。
どうなっているんだ。

[shnarazk]

#245 にてnon-deterministic behavior のデバッグをしていてわかった。
それをもたらしているのはeliminatorではない。
ええええ。
全然わからん。

[shnarazk]

もしかしてreduceが何らかの順序依存性を有しているのか？
clause.iter()している関数がculprit な可能性は確かにありそうだ。

[shnarazk]

確かに！確かに！ 節数打ち切りの前後が同じ評価値を持っていたらそこで生き残れるかどうかが節idに依存してしまうな。

[shnarazk]

ダメだった。小さな問題だと解決したので一因ではあるはずなのだが、これだけではT56は決定的にはならなかった。