blob: 3589173edcb62017e52ff20989502d4a0760d263 [file] [log] [blame]
Raymond Hettinger40f62172002-12-29 23:03:38 +00001/* Random objects */
2
3/* ------------------------------------------------------------------
4 The code in this module was based on a download from:
Hiroki Nodaf15fa872017-02-15 18:04:43 +09005 http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/MT2002/emt19937ar.html
Raymond Hettinger40f62172002-12-29 23:03:38 +00006
7 It was modified in 2002 by Raymond Hettinger as follows:
8
Benjamin Petersond8e5f2d2010-08-24 18:08:22 +00009 * the principal computational lines untouched.
Raymond Hettinger40f62172002-12-29 23:03:38 +000010
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000011 * renamed genrand_res53() to random_random() and wrapped
12 in python calling/return code.
Raymond Hettinger40f62172002-12-29 23:03:38 +000013
Victor Stinner9f5fe792020-04-17 19:05:35 +020014 * genrand_uint32() and the helper functions, init_genrand()
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000015 and init_by_array(), were declared static, wrapped in
16 Python calling/return code. also, their global data
17 references were replaced with structure references.
Raymond Hettinger40f62172002-12-29 23:03:38 +000018
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000019 * unused functions from the original were deleted.
20 new, original C python code was added to implement the
21 Random() interface.
Raymond Hettinger40f62172002-12-29 23:03:38 +000022
23 The following are the verbatim comments from the original code:
24
25 A C-program for MT19937, with initialization improved 2002/1/26.
26 Coded by Takuji Nishimura and Makoto Matsumoto.
27
28 Before using, initialize the state by using init_genrand(seed)
29 or init_by_array(init_key, key_length).
30
31 Copyright (C) 1997 - 2002, Makoto Matsumoto and Takuji Nishimura,
32 All rights reserved.
33
34 Redistribution and use in source and binary forms, with or without
35 modification, are permitted provided that the following conditions
36 are met:
37
38 1. Redistributions of source code must retain the above copyright
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000039 notice, this list of conditions and the following disclaimer.
Raymond Hettinger40f62172002-12-29 23:03:38 +000040
41 2. Redistributions in binary form must reproduce the above copyright
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000042 notice, this list of conditions and the following disclaimer in the
43 documentation and/or other materials provided with the distribution.
Raymond Hettinger40f62172002-12-29 23:03:38 +000044
45 3. The names of its contributors may not be used to endorse or promote
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000046 products derived from this software without specific prior written
47 permission.
Raymond Hettinger40f62172002-12-29 23:03:38 +000048
49 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
50 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
51 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
52 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
53 CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
54 EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
55 PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
56 PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
57 LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
58 NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
59 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
60
61
62 Any feedback is very welcome.
Hiroki Nodaf15fa872017-02-15 18:04:43 +090063 http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html
64 email: m-mat @ math.sci.hiroshima-u.ac.jp (remove space)
Raymond Hettinger40f62172002-12-29 23:03:38 +000065*/
66
67/* ---------------------------------------------------------------*/
68
69#include "Python.h"
Victor Stinner9f5fe792020-04-17 19:05:35 +020070#include "pycore_byteswap.h" // _Py_bswap32()
Victor Stinner9f2a9202016-09-06 17:03:03 -070071#ifdef HAVE_PROCESS_H
Victor Stinner9f5fe792020-04-17 19:05:35 +020072# include <process.h> // getpid()
Victor Stinner9f2a9202016-09-06 17:03:03 -070073#endif
Raymond Hettinger40f62172002-12-29 23:03:38 +000074
75/* Period parameters -- These are all magic. Don't change. */
76#define N 624
77#define M 397
Serhiy Storchakadce04052015-05-13 15:02:12 +030078#define MATRIX_A 0x9908b0dfU /* constant vector a */
79#define UPPER_MASK 0x80000000U /* most significant w-r bits */
80#define LOWER_MASK 0x7fffffffU /* least significant r bits */
Raymond Hettinger40f62172002-12-29 23:03:38 +000081
82typedef struct {
Dino Viehland04f0bbf2019-09-13 11:12:27 +010083 PyObject *Random_Type;
84 PyObject *Long___abs__;
85} _randomstate;
86
Hai Shif707d942020-03-16 21:15:01 +080087static inline _randomstate*
88get_random_state(PyObject *module)
89{
90 void *state = PyModule_GetState(module);
91 assert(state != NULL);
92 return (_randomstate *)state;
93}
Dino Viehland04f0bbf2019-09-13 11:12:27 +010094
95static struct PyModuleDef _randommodule;
96
Hai Shif707d942020-03-16 21:15:01 +080097#define _randomstate_global get_random_state(PyState_FindModule(&_randommodule))
Dino Viehland04f0bbf2019-09-13 11:12:27 +010098
99typedef struct {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000100 PyObject_HEAD
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000101 int index;
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700102 uint32_t state[N];
Raymond Hettinger40f62172002-12-29 23:03:38 +0000103} RandomObject;
104
Raymond Hettinger40f62172002-12-29 23:03:38 +0000105
Pablo Galindo561612d2019-05-24 22:09:23 +0100106#include "clinic/_randommodule.c.h"
107
108/*[clinic input]
109module _random
110class _random.Random "RandomObject *" "&Random_Type"
111[clinic start generated code]*/
112/*[clinic end generated code: output=da39a3ee5e6b4b0d input=f79898ae7847c321]*/
Raymond Hettinger40f62172002-12-29 23:03:38 +0000113
114/* Random methods */
115
116
117/* generates a random number on [0,0xffffffff]-interval */
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700118static uint32_t
Victor Stinner9f5fe792020-04-17 19:05:35 +0200119genrand_uint32(RandomObject *self)
Raymond Hettinger40f62172002-12-29 23:03:38 +0000120{
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700121 uint32_t y;
122 static const uint32_t mag01[2] = {0x0U, MATRIX_A};
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000123 /* mag01[x] = x * MATRIX_A for x=0,1 */
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700124 uint32_t *mt;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000125
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000126 mt = self->state;
127 if (self->index >= N) { /* generate N words at one time */
128 int kk;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000129
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000130 for (kk=0;kk<N-M;kk++) {
131 y = (mt[kk]&UPPER_MASK)|(mt[kk+1]&LOWER_MASK);
Serhiy Storchakadce04052015-05-13 15:02:12 +0300132 mt[kk] = mt[kk+M] ^ (y >> 1) ^ mag01[y & 0x1U];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000133 }
134 for (;kk<N-1;kk++) {
135 y = (mt[kk]&UPPER_MASK)|(mt[kk+1]&LOWER_MASK);
Serhiy Storchakadce04052015-05-13 15:02:12 +0300136 mt[kk] = mt[kk+(M-N)] ^ (y >> 1) ^ mag01[y & 0x1U];
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000137 }
138 y = (mt[N-1]&UPPER_MASK)|(mt[0]&LOWER_MASK);
Serhiy Storchakadce04052015-05-13 15:02:12 +0300139 mt[N-1] = mt[M-1] ^ (y >> 1) ^ mag01[y & 0x1U];
Raymond Hettinger40f62172002-12-29 23:03:38 +0000140
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000141 self->index = 0;
142 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000143
144 y = mt[self->index++];
145 y ^= (y >> 11);
Serhiy Storchakadce04052015-05-13 15:02:12 +0300146 y ^= (y << 7) & 0x9d2c5680U;
147 y ^= (y << 15) & 0xefc60000U;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000148 y ^= (y >> 18);
149 return y;
150}
151
152/* random_random is the function named genrand_res53 in the original code;
153 * generates a random number on [0,1) with 53-bit resolution; note that
154 * 9007199254740992 == 2**53; I assume they're spelling "/2**53" as
155 * multiply-by-reciprocal in the (likely vain) hope that the compiler will
156 * optimize the division away at compile-time. 67108864 is 2**26. In
157 * effect, a contains 27 random bits shifted left 26, and b fills in the
158 * lower 26 bits of the 53-bit numerator.
Berker Peksag0ac70c02016-04-29 16:54:10 +0300159 * The original code credited Isaku Wada for this algorithm, 2002/01/09.
Raymond Hettinger40f62172002-12-29 23:03:38 +0000160 */
Pablo Galindo561612d2019-05-24 22:09:23 +0100161
162/*[clinic input]
163_random.Random.random
164
165 self: self(type="RandomObject *")
166
167random() -> x in the interval [0, 1).
168[clinic start generated code]*/
169
Raymond Hettinger40f62172002-12-29 23:03:38 +0000170static PyObject *
Pablo Galindo561612d2019-05-24 22:09:23 +0100171_random_Random_random_impl(RandomObject *self)
172/*[clinic end generated code: output=117ff99ee53d755c input=afb2a59cbbb00349]*/
Raymond Hettinger40f62172002-12-29 23:03:38 +0000173{
Victor Stinner9f5fe792020-04-17 19:05:35 +0200174 uint32_t a=genrand_uint32(self)>>5, b=genrand_uint32(self)>>6;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000175 return PyFloat_FromDouble((a*67108864.0+b)*(1.0/9007199254740992.0));
Raymond Hettinger40f62172002-12-29 23:03:38 +0000176}
177
178/* initializes mt[N] with a seed */
179static void
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700180init_genrand(RandomObject *self, uint32_t s)
Raymond Hettinger40f62172002-12-29 23:03:38 +0000181{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000182 int mti;
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700183 uint32_t *mt;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000184
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000185 mt = self->state;
Serhiy Storchakadce04052015-05-13 15:02:12 +0300186 mt[0]= s;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000187 for (mti=1; mti<N; mti++) {
188 mt[mti] =
Serhiy Storchakadce04052015-05-13 15:02:12 +0300189 (1812433253U * (mt[mti-1] ^ (mt[mti-1] >> 30)) + mti);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000190 /* See Knuth TAOCP Vol2. 3rd Ed. P.106 for multiplier. */
191 /* In the previous versions, MSBs of the seed affect */
192 /* only MSBs of the array mt[]. */
193 /* 2002/01/09 modified by Makoto Matsumoto */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000194 }
195 self->index = mti;
196 return;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000197}
198
199/* initialize by an array with array-length */
200/* init_key is the array for initializing keys */
201/* key_length is its length */
Victor Stinnere66987e2016-09-06 16:33:52 -0700202static void
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700203init_by_array(RandomObject *self, uint32_t init_key[], size_t key_length)
Raymond Hettinger40f62172002-12-29 23:03:38 +0000204{
Mark Dickinson4cd60172012-12-21 21:52:49 +0000205 size_t i, j, k; /* was signed in the original code. RDH 12/16/2002 */
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700206 uint32_t *mt;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000207
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000208 mt = self->state;
Serhiy Storchakadce04052015-05-13 15:02:12 +0300209 init_genrand(self, 19650218U);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000210 i=1; j=0;
211 k = (N>key_length ? N : key_length);
212 for (; k; k--) {
Serhiy Storchakadce04052015-05-13 15:02:12 +0300213 mt[i] = (mt[i] ^ ((mt[i-1] ^ (mt[i-1] >> 30)) * 1664525U))
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700214 + init_key[j] + (uint32_t)j; /* non linear */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000215 i++; j++;
216 if (i>=N) { mt[0] = mt[N-1]; i=1; }
217 if (j>=key_length) j=0;
218 }
219 for (k=N-1; k; k--) {
Serhiy Storchakadce04052015-05-13 15:02:12 +0300220 mt[i] = (mt[i] ^ ((mt[i-1] ^ (mt[i-1] >> 30)) * 1566083941U))
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700221 - (uint32_t)i; /* non linear */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000222 i++;
223 if (i>=N) { mt[0] = mt[N-1]; i=1; }
224 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000225
Serhiy Storchakadce04052015-05-13 15:02:12 +0300226 mt[0] = 0x80000000U; /* MSB is 1; assuring non-zero initial array */
Raymond Hettinger40f62172002-12-29 23:03:38 +0000227}
228
229/*
230 * The rest is Python-specific code, neither part of, nor derived from, the
231 * Twister download.
232 */
233
Victor Stinnere66987e2016-09-06 16:33:52 -0700234static int
235random_seed_urandom(RandomObject *self)
236{
Victor Stinner1a1bd2e2020-04-17 19:13:06 +0200237 uint32_t key[N];
Victor Stinnere66987e2016-09-06 16:33:52 -0700238
239 if (_PyOS_URandomNonblock(key, sizeof(key)) < 0) {
240 return -1;
241 }
242 init_by_array(self, key, Py_ARRAY_LENGTH(key));
243 return 0;
244}
245
246static void
247random_seed_time_pid(RandomObject *self)
248{
249 _PyTime_t now;
250 uint32_t key[5];
251
252 now = _PyTime_GetSystemClock();
Victor Stinner1a1bd2e2020-04-17 19:13:06 +0200253 key[0] = (uint32_t)(now & 0xffffffffU);
254 key[1] = (uint32_t)(now >> 32);
Victor Stinnere66987e2016-09-06 16:33:52 -0700255
Victor Stinner1a1bd2e2020-04-17 19:13:06 +0200256 key[2] = (uint32_t)getpid();
Victor Stinnere66987e2016-09-06 16:33:52 -0700257
258 now = _PyTime_GetMonotonicClock();
Victor Stinner1a1bd2e2020-04-17 19:13:06 +0200259 key[3] = (uint32_t)(now & 0xffffffffU);
260 key[4] = (uint32_t)(now >> 32);
Victor Stinnere66987e2016-09-06 16:33:52 -0700261
262 init_by_array(self, key, Py_ARRAY_LENGTH(key));
263}
264
Raymond Hettinger40f62172002-12-29 23:03:38 +0000265static PyObject *
Pablo Galindo561612d2019-05-24 22:09:23 +0100266random_seed(RandomObject *self, PyObject *arg)
Raymond Hettinger40f62172002-12-29 23:03:38 +0000267{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000268 PyObject *result = NULL; /* guilty until proved innocent */
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000269 PyObject *n = NULL;
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700270 uint32_t *key = NULL;
Serhiy Storchakadce04052015-05-13 15:02:12 +0300271 size_t bits, keyused;
Mark Dickinson4cd60172012-12-21 21:52:49 +0000272 int res;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000273
Pablo Galindo561612d2019-05-24 22:09:23 +0100274 if (arg == NULL || arg == Py_None) {
275 if (random_seed_urandom(self) < 0) {
Victor Stinnere66987e2016-09-06 16:33:52 -0700276 PyErr_Clear();
Raymond Hettinger40f62172002-12-29 23:03:38 +0000277
Victor Stinnere66987e2016-09-06 16:33:52 -0700278 /* Reading system entropy failed, fall back on the worst entropy:
279 use the current time and process identifier. */
280 random_seed_time_pid(self);
281 }
282 Py_RETURN_NONE;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000283 }
Victor Stinnere66987e2016-09-06 16:33:52 -0700284
Larry Hastingsd60cd422012-06-24 02:52:21 -0700285 /* This algorithm relies on the number being unsigned.
286 * So: if the arg is a PyLong, use its absolute value.
287 * Otherwise use its hash value, cast to unsigned.
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000288 */
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100289 if (PyLong_CheckExact(arg)) {
290 n = PyNumber_Absolute(arg);
291 } else if (PyLong_Check(arg)) {
Oren Milmand780b2d2017-09-28 10:50:01 +0300292 /* Calling int.__abs__() prevents calling arg.__abs__(), which might
293 return an invalid value. See issue #31478. */
Victor Stinner00d7cd82020-03-10 15:15:14 +0100294 n = PyObject_CallOneArg(_randomstate_global->Long___abs__, arg);
Oren Milmand780b2d2017-09-28 10:50:01 +0300295 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000296 else {
Larry Hastingsd60cd422012-06-24 02:52:21 -0700297 Py_hash_t hash = PyObject_Hash(arg);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000298 if (hash == -1)
299 goto Done;
Larry Hastingsd60cd422012-06-24 02:52:21 -0700300 n = PyLong_FromSize_t((size_t)hash);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000301 }
302 if (n == NULL)
303 goto Done;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000304
Mark Dickinson4cd60172012-12-21 21:52:49 +0000305 /* Now split n into 32-bit chunks, from the right. */
306 bits = _PyLong_NumBits(n);
307 if (bits == (size_t)-1 && PyErr_Occurred())
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000308 goto Done;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000309
Mark Dickinson4cd60172012-12-21 21:52:49 +0000310 /* Figure out how many 32-bit chunks this gives us. */
311 keyused = bits == 0 ? 1 : (bits - 1) / 32 + 1;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000312
Mark Dickinson4cd60172012-12-21 21:52:49 +0000313 /* Convert seed to byte sequence. */
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700314 key = (uint32_t *)PyMem_Malloc((size_t)4 * keyused);
Serhiy Storchakadce04052015-05-13 15:02:12 +0300315 if (key == NULL) {
Victor Stinnera4ced862013-07-15 20:00:36 +0200316 PyErr_NoMemory();
Mark Dickinson4cd60172012-12-21 21:52:49 +0000317 goto Done;
Victor Stinnera4ced862013-07-15 20:00:36 +0200318 }
Mark Dickinson4cd60172012-12-21 21:52:49 +0000319 res = _PyLong_AsByteArray((PyLongObject *)n,
Serhiy Storchakadce04052015-05-13 15:02:12 +0300320 (unsigned char *)key, keyused * 4,
321 PY_LITTLE_ENDIAN,
Mark Dickinson4cd60172012-12-21 21:52:49 +0000322 0); /* unsigned */
323 if (res == -1) {
Mark Dickinson4cd60172012-12-21 21:52:49 +0000324 goto Done;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000325 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000326
Serhiy Storchakadce04052015-05-13 15:02:12 +0300327#if PY_BIG_ENDIAN
328 {
329 size_t i, j;
330 /* Reverse an array. */
Zachary Warec15ea4c2015-05-17 23:46:22 -0500331 for (i = 0, j = keyused - 1; i < j; i++, j--) {
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700332 uint32_t tmp = key[i];
Serhiy Storchakadce04052015-05-13 15:02:12 +0300333 key[i] = key[j];
334 key[j] = tmp;
335 }
Mark Dickinson4cd60172012-12-21 21:52:49 +0000336 }
Serhiy Storchakadce04052015-05-13 15:02:12 +0300337#endif
Victor Stinnere66987e2016-09-06 16:33:52 -0700338 init_by_array(self, key, keyused);
339
340 Py_INCREF(Py_None);
341 result = Py_None;
342
Raymond Hettinger40f62172002-12-29 23:03:38 +0000343Done:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000344 Py_XDECREF(n);
345 PyMem_Free(key);
346 return result;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000347}
348
Pablo Galindo561612d2019-05-24 22:09:23 +0100349/*[clinic input]
350_random.Random.seed
351
352 self: self(type="RandomObject *")
353 n: object = None
354 /
355
356seed([n]) -> None.
357
358Defaults to use urandom and falls back to a combination
359of the current time and the process identifier.
360[clinic start generated code]*/
361
Raymond Hettinger40f62172002-12-29 23:03:38 +0000362static PyObject *
Pablo Galindo561612d2019-05-24 22:09:23 +0100363_random_Random_seed_impl(RandomObject *self, PyObject *n)
364/*[clinic end generated code: output=0fad1e16ba883681 input=78d6ef0d52532a54]*/
365{
366 return random_seed(self, n);
367}
368
369/*[clinic input]
370_random.Random.getstate
371
372 self: self(type="RandomObject *")
373
374getstate() -> tuple containing the current state.
375[clinic start generated code]*/
376
377static PyObject *
378_random_Random_getstate_impl(RandomObject *self)
379/*[clinic end generated code: output=bf6cef0c092c7180 input=b937a487928c0e89]*/
Raymond Hettinger40f62172002-12-29 23:03:38 +0000380{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000381 PyObject *state;
382 PyObject *element;
383 int i;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000384
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000385 state = PyTuple_New(N+1);
386 if (state == NULL)
387 return NULL;
388 for (i=0; i<N ; i++) {
389 element = PyLong_FromUnsignedLong(self->state[i]);
390 if (element == NULL)
391 goto Fail;
392 PyTuple_SET_ITEM(state, i, element);
393 }
394 element = PyLong_FromLong((long)(self->index));
395 if (element == NULL)
396 goto Fail;
397 PyTuple_SET_ITEM(state, i, element);
398 return state;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000399
400Fail:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000401 Py_DECREF(state);
402 return NULL;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000403}
404
Pablo Galindo561612d2019-05-24 22:09:23 +0100405
406/*[clinic input]
407_random.Random.setstate
408
409 self: self(type="RandomObject *")
410 state: object
411 /
412
413setstate(state) -> None. Restores generator state.
414[clinic start generated code]*/
415
Raymond Hettinger40f62172002-12-29 23:03:38 +0000416static PyObject *
Pablo Galindo561612d2019-05-24 22:09:23 +0100417_random_Random_setstate(RandomObject *self, PyObject *state)
418/*[clinic end generated code: output=fd1c3cd0037b6681 input=b3b4efbb1bc66af8]*/
Raymond Hettinger40f62172002-12-29 23:03:38 +0000419{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000420 int i;
421 unsigned long element;
422 long index;
bladebryan9616a822017-04-21 23:10:46 -0700423 uint32_t new_state[N];
Raymond Hettinger40f62172002-12-29 23:03:38 +0000424
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000425 if (!PyTuple_Check(state)) {
426 PyErr_SetString(PyExc_TypeError,
427 "state vector must be a tuple");
428 return NULL;
429 }
430 if (PyTuple_Size(state) != N+1) {
431 PyErr_SetString(PyExc_ValueError,
432 "state vector is the wrong size");
433 return NULL;
434 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000435
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000436 for (i=0; i<N ; i++) {
437 element = PyLong_AsUnsignedLong(PyTuple_GET_ITEM(state, i));
438 if (element == (unsigned long)-1 && PyErr_Occurred())
439 return NULL;
bladebryan9616a822017-04-21 23:10:46 -0700440 new_state[i] = (uint32_t)element;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000441 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000442
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000443 index = PyLong_AsLong(PyTuple_GET_ITEM(state, i));
444 if (index == -1 && PyErr_Occurred())
445 return NULL;
Serhiy Storchaka178f0b62015-07-24 09:02:53 +0300446 if (index < 0 || index > N) {
447 PyErr_SetString(PyExc_ValueError, "invalid state");
448 return NULL;
449 }
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000450 self->index = (int)index;
bladebryan9616a822017-04-21 23:10:46 -0700451 for (i = 0; i < N; i++)
452 self->state[i] = new_state[i];
Raymond Hettinger40f62172002-12-29 23:03:38 +0000453
Serhiy Storchaka228b12e2017-01-23 09:47:21 +0200454 Py_RETURN_NONE;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000455}
456
Pablo Galindo561612d2019-05-24 22:09:23 +0100457/*[clinic input]
458
459_random.Random.getrandbits
460
461 self: self(type="RandomObject *")
462 k: int
463 /
464
465getrandbits(k) -> x. Generates an int with k random bits.
466[clinic start generated code]*/
467
Raymond Hettinger40f62172002-12-29 23:03:38 +0000468static PyObject *
Pablo Galindo561612d2019-05-24 22:09:23 +0100469_random_Random_getrandbits_impl(RandomObject *self, int k)
470/*[clinic end generated code: output=b402f82a2158887f input=8c0e6396dd176fc0]*/
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000471{
Pablo Galindo561612d2019-05-24 22:09:23 +0100472 int i, words;
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700473 uint32_t r;
474 uint32_t *wordarray;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000475 PyObject *result;
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000476
Antoine Pitrou75a33782020-04-17 19:32:14 +0200477 if (k < 0) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000478 PyErr_SetString(PyExc_ValueError,
Antoine Pitrou75a33782020-04-17 19:32:14 +0200479 "number of bits must be non-negative");
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000480 return NULL;
481 }
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000482
Antoine Pitrou75a33782020-04-17 19:32:14 +0200483 if (k == 0)
484 return PyLong_FromLong(0);
485
Serhiy Storchakad8a0bac2013-01-04 12:18:35 +0200486 if (k <= 32) /* Fast path */
Victor Stinner9f5fe792020-04-17 19:05:35 +0200487 return PyLong_FromUnsignedLong(genrand_uint32(self) >> (32 - k));
Serhiy Storchakad8a0bac2013-01-04 12:18:35 +0200488
Serhiy Storchakadce04052015-05-13 15:02:12 +0300489 words = (k - 1) / 32 + 1;
Benjamin Peterson9b3d7702016-09-06 13:24:00 -0700490 wordarray = (uint32_t *)PyMem_Malloc(words * 4);
Serhiy Storchakadce04052015-05-13 15:02:12 +0300491 if (wordarray == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000492 PyErr_NoMemory();
493 return NULL;
494 }
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000495
Serhiy Storchakadce04052015-05-13 15:02:12 +0300496 /* Fill-out bits of long integer, by 32-bit words, from least significant
497 to most significant. */
498#if PY_LITTLE_ENDIAN
499 for (i = 0; i < words; i++, k -= 32)
500#else
501 for (i = words - 1; i >= 0; i--, k -= 32)
502#endif
503 {
Victor Stinner9f5fe792020-04-17 19:05:35 +0200504 r = genrand_uint32(self);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000505 if (k < 32)
Serhiy Storchakadce04052015-05-13 15:02:12 +0300506 r >>= (32 - k); /* Drop least significant bits */
507 wordarray[i] = r;
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000508 }
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000509
Serhiy Storchakadce04052015-05-13 15:02:12 +0300510 result = _PyLong_FromByteArray((unsigned char *)wordarray, words * 4,
511 PY_LITTLE_ENDIAN, 0 /* unsigned */);
512 PyMem_Free(wordarray);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000513 return result;
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000514}
515
516static PyObject *
Raymond Hettinger40f62172002-12-29 23:03:38 +0000517random_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
518{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000519 RandomObject *self;
520 PyObject *tmp;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000521
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100522 if (type == (PyTypeObject*)_randomstate_global->Random_Type &&
523 !_PyArg_NoKeywords("Random()", kwds)) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000524 return NULL;
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100525 }
Georg Brandl02c42872005-08-26 06:42:30 +0000526
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100527 self = (RandomObject *)PyType_GenericAlloc(type, 0);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000528 if (self == NULL)
529 return NULL;
530 tmp = random_seed(self, args);
531 if (tmp == NULL) {
532 Py_DECREF(self);
533 return NULL;
534 }
535 Py_DECREF(tmp);
536 return (PyObject *)self;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000537}
538
539static PyMethodDef random_methods[] = {
Pablo Galindo561612d2019-05-24 22:09:23 +0100540 _RANDOM_RANDOM_RANDOM_METHODDEF
541 _RANDOM_RANDOM_SEED_METHODDEF
542 _RANDOM_RANDOM_GETSTATE_METHODDEF
543 _RANDOM_RANDOM_SETSTATE_METHODDEF
544 _RANDOM_RANDOM_GETRANDBITS_METHODDEF
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000545 {NULL, NULL} /* sentinel */
Raymond Hettinger40f62172002-12-29 23:03:38 +0000546};
547
548PyDoc_STRVAR(random_doc,
549"Random() -> create a random number generator with its own internal state.");
550
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100551static PyType_Slot Random_Type_slots[] = {
Victor Stinner2f902612019-10-01 12:45:52 +0200552 {Py_tp_doc, (void *)random_doc},
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100553 {Py_tp_methods, random_methods},
554 {Py_tp_new, random_new},
555 {Py_tp_free, PyObject_Free},
556 {0, 0},
557};
558
559static PyType_Spec Random_Type_spec = {
560 "_random.Random",
561 sizeof(RandomObject),
562 0,
563 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE,
564 Random_Type_slots
Raymond Hettinger40f62172002-12-29 23:03:38 +0000565};
566
567PyDoc_STRVAR(module_doc,
568"Module implements the Mersenne Twister random number generator.");
569
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100570static int
571_random_traverse(PyObject *module, visitproc visit, void *arg)
572{
Hai Shif707d942020-03-16 21:15:01 +0800573 Py_VISIT(get_random_state(module)->Random_Type);
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100574 return 0;
575}
576
577static int
578_random_clear(PyObject *module)
579{
Hai Shif707d942020-03-16 21:15:01 +0800580 Py_CLEAR(get_random_state(module)->Random_Type);
581 Py_CLEAR(get_random_state(module)->Long___abs__);
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100582 return 0;
583}
584
585static void
586_random_free(void *module)
587{
588 _random_clear((PyObject *)module);
589}
Martin v. Löwis1a214512008-06-11 05:26:20 +0000590
591static struct PyModuleDef _randommodule = {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000592 PyModuleDef_HEAD_INIT,
593 "_random",
594 module_doc,
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100595 sizeof(_randomstate),
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000596 NULL,
597 NULL,
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100598 _random_traverse,
599 _random_clear,
600 _random_free,
Martin v. Löwis1a214512008-06-11 05:26:20 +0000601};
602
Raymond Hettinger40f62172002-12-29 23:03:38 +0000603PyMODINIT_FUNC
Martin v. Löwis1a214512008-06-11 05:26:20 +0000604PyInit__random(void)
Raymond Hettinger40f62172002-12-29 23:03:38 +0000605{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000606 PyObject *m;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000607
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100608 PyObject *Random_Type = PyType_FromSpec(&Random_Type_spec);
609 if (Random_Type == NULL) {
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000610 return NULL;
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100611 }
612
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000613 m = PyModule_Create(&_randommodule);
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100614 if (m == NULL) {
615 Py_DECREF(Random_Type);
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000616 return NULL;
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100617 }
Hai Shif707d942020-03-16 21:15:01 +0800618 get_random_state(m)->Random_Type = Random_Type;
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100619
620 Py_INCREF(Random_Type);
621 PyModule_AddObject(m, "Random", Random_Type);
622
623 /* Look up and save int.__abs__, which is needed in random_seed(). */
624 PyObject *longval = NULL, *longtype = NULL;
625 longval = PyLong_FromLong(0);
626 if (longval == NULL) goto fail;
627
628 longtype = PyObject_Type(longval);
629 if (longtype == NULL) goto fail;
630
631 PyObject *abs = PyObject_GetAttrString(longtype, "__abs__");
632 if (abs == NULL) goto fail;
633
634 Py_DECREF(longtype);
635 Py_DECREF(longval);
Hai Shif707d942020-03-16 21:15:01 +0800636 get_random_state(m)->Long___abs__ = abs;
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100637
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000638 return m;
Dino Viehland04f0bbf2019-09-13 11:12:27 +0100639
640fail:
641 Py_XDECREF(longtype);
642 Py_XDECREF(longval);
643 Py_DECREF(m);
644 return NULL;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000645}