[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle

Makarius makarius at sketis.net
Mon Aug 8 13:46:59 CEST 2016

On 08/08/16 13:13, Manuel Eberl wrote:
> I've heard of negative thermal expansion in some materials, but I don't
> think RAM is subject to it. (scnr)
> In a more serious fashion: I don't see how ambient temperature could
> affect memory usage. I've run into "insufficient memory" and stack
> overflow problems in Isabelle several times lately, usually sporadically
> and irreproducibly.

The point is that a hot CPU runs slower. Memory management in Poly/ML
works on multiple cores, and the runtime behaviour changes the
characteristics of how the heap is cleaned up and resized dynamically.

> Perhaps the times when 32 Bit Isabelle was enough for all applications
> are indeed over.

I don't think that this is the case here.


More information about the isabelle-dev mailing list