[isabelle-dev] NEWS: Poly/ML heaps follow hierarchy of sessions

Makarius makarius at sketis.net
Thu Mar 17 11:05:27 CET 2016

On Wed, 16 Mar 2016, Makarius wrote:

> *** System ***
> * Poly/ML heaps now follow the hierarchy of sessions, and thus require
> much less disk space.

> x86-linux
> build -a -b -d '$AFP': 96GB ~> 8.3GB  (without JinjaThreads)

Here are some more numbers, using Isabelle/a2351f82bc48 and 
AFP/8d7e3304ddfc on x86_64-darwin:

build -a -b -d '$AFP': heaps 18G

Top 10 heaps:

1.3G   JinjaThreads
539M   HOL-Datatype_Examples
443M   HOL-Proofs
432M   Collections
392M   Containers-Benchmarks
390M   HOL
353M   HOL-Nominal-Examples
352M   ConcurrentGC
305M   Isabelle_Meta_Model
283M   HOL-ex


More information about the isabelle-dev mailing list