Re: [isabelle-dev] Isabelle build timing on high-end hardware

2018-07-28 Thread Makarius
On 02/07/18 15:21, Makarius wrote: > > 2 * Intel(R) Xeon(R) Gold 6148 CPU @ 2.40GHz; > 2 NUMA nodes: distance factor 2.1 for memory access; > each CPU with 20 cores and hyper-threading: total of 80 hardware threads > > 256 GB SSD > > Ubuntu Linux 16.04 Here are more timing results on that

Re: [isabelle-dev] Isabelle build timing on high-end hardware

2018-07-02 Thread Makarius
On 02/07/18 15:53, Lawrence Paulson wrote: > These speedups are certainly very impressive! I have wondered what sort of > factor could be achieved with enough cores, but was never persistent enough > in trying to borrow hardware from people who had it. I was myself wondering about more cores:

Re: [isabelle-dev] Isabelle build timing on high-end hardware

2018-07-02 Thread Lawrence Paulson
These speedups are certainly very impressive! I have wondered what sort of factor could be achieved with enough cores, but was never persistent enough in trying to borrow hardware from people who had it. Larry > On 2 Jul 2018, at 14:21, Makarius wrote: > > Just for the fun of it, here are

[isabelle-dev] Isabelle build timing on high-end hardware

2018-07-02 Thread Makarius
Just for the fun of it, here are some timings on truly high-end hardware: some colleagues have upgraded recently and granted me access to make some tests. The results may help others in their hardware decisions. Here is an Executive Summary: * Intel Xeon performs better than AMD * fewer