On 03/01/2010 10:04 PM, Alexander Krauss wrote: > Also, make sure that you turn off multithreading, otherwise you might > get spurious data from other threads (though I'm not sure about that. > @Andy: Did we actually observe this last summer, or was it just a > guess?). >
Well it is a guess that explains the behaviour and polyml profiling seems to know nothing about multithreading, cf polyml mailing list some months ago: if profiling (with whatever option) is switched on, it's globally on, ie not thread local.
