blob: 46d28baa2e62bdc96a280e5016e8dcff10caebc7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
/*------------------------------------------------------------------------
*
* geqo_random.c
* random number generator
*
* Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
* Portions Copyright (c) 1994, Regents of the University of California
*
* src/backend/optimizer/geqo/geqo_random.c
*
*-------------------------------------------------------------------------
*/
#include "postgres.h"
#include "optimizer/geqo_random.h"
void
geqo_set_seed(PlannerInfo *root, double seed)
{
GeqoPrivateData *private = GetGeqoPrivateData(root);
pg_prng_fseed(&private->random_state, seed);
}
double
geqo_rand(PlannerInfo *root)
{
GeqoPrivateData *private = GetGeqoPrivateData(root);
return pg_prng_double(&private->random_state);
}
int
geqo_randint(PlannerInfo *root, int upper, int lower)
{
GeqoPrivateData *private = GetGeqoPrivateData(root);
/*
* In current usage, "lower" is never negative so we can just use
* pg_prng_uint64_range directly.
*/
return (int) pg_prng_uint64_range(&private->random_state, lower, upper);
}
|