blob: 852b810ae21955788be157935564010c0d41098d [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:
INADA Naoki0f48ecd2017-02-16 01:00:54 +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 Peterson6fb0fd12010-08-24 18:10:46 +00009 * the principal computational lines untouched.
Raymond Hettinger40f62172002-12-29 23:03:38 +000010
Antoine Pitrouc83ea132010-05-09 14:46:46 +000011 * renamed genrand_res53() to random_random() and wrapped
12 in python calling/return code.
Raymond Hettinger40f62172002-12-29 23:03:38 +000013
Antoine Pitrouc83ea132010-05-09 14:46:46 +000014 * genrand_int32() and the helper functions, init_genrand()
15 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 Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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 Pitrouc83ea132010-05-09 14:46:46 +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.
INADA Naoki0f48ecd2017-02-16 01:00:54 +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"
Antoine Pitrouc83ea132010-05-09 14:46:46 +000070#include <time.h> /* for seeding to current time */
Raymond Hettinger40f62172002-12-29 23:03:38 +000071
72/* Period parameters -- These are all magic. Don't change. */
73#define N 624
74#define M 397
Antoine Pitrouc83ea132010-05-09 14:46:46 +000075#define MATRIX_A 0x9908b0dfUL /* constant vector a */
Raymond Hettinger40f62172002-12-29 23:03:38 +000076#define UPPER_MASK 0x80000000UL /* most significant w-r bits */
77#define LOWER_MASK 0x7fffffffUL /* least significant r bits */
78
79typedef struct {
Antoine Pitrouc83ea132010-05-09 14:46:46 +000080 PyObject_HEAD
81 unsigned long state[N];
82 int index;
Raymond Hettinger40f62172002-12-29 23:03:38 +000083} RandomObject;
84
85static PyTypeObject Random_Type;
86
Antoine Pitrouc83ea132010-05-09 14:46:46 +000087#define RandomObject_Check(v) (Py_TYPE(v) == &Random_Type)
Raymond Hettinger40f62172002-12-29 23:03:38 +000088
89
90/* Random methods */
91
92
93/* generates a random number on [0,0xffffffff]-interval */
94static unsigned long
95genrand_int32(RandomObject *self)
96{
Antoine Pitrouc83ea132010-05-09 14:46:46 +000097 unsigned long y;
98 static unsigned long mag01[2]={0x0UL, MATRIX_A};
99 /* mag01[x] = x * MATRIX_A for x=0,1 */
100 unsigned long *mt;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000101
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000102 mt = self->state;
103 if (self->index >= N) { /* generate N words at one time */
104 int kk;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000105
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000106 for (kk=0;kk<N-M;kk++) {
107 y = (mt[kk]&UPPER_MASK)|(mt[kk+1]&LOWER_MASK);
108 mt[kk] = mt[kk+M] ^ (y >> 1) ^ mag01[y & 0x1UL];
109 }
110 for (;kk<N-1;kk++) {
111 y = (mt[kk]&UPPER_MASK)|(mt[kk+1]&LOWER_MASK);
112 mt[kk] = mt[kk+(M-N)] ^ (y >> 1) ^ mag01[y & 0x1UL];
113 }
114 y = (mt[N-1]&UPPER_MASK)|(mt[0]&LOWER_MASK);
115 mt[N-1] = mt[M-1] ^ (y >> 1) ^ mag01[y & 0x1UL];
Raymond Hettinger40f62172002-12-29 23:03:38 +0000116
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000117 self->index = 0;
118 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000119
120 y = mt[self->index++];
121 y ^= (y >> 11);
122 y ^= (y << 7) & 0x9d2c5680UL;
123 y ^= (y << 15) & 0xefc60000UL;
124 y ^= (y >> 18);
125 return y;
126}
127
128/* random_random is the function named genrand_res53 in the original code;
129 * generates a random number on [0,1) with 53-bit resolution; note that
130 * 9007199254740992 == 2**53; I assume they're spelling "/2**53" as
131 * multiply-by-reciprocal in the (likely vain) hope that the compiler will
132 * optimize the division away at compile-time. 67108864 is 2**26. In
133 * effect, a contains 27 random bits shifted left 26, and b fills in the
134 * lower 26 bits of the 53-bit numerator.
135 * The orginal code credited Isaku Wada for this algorithm, 2002/01/09.
136 */
137static PyObject *
138random_random(RandomObject *self)
139{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000140 unsigned long a=genrand_int32(self)>>5, b=genrand_int32(self)>>6;
141 return PyFloat_FromDouble((a*67108864.0+b)*(1.0/9007199254740992.0));
Raymond Hettinger40f62172002-12-29 23:03:38 +0000142}
143
144/* initializes mt[N] with a seed */
145static void
146init_genrand(RandomObject *self, unsigned long s)
147{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000148 int mti;
149 unsigned long *mt;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000150
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000151 mt = self->state;
152 mt[0]= s & 0xffffffffUL;
153 for (mti=1; mti<N; mti++) {
154 mt[mti] =
155 (1812433253UL * (mt[mti-1] ^ (mt[mti-1] >> 30)) + mti);
156 /* See Knuth TAOCP Vol2. 3rd Ed. P.106 for multiplier. */
157 /* In the previous versions, MSBs of the seed affect */
158 /* only MSBs of the array mt[]. */
159 /* 2002/01/09 modified by Makoto Matsumoto */
160 mt[mti] &= 0xffffffffUL;
161 /* for >32 bit machines */
162 }
163 self->index = mti;
164 return;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000165}
166
167/* initialize by an array with array-length */
168/* init_key is the array for initializing keys */
169/* key_length is its length */
170static PyObject *
171init_by_array(RandomObject *self, unsigned long init_key[], unsigned long key_length)
172{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000173 unsigned int i, j, k; /* was signed in the original code. RDH 12/16/2002 */
174 unsigned long *mt;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000175
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000176 mt = self->state;
177 init_genrand(self, 19650218UL);
178 i=1; j=0;
179 k = (N>key_length ? N : key_length);
180 for (; k; k--) {
181 mt[i] = (mt[i] ^ ((mt[i-1] ^ (mt[i-1] >> 30)) * 1664525UL))
182 + init_key[j] + j; /* non linear */
183 mt[i] &= 0xffffffffUL; /* for WORDSIZE > 32 machines */
184 i++; j++;
185 if (i>=N) { mt[0] = mt[N-1]; i=1; }
186 if (j>=key_length) j=0;
187 }
188 for (k=N-1; k; k--) {
189 mt[i] = (mt[i] ^ ((mt[i-1] ^ (mt[i-1] >> 30)) * 1566083941UL))
190 - i; /* non linear */
191 mt[i] &= 0xffffffffUL; /* for WORDSIZE > 32 machines */
192 i++;
193 if (i>=N) { mt[0] = mt[N-1]; i=1; }
194 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000195
196 mt[0] = 0x80000000UL; /* MSB is 1; assuring non-zero initial array */
197 Py_INCREF(Py_None);
198 return Py_None;
199}
200
201/*
202 * The rest is Python-specific code, neither part of, nor derived from, the
203 * Twister download.
204 */
205
206static PyObject *
207random_seed(RandomObject *self, PyObject *args)
208{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000209 PyObject *result = NULL; /* guilty until proved innocent */
210 PyObject *masklower = NULL;
211 PyObject *thirtytwo = NULL;
212 PyObject *n = NULL;
213 unsigned long *key = NULL;
214 unsigned long keymax; /* # of allocated slots in key */
215 unsigned long keyused; /* # of used slots in key */
216 int err;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000217
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000218 PyObject *arg = NULL;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000219
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000220 if (!PyArg_UnpackTuple(args, "seed", 0, 1, &arg))
221 return NULL;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000222
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000223 if (arg == NULL || arg == Py_None) {
224 time_t now;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000225
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000226 time(&now);
227 init_genrand(self, (unsigned long)now);
228 Py_INCREF(Py_None);
229 return Py_None;
230 }
231 /* If the arg is an int or long, use its absolute value; else use
232 * the absolute value of its hash code.
233 */
234 if (PyInt_Check(arg) || PyLong_Check(arg))
235 n = PyNumber_Absolute(arg);
236 else {
237 long hash = PyObject_Hash(arg);
238 if (hash == -1)
239 goto Done;
240 n = PyLong_FromUnsignedLong((unsigned long)hash);
241 }
242 if (n == NULL)
243 goto Done;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000244
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000245 /* Now split n into 32-bit chunks, from the right. Each piece is
246 * stored into key, which has a capacity of keymax chunks, of which
247 * keyused are filled. Alas, the repeated shifting makes this a
248 * quadratic-time algorithm; we'd really like to use
249 * _PyLong_AsByteArray here, but then we'd have to break into the
250 * long representation to figure out how big an array was needed
251 * in advance.
252 */
253 keymax = 8; /* arbitrary; grows later if needed */
254 keyused = 0;
255 key = (unsigned long *)PyMem_Malloc(keymax * sizeof(*key));
256 if (key == NULL)
257 goto Done;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000258
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000259 masklower = PyLong_FromUnsignedLong(0xffffffffU);
260 if (masklower == NULL)
261 goto Done;
262 thirtytwo = PyInt_FromLong(32L);
263 if (thirtytwo == NULL)
264 goto Done;
265 while ((err=PyObject_IsTrue(n))) {
266 PyObject *newn;
267 PyObject *pychunk;
268 unsigned long chunk;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000269
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000270 if (err == -1)
271 goto Done;
272 pychunk = PyNumber_And(n, masklower);
273 if (pychunk == NULL)
274 goto Done;
275 chunk = PyLong_AsUnsignedLong(pychunk);
276 Py_DECREF(pychunk);
277 if (chunk == (unsigned long)-1 && PyErr_Occurred())
278 goto Done;
279 newn = PyNumber_Rshift(n, thirtytwo);
280 if (newn == NULL)
281 goto Done;
282 Py_DECREF(n);
283 n = newn;
284 if (keyused >= keymax) {
285 unsigned long bigger = keymax << 1;
286 if ((bigger >> 1) != keymax) {
287 PyErr_NoMemory();
288 goto Done;
289 }
290 key = (unsigned long *)PyMem_Realloc(key,
291 bigger * sizeof(*key));
292 if (key == NULL)
293 goto Done;
294 keymax = bigger;
295 }
296 assert(keyused < keymax);
297 key[keyused++] = chunk;
298 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000299
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000300 if (keyused == 0)
301 key[keyused++] = 0UL;
302 result = init_by_array(self, key, keyused);
Raymond Hettinger40f62172002-12-29 23:03:38 +0000303Done:
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000304 Py_XDECREF(masklower);
305 Py_XDECREF(thirtytwo);
306 Py_XDECREF(n);
307 PyMem_Free(key);
308 return result;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000309}
310
311static PyObject *
312random_getstate(RandomObject *self)
313{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000314 PyObject *state;
315 PyObject *element;
316 int i;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000317
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000318 state = PyTuple_New(N+1);
319 if (state == NULL)
320 return NULL;
321 for (i=0; i<N ; i++) {
322 element = PyLong_FromUnsignedLong(self->state[i]);
323 if (element == NULL)
324 goto Fail;
325 PyTuple_SET_ITEM(state, i, element);
326 }
327 element = PyLong_FromLong((long)(self->index));
328 if (element == NULL)
329 goto Fail;
330 PyTuple_SET_ITEM(state, i, element);
331 return state;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000332
333Fail:
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000334 Py_DECREF(state);
335 return NULL;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000336}
337
338static PyObject *
339random_setstate(RandomObject *self, PyObject *state)
340{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000341 int i;
342 unsigned long element;
343 long index;
Mariatta1626a472017-05-27 07:19:55 -0700344 unsigned long new_state[N];
Raymond Hettinger40f62172002-12-29 23:03:38 +0000345
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000346 if (!PyTuple_Check(state)) {
347 PyErr_SetString(PyExc_TypeError,
348 "state vector must be a tuple");
349 return NULL;
350 }
351 if (PyTuple_Size(state) != N+1) {
352 PyErr_SetString(PyExc_ValueError,
353 "state vector is the wrong size");
354 return NULL;
355 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000356
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000357 for (i=0; i<N ; i++) {
358 element = PyLong_AsUnsignedLong(PyTuple_GET_ITEM(state, i));
359 if (element == (unsigned long)-1 && PyErr_Occurred())
360 return NULL;
Mariatta1626a472017-05-27 07:19:55 -0700361 new_state[i] = element & 0xffffffffUL; /* Make sure we get sane state */
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000362 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000363
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000364 index = PyLong_AsLong(PyTuple_GET_ITEM(state, i));
365 if (index == -1 && PyErr_Occurred())
366 return NULL;
Serhiy Storchaka3b77d012015-07-24 09:02:53 +0300367 if (index < 0 || index > N) {
368 PyErr_SetString(PyExc_ValueError, "invalid state");
369 return NULL;
370 }
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000371 self->index = (int)index;
Mariatta1626a472017-05-27 07:19:55 -0700372 for (i = 0; i < N; i++)
373 self->state[i] = new_state[i];
Raymond Hettinger40f62172002-12-29 23:03:38 +0000374
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000375 Py_INCREF(Py_None);
376 return Py_None;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000377}
378
379/*
380Jumpahead should be a fast way advance the generator n-steps ahead, but
381lacking a formula for that, the next best is to use n and the existing
382state to create a new state far away from the original.
383
384The generator uses constant spaced additive feedback, so shuffling the
385state elements ought to produce a state which would not be encountered
386(in the near term) by calls to random(). Shuffling is normally
387implemented by swapping the ith element with another element ranging
388from 0 to i inclusive. That allows the element to have the possibility
389of not being moved. Since the goal is to produce a new, different
390state, the swap element is ranged from 0 to i-1 inclusive. This assures
391that each element gets moved at least once.
392
393To make sure that consecutive calls to jumpahead(n) produce different
394states (even in the rare case of involutory shuffles), i+1 is added to
395each element at position i. Successive calls are then guaranteed to
396have changing (growing) values as well as shuffled positions.
397
398Finally, the self->index value is set to N so that the generator itself
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000399kicks in on the next call to random(). This assures that all results
Raymond Hettinger40f62172002-12-29 23:03:38 +0000400have been through the generator and do not just reflect alterations to
401the underlying state.
402*/
403
404static PyObject *
405random_jumpahead(RandomObject *self, PyObject *n)
406{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000407 long i, j;
408 PyObject *iobj;
409 PyObject *remobj;
Mark Dickinsone0afb722012-06-30 17:19:35 +0100410 unsigned long *mt, tmp, nonzero;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000411
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000412 if (!PyInt_Check(n) && !PyLong_Check(n)) {
413 PyErr_Format(PyExc_TypeError, "jumpahead requires an "
414 "integer, not '%s'",
415 Py_TYPE(n)->tp_name);
416 return NULL;
417 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000418
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000419 mt = self->state;
420 for (i = N-1; i > 1; i--) {
421 iobj = PyInt_FromLong(i);
422 if (iobj == NULL)
423 return NULL;
424 remobj = PyNumber_Remainder(n, iobj);
425 Py_DECREF(iobj);
426 if (remobj == NULL)
427 return NULL;
428 j = PyInt_AsLong(remobj);
429 Py_DECREF(remobj);
430 if (j == -1L && PyErr_Occurred())
431 return NULL;
432 tmp = mt[i];
433 mt[i] = mt[j];
434 mt[j] = tmp;
435 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000436
Mark Dickinsone0afb722012-06-30 17:19:35 +0100437 nonzero = 0;
438 for (i = 1; i < N; i++) {
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000439 mt[i] += i+1;
Mark Dickinsone0afb722012-06-30 17:19:35 +0100440 mt[i] &= 0xffffffffUL; /* for WORDSIZE > 32 machines */
441 nonzero |= mt[i];
442 }
443
444 /* Ensure the state is nonzero: in the unlikely event that mt[1] through
445 mt[N-1] are all zero, set the MSB of mt[0] (see issue #14591). In the
446 normal case, we fall back to the pre-issue 14591 behaviour for mt[0]. */
447 if (nonzero) {
448 mt[0] += 1;
449 mt[0] &= 0xffffffffUL; /* for WORDSIZE > 32 machines */
450 }
451 else {
452 mt[0] = 0x80000000UL;
453 }
Raymond Hettinger40f62172002-12-29 23:03:38 +0000454
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000455 self->index = N;
456 Py_INCREF(Py_None);
457 return Py_None;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000458}
459
460static PyObject *
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000461random_getrandbits(RandomObject *self, PyObject *args)
462{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000463 int k, i, bytes;
464 unsigned long r;
465 unsigned char *bytearray;
466 PyObject *result;
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000467
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000468 if (!PyArg_ParseTuple(args, "i:getrandbits", &k))
469 return NULL;
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000470
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000471 if (k <= 0) {
472 PyErr_SetString(PyExc_ValueError,
473 "number of bits must be greater than zero");
474 return NULL;
475 }
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000476
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000477 bytes = ((k - 1) / 32 + 1) * 4;
478 bytearray = (unsigned char *)PyMem_Malloc(bytes);
479 if (bytearray == NULL) {
480 PyErr_NoMemory();
481 return NULL;
482 }
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000483
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000484 /* Fill-out whole words, byte-by-byte to avoid endianness issues */
485 for (i=0 ; i<bytes ; i+=4, k-=32) {
486 r = genrand_int32(self);
487 if (k < 32)
488 r >>= (32 - k);
489 bytearray[i+0] = (unsigned char)r;
490 bytearray[i+1] = (unsigned char)(r >> 8);
491 bytearray[i+2] = (unsigned char)(r >> 16);
492 bytearray[i+3] = (unsigned char)(r >> 24);
493 }
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000494
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000495 /* little endian order to match bytearray assignment order */
496 result = _PyLong_FromByteArray(bytearray, bytes, 1, 0);
497 PyMem_Free(bytearray);
498 return result;
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000499}
500
501static PyObject *
Raymond Hettinger40f62172002-12-29 23:03:38 +0000502random_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
503{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000504 RandomObject *self;
505 PyObject *tmp;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000506
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000507 if (type == &Random_Type && !_PyArg_NoKeywords("Random()", kwds))
508 return NULL;
Georg Brandl02c42872005-08-26 06:42:30 +0000509
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000510 self = (RandomObject *)type->tp_alloc(type, 0);
511 if (self == NULL)
512 return NULL;
513 tmp = random_seed(self, args);
514 if (tmp == NULL) {
515 Py_DECREF(self);
516 return NULL;
517 }
518 Py_DECREF(tmp);
519 return (PyObject *)self;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000520}
521
522static PyMethodDef random_methods[] = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000523 {"random", (PyCFunction)random_random, METH_NOARGS,
524 PyDoc_STR("random() -> x in the interval [0, 1).")},
525 {"seed", (PyCFunction)random_seed, METH_VARARGS,
526 PyDoc_STR("seed([n]) -> None. Defaults to current time.")},
527 {"getstate", (PyCFunction)random_getstate, METH_NOARGS,
528 PyDoc_STR("getstate() -> tuple containing the current state.")},
529 {"setstate", (PyCFunction)random_setstate, METH_O,
530 PyDoc_STR("setstate(state) -> None. Restores generator state.")},
531 {"jumpahead", (PyCFunction)random_jumpahead, METH_O,
532 PyDoc_STR("jumpahead(int) -> None. Create new state from "
533 "existing state and integer.")},
534 {"getrandbits", (PyCFunction)random_getrandbits, METH_VARARGS,
535 PyDoc_STR("getrandbits(k) -> x. Generates a long int with "
536 "k random bits.")},
537 {NULL, NULL} /* sentinel */
Raymond Hettinger40f62172002-12-29 23:03:38 +0000538};
539
540PyDoc_STRVAR(random_doc,
541"Random() -> create a random number generator with its own internal state.");
542
543static PyTypeObject Random_Type = {
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000544 PyVarObject_HEAD_INIT(NULL, 0)
545 "_random.Random", /*tp_name*/
546 sizeof(RandomObject), /*tp_basicsize*/
547 0, /*tp_itemsize*/
548 /* methods */
549 0, /*tp_dealloc*/
550 0, /*tp_print*/
551 0, /*tp_getattr*/
552 0, /*tp_setattr*/
553 0, /*tp_compare*/
554 0, /*tp_repr*/
555 0, /*tp_as_number*/
556 0, /*tp_as_sequence*/
557 0, /*tp_as_mapping*/
558 0, /*tp_hash*/
559 0, /*tp_call*/
560 0, /*tp_str*/
561 PyObject_GenericGetAttr, /*tp_getattro*/
562 0, /*tp_setattro*/
563 0, /*tp_as_buffer*/
564 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE, /*tp_flags*/
565 random_doc, /*tp_doc*/
566 0, /*tp_traverse*/
567 0, /*tp_clear*/
568 0, /*tp_richcompare*/
569 0, /*tp_weaklistoffset*/
570 0, /*tp_iter*/
571 0, /*tp_iternext*/
572 random_methods, /*tp_methods*/
573 0, /*tp_members*/
574 0, /*tp_getset*/
575 0, /*tp_base*/
576 0, /*tp_dict*/
577 0, /*tp_descr_get*/
578 0, /*tp_descr_set*/
579 0, /*tp_dictoffset*/
580 0, /*tp_init*/
581 0, /*tp_alloc*/
582 random_new, /*tp_new*/
583 _PyObject_Del, /*tp_free*/
584 0, /*tp_is_gc*/
Raymond Hettinger40f62172002-12-29 23:03:38 +0000585};
586
587PyDoc_STRVAR(module_doc,
588"Module implements the Mersenne Twister random number generator.");
589
590PyMODINIT_FUNC
591init_random(void)
592{
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000593 PyObject *m;
Raymond Hettinger40f62172002-12-29 23:03:38 +0000594
Antoine Pitrouc83ea132010-05-09 14:46:46 +0000595 if (PyType_Ready(&Random_Type) < 0)
596 return;
597 m = Py_InitModule3("_random", NULL, module_doc);
598 if (m == NULL)
599 return;
600 Py_INCREF(&Random_Type);
601 PyModule_AddObject(m, "Random", (PyObject *)&Random_Type);
Raymond Hettinger40f62172002-12-29 23:03:38 +0000602}