[Ur] scalable?

[Adam Chlipala]

Tom Hutchinson wrote:
> 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.
>    

Thanks, that would be interesting.  The "benchmarks" on the FAQ right 
now are so undermotivated that precision here probably wouldn't be that 
useful. :)

It should be possible to run interesting tests on any compiled Ur/Web 
application.  If you build a standalone Web server (which is the 
default, without further flags), then just start the program with 
command-line argument "-t <N>", to start N worker threads.  Then you can 
hit the server with whatever stress tester you like.  By increasing N, 
you can measure how well the underlying work parallelizes.