From: <ts...@cs...> - 2001-06-22 17:29:50
|
As seen below, the "flora" bug arises only for batched evaluation, and has nothing to do with profiling or the memory management. opt/slg/local correct dbg/slg/local correct prof/slg/local correct opt/slg/batched incorrect dbg/slg/batched incorrect prof/slg/batched incorrect opt/chat/local correct opt/chat/batched incorrect My guess is that this probem does not have to do with the implementation of the scheduling strategies per se, but in the interaction of the scheduling strategies with delay and simplification. I believe that for this problem, batched is delaying more than local, and somehow this extra delay exhibits a problem. This also points out an avenue to finding the bug -- profile the delay and simplification for local and batched and then compare. I'll start doing this, but it may take a few days and wont necessarily lead to finding the bug. I dont recommend holding the new version until I find the bug, but I do think its time to bite the bullet and make local scheduling the default, as we will be doing that when we move to Sintese. Any thoughts on this? Terry |