Re: What seed does random() use if setseed() is not called first?
Tom Lane <tgl@sss.pgh.pa.us>
From: Tom Lane <tgl@sss.pgh.pa.us>
To: Carl Sopchak <carl@sopchak.me>
Cc: pgsql-sql@lists.postgresql.org
Date: 2022-07-23T22:06:01Z
Lists: pgsql-sql
Carl Sopchak <carl@sopchak.me> writes: > <p>Thank you for the quick reply! But I wouldn't have bothered you > if the documentation stated something to the effect of "While it's > platform-dependent, if setseed() is not called, the random number > generator is generally seeded by whatever method the operating > system provides as a source of randomness, such as /dev/urandom on > Linux/Unix, or <???> on Windows."</p> Hmm, I thought this already was documented, but it looks like not. I'll see what I can do. regards, tom lane
Commits
-
Doc: improve documentation about random().
- 6955bba0ede4 16.0 landed
- bd6cfbf338e5 15.0 landed
- 4c9e5162f56d 13.8 landed
- 31d5354cb148 14.5 landed
- 042554d55d85 12.12 landed