[isabelle-dev] profiling

[Andreas Schropp]

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.