[isabelle-dev] Isabelle/ML/Scala parallel computation and PIDE execution

Makarius makarius at sketis.net
Tue Dec 30 16:11:49 CET 2014

On Tue, 30 Dec 2014, Makarius wrote:

> So far this is just an intermediate outline of some reforms that came 
> about spontaneously.  We are right in the middle between two releases, 
> so more is likely to happen.

Another reason why more parallelism is likely to happen is my new (very 
modest) workstation with 12 cores / 24 hardware threads.  That is actually 
just the low-end: the current high-end in the workstation market is at
36 cores / 72 hardware threads -- double that for high-end servers.


                   http://stop-ttip.org  1,235,950 Participants

More information about the isabelle-dev mailing list