[Ur] multicore compilation

[Adam Chlipala]

Gergely Buday wrote:
> is the Ur/Web compiler capable of using many cores on a processor,
> i.e. in compile time?

Short answer: no.  It's on my to-do list, probably as a research project 
for a student.

> Run-time also would be interesting.
>    

Compiled Ur/Web applications exploit many cores very well, as long as 
the client workload is high enough relative to your core count.  You 
must tell the application how many threads to create, via command-line 
"-t" or other means, and I usually choose a value that is twice the core 
count.