XOR process PID into a backend's initial random seed, to ensure that
different backends get a reasonably wide set of initial seeds even if gettimeofday returns tv_usec values with only a few bits of precision. Per recent discussion.
Showing
Please register or sign in to comment