[Ur] server side threads?

Adam Chlipala adamc at impredicative.com
Fri Sep 2 07:44:45 EDT 2011


Gergely Buday wrote:
> in the demo, there is threads.ur which contains
>
> [...]
> Is it possible to run threads in the server? How?
>    

There is no support for explicit multi-threading on the server.  
Multiple client requests may be processed simultaneously in different 
threads, and tasks may run simultaneously in different threads as well.



More information about the Ur mailing list