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

[Makarius]

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.


 	Makarius

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