[isabelle-dev] Isabelle build timing on high-end hardware
makarius at sketis.net
Mon Jul 2 15:57:50 CEST 2018
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: this is the best I have
recently seen, but cores alone don't crunch it.
Performance is ultimately a combination of many things: many cores, few
NUMA nodes, fast SSD, fast memory. (That hardware has 4x 16 2Rx8
It also needs better scheduling on the Isabelle side: for this it always
helps if people buy test hardware and grant access to me :-)
More information about the isabelle-dev