[Ur] scalable?

[Tom Hutchinson]

I have access to a machine with 8 cores and 32 gigs of ram. If you give me precise instructions, I can run some tests.

On May 21, 2010, at 2:24 PM, Adam Chlipala wrote:

> chu wrote:
>> 
>> What about the scalability and parallelism of Ur/Web? I found nothing about that throughout the FAQ.
>> 
> 
> The simple performance test at the bottom shows approximately optimal throughput improvement going from 1 thread to 2 threads, on a 2-core machine.  I haven't yet gotten my hands on a machine with more cores, so that's the best of this kind of measurement that I have right now.
> 
> In general, I expect Ur/Web performance to beat that of any of the popular competitors.
> 
> If you can go into more detail on exactly what you mean by "scalability," then I may be able to provide more information.
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur