Question

从$urandom系统调用返回的随机值独立于线程的执行顺序。例如：

integer x, y, z;

fork
    // 在线程的起始处设置一个种子
    begin process::self.srandom(100); x = $urandom; end

    // 在一个线程执行期间设置一个种子
    begin y = $urandom; process::self.srandom(200); end

    // 从线程RNG中移动2个值
    begin z = $urandom + $urandom; end
join

上面的程序片断演示了几个特性：

• 线程局部性。为x、y和z返回的值独立于线程执行的顺序。这是一个很重要的特性，因为它使得子系统的开发具有独立性、可控性和可预测性。
• 层次化播种。当一个线程被产生的时候，它的随机状态在初始化的时候将来自父线程的下一个随机值作为种子。这三个分叉的线程都从父线程中设置种子。

每一个线程都使用一个唯一的值设置种子，种子主要由它的父线程确定。一个线程执行子树的根确定了它的子线程的随机播种。这就使得整个子树可以被移动，并通过手工为它们的根线程设置种子来保留它们的行为。