public inbox for [email protected]
help / color / mirror / Atom feedFrom: Tom Lane <[email protected]>
To: Carl Sopchak <[email protected]>
Cc: [email protected]
Subject: Re: What seed does random() use if setseed() is not called first?
Date: Sat, 23 Jul 2022 18:06:01 -0400
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
<[email protected]>
<[email protected]>
Carl Sopchak <[email protected]> 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
view thread (5+ messages) latest in thread
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: [email protected]
Cc: [email protected], [email protected], [email protected]
Subject: Re: What seed does random() use if setseed() is not called first?
In-Reply-To: <[email protected]>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox