MLton.Random.seed

Stephen Weeks MLton@sourcelight.com
Tue, 26 Jun 2001 09:02:40 -0700


> Ah  yes, /dev/random will give short reads if the entropy pool is low.  I.e.,
> it will give you a short read if it can do that  rather  than  hang.   Again,
> /dev/random is really only justified if you need cryptographic security.

I have observed it giving short reads even when there is stuff available in the
entropy pool (I believe).  It does hang once it exhausts the pool.