Re: Bug: random() can return 1.0

From: Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us>
To: andrew(at)supernews(dot)com
Cc: pgsql-hackers(at)postgresql(dot)org
Subject: Re: Bug: random() can return 1.0
Date: 2006-01-19 22:49:35
Message-ID: 200601192249.k0JMnZr10157@candle.pha.pa.us
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers pgsql-patches

Andrew - Supernews wrote:
> src/backend/utils/adt/float.c:
>
> /*
> * drandom - returns a random number
> */
> Datum
> drandom(PG_FUNCTION_ARGS)
> {
> float8 result;
>
> /* result 0.0-1.0 */
> result = ((double) random()) / ((double) MAX_RANDOM_VALUE);
>
> PG_RETURN_FLOAT8(result);
> }
>
> Whoever wrote this obviously did intend it to return values in [0.0,1.0]
> but this makes it totally useless for generating uniform random ranges
> in the usual way, since random() * N will return N with probability 2^-31.
> The documentation is sufficiently imprecise about this to cause confusion
> (seen in questions asked on the IRC channel), and the problem can't be
> worked around at the application level without knowing the value of
> MAX_RANDOM_VALUE in order to correct the range to [0.0,1.0).

Because random returns a double, I think it is very possible that we
could return 1 due to rounding, and I see no way to avoid that. I think
re-running random if it returns 1 is likely to return even less random
values.

--
Bruce Momjian | http://candle.pha.pa.us
pgman(at)candle(dot)pha(dot)pa(dot)us | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Jeremy Drake 2006-01-19 22:50:39 Re: No heap lookups on index
Previous Message Thomas Hallgren 2006-01-19 22:47:40 PostgreSQL and shared memory.

Browse pgsql-patches by date

  From Date Subject
Next Message Bruce Momjian 2006-01-19 23:10:17 Re: [PATCHES] Example for UPDATE FROM with correllation
Previous Message Andrew - Supernews 2006-01-19 22:40:41 Bug: random() can return 1.0