random.c revision 1.1 1 /* $NetBSD: random.c,v 1.1 2005/12/20 19:28:52 christos Exp $ */
2
3 /*
4 * Copyright (c) 1983, 1993
5 * The Regents of the University of California. All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 * 3. Neither the name of the University nor the names of its contributors
16 * may be used to endorse or promote products derived from this software
17 * without specific prior written permission.
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
20 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
23 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 * SUCH DAMAGE.
30 */
31
32 #include <sys/cdefs.h>
33 #if defined(LIBC_SCCS) && !defined(lint)
34 #if 0
35 static char sccsid[] = "@(#)random.c 8.2 (Berkeley) 5/19/95";
36 #else
37 __RCSID("$NetBSD: random.c,v 1.1 2005/12/20 19:28:52 christos Exp $");
38 #endif
39 #endif /* LIBC_SCCS and not lint */
40
41 #include "namespace.h"
42
43 #include <assert.h>
44 #include <errno.h>
45 #include <stdlib.h>
46 #include "reentrant.h"
47
48 #ifdef __weak_alias
49 __weak_alias(initstate,_initstate)
50 __weak_alias(random,_random)
51 __weak_alias(setstate,_setstate)
52 __weak_alias(srandom,_srandom)
53 #endif
54
55 static void srandom_unlocked __P((unsigned int));
56 static long random_unlocked __P((void));
57
58 #ifdef _REENTRANT
59 static mutex_t random_mutex = MUTEX_INITIALIZER;
60 #endif
61
62 #define USE_BETTER_RANDOM
63
64 /*
65 * random.c:
66 *
67 * An improved random number generation package. In addition to the standard
68 * rand()/srand() like interface, this package also has a special state info
69 * interface. The initstate() routine is called with a seed, an array of
70 * bytes, and a count of how many bytes are being passed in; this array is
71 * then initialized to contain information for random number generation with
72 * that much state information. Good sizes for the amount of state
73 * information are 32, 64, 128, and 256 bytes. The state can be switched by
74 * calling the setstate() routine with the same array as was initiallized
75 * with initstate(). By default, the package runs with 128 bytes of state
76 * information and generates far better random numbers than a linear
77 * congruential generator. If the amount of state information is less than
78 * 32 bytes, a simple linear congruential R.N.G. is used.
79 *
80 * Internally, the state information is treated as an array of ints; the
81 * zeroeth element of the array is the type of R.N.G. being used (small
82 * integer); the remainder of the array is the state information for the
83 * R.N.G. Thus, 32 bytes of state information will give 7 ints worth of
84 * state information, which will allow a degree seven polynomial. (Note:
85 * the zeroeth word of state information also has some other information
86 * stored in it -- see setstate() for details).
87 *
88 * The random number generation technique is a linear feedback shift register
89 * approach, employing trinomials (since there are fewer terms to sum up that
90 * way). In this approach, the least significant bit of all the numbers in
91 * the state table will act as a linear feedback shift register, and will
92 * have period 2^deg - 1 (where deg is the degree of the polynomial being
93 * used, assuming that the polynomial is irreducible and primitive). The
94 * higher order bits will have longer periods, since their values are also
95 * influenced by pseudo-random carries out of the lower bits. The total
96 * period of the generator is approximately deg*(2**deg - 1); thus doubling
97 * the amount of state information has a vast influence on the period of the
98 * generator. Note: the deg*(2**deg - 1) is an approximation only good for
99 * large deg, when the period of the shift register is the dominant factor.
100 * With deg equal to seven, the period is actually much longer than the
101 * 7*(2**7 - 1) predicted by this formula.
102 *
103 * Modified 28 December 1994 by Jacob S. Rosenberg.
104 * The following changes have been made:
105 * All references to the type u_int have been changed to unsigned long.
106 * All references to type int have been changed to type long. Other
107 * cleanups have been made as well. A warning for both initstate and
108 * setstate has been inserted to the effect that on Sparc platforms
109 * the 'arg_state' variable must be forced to begin on word boundaries.
110 * This can be easily done by casting a long integer array to char *.
111 * The overall logic has been left STRICTLY alone. This software was
112 * tested on both a VAX and Sun SpacsStation with exactly the same
113 * results. The new version and the original give IDENTICAL results.
114 * The new version is somewhat faster than the original. As the
115 * documentation says: "By default, the package runs with 128 bytes of
116 * state information and generates far better random numbers than a linear
117 * congruential generator. If the amount of state information is less than
118 * 32 bytes, a simple linear congruential R.N.G. is used." For a buffer of
119 * 128 bytes, this new version runs about 19 percent faster and for a 16
120 * byte buffer it is about 5 percent faster.
121 *
122 * Modified 07 January 2002 by Jason R. Thorpe.
123 * The following changes have been made:
124 * All the references to "long" have been changed back to "int". This
125 * fixes memory corruption problems on LP64 platforms.
126 */
127
128 /*
129 * For each of the currently supported random number generators, we have a
130 * break value on the amount of state information (you need at least this
131 * many bytes of state info to support this random number generator), a degree
132 * for the polynomial (actually a trinomial) that the R.N.G. is based on, and
133 * the separation between the two lower order coefficients of the trinomial.
134 */
135 #define TYPE_0 0 /* linear congruential */
136 #define BREAK_0 8
137 #define DEG_0 0
138 #define SEP_0 0
139
140 #define TYPE_1 1 /* x**7 + x**3 + 1 */
141 #define BREAK_1 32
142 #define DEG_1 7
143 #define SEP_1 3
144
145 #define TYPE_2 2 /* x**15 + x + 1 */
146 #define BREAK_2 64
147 #define DEG_2 15
148 #define SEP_2 1
149
150 #define TYPE_3 3 /* x**31 + x**3 + 1 */
151 #define BREAK_3 128
152 #define DEG_3 31
153 #define SEP_3 3
154
155 #define TYPE_4 4 /* x**63 + x + 1 */
156 #define BREAK_4 256
157 #define DEG_4 63
158 #define SEP_4 1
159
160 /*
161 * Array versions of the above information to make code run faster --
162 * relies on fact that TYPE_i == i.
163 */
164 #define MAX_TYPES 5 /* max number of types above */
165
166 static const int degrees[MAX_TYPES] = { DEG_0, DEG_1, DEG_2, DEG_3, DEG_4 };
167 static const int seps[MAX_TYPES] = { SEP_0, SEP_1, SEP_2, SEP_3, SEP_4 };
168
169 /*
170 * Initially, everything is set up as if from:
171 *
172 * initstate(1, &randtbl, 128);
173 *
174 * Note that this initialization takes advantage of the fact that srandom()
175 * advances the front and rear pointers 10*rand_deg times, and hence the
176 * rear pointer which starts at 0 will also end up at zero; thus the zeroeth
177 * element of the state information, which contains info about the current
178 * position of the rear pointer is just
179 *
180 * MAX_TYPES * (rptr - state) + TYPE_3 == TYPE_3.
181 */
182
183 /* LINTED */
184 static int randtbl[DEG_3 + 1] = {
185 TYPE_3,
186 #ifdef USE_BETTER_RANDOM
187 0x991539b1, 0x16a5bce3, 0x6774a4cd,
188 0x3e01511e, 0x4e508aaa, 0x61048c05,
189 0xf5500617, 0x846b7115, 0x6a19892c,
190 0x896a97af, 0xdb48f936, 0x14898454,
191 0x37ffd106, 0xb58bff9c, 0x59e17104,
192 0xcf918a49, 0x09378c83, 0x52c7a471,
193 0x8d293ea9, 0x1f4fc301, 0xc3db71be,
194 0x39b44e1c, 0xf8a44ef9, 0x4c8b80b1,
195 0x19edc328, 0x87bf4bdd, 0xc9b240e5,
196 0xe9ee4b1b, 0x4382aee7, 0x535b6b41,
197 0xf3bec5da,
198 #else
199 0x9a319039, 0x32d9c024, 0x9b663182,
200 0x5da1f342, 0xde3b81e0, 0xdf0a6fb5,
201 0xf103bc02, 0x48f340fb, 0x7449e56b,
202 0xbeb1dbb0, 0xab5c5918, 0x946554fd,
203 0x8c2e680f, 0xeb3d799f, 0xb11ee0b7,
204 0x2d436b86, 0xda672e2a, 0x1588ca88,
205 0xe369735d, 0x904f35f7, 0xd7158fd6,
206 0x6fa6f051, 0x616e6b96, 0xac94efdc,
207 0x36413f93, 0xc622c298, 0xf5a42ab8,
208 0x8a88d77b, 0xf5ad9d0e, 0x8999220b,
209 0x27fb47b9,
210 #endif /* USE_BETTER_RANDOM */
211 };
212
213 /*
214 * fptr and rptr are two pointers into the state info, a front and a rear
215 * pointer. These two pointers are always rand_sep places aparts, as they
216 * cycle cyclically through the state information. (Yes, this does mean we
217 * could get away with just one pointer, but the code for random() is more
218 * efficient this way). The pointers are left positioned as they would be
219 * from the call
220 *
221 * initstate(1, randtbl, 128);
222 *
223 * (The position of the rear pointer, rptr, is really 0 (as explained above
224 * in the initialization of randtbl) because the state table pointer is set
225 * to point to randtbl[1] (as explained below).
226 */
227 static int *fptr = &randtbl[SEP_3 + 1];
228 static int *rptr = &randtbl[1];
229
230 /*
231 * The following things are the pointer to the state information table, the
232 * type of the current generator, the degree of the current polynomial being
233 * used, and the separation between the two pointers. Note that for efficiency
234 * of random(), we remember the first location of the state information, not
235 * the zeroeth. Hence it is valid to access state[-1], which is used to
236 * store the type of the R.N.G. Also, we remember the last location, since
237 * this is more efficient than indexing every time to find the address of
238 * the last element to see if the front and rear pointers have wrapped.
239 */
240 static int *state = &randtbl[1];
241 static int rand_type = TYPE_3;
242 static int rand_deg = DEG_3;
243 static int rand_sep = SEP_3;
244 static int *end_ptr = &randtbl[DEG_3 + 1];
245
246 /*
247 * srandom:
248 *
249 * Initialize the random number generator based on the given seed. If the
250 * type is the trivial no-state-information type, just remember the seed.
251 * Otherwise, initializes state[] based on the given "seed" via a linear
252 * congruential generator. Then, the pointers are set to known locations
253 * that are exactly rand_sep places apart. Lastly, it cycles the state
254 * information a given number of times to get rid of any initial dependencies
255 * introduced by the L.C.R.N.G. Note that the initialization of randtbl[]
256 * for default usage relies on values produced by this routine.
257 */
258 static void
259 srandom_unlocked(x)
260 unsigned int x;
261 {
262 int i;
263
264 if (rand_type == TYPE_0)
265 state[0] = x;
266 else {
267 state[0] = x;
268 for (i = 1; i < rand_deg; i++) {
269 #ifdef USE_BETTER_RANDOM
270 int x1, hi, lo, t;
271
272 /*
273 * Compute x[n + 1] = (7^5 * x[n]) mod (2^31 - 1).
274 * From "Random number generators: good ones are hard
275 * to find", Park and Miller, Communications of the ACM,
276 * vol. 31, no. 10,
277 * October 1988, p. 1195.
278 */
279 x1 = state[i - 1];
280 hi = x1 / 127773;
281 lo = x1 % 127773;
282 t = 16807 * lo - 2836 * hi;
283 if (t <= 0)
284 t += 0x7fffffff;
285 state[i] = t;
286 #else
287 state[i] = 1103515245 * state[i - 1] + 12345;
288 #endif /* USE_BETTER_RANDOM */
289 }
290 fptr = &state[rand_sep];
291 rptr = &state[0];
292 for (i = 0; i < 10 * rand_deg; i++)
293 (void)random_unlocked();
294 }
295 }
296
297 void
298 srandom(x)
299 unsigned long x;
300 {
301
302 mutex_lock(&random_mutex);
303 srandom_unlocked((unsigned int) x);
304 mutex_unlock(&random_mutex);
305 }
306
307 /*
308 * initstate:
309 *
310 * Initialize the state information in the given array of n bytes for future
311 * random number generation. Based on the number of bytes we are given, and
312 * the break values for the different R.N.G.'s, we choose the best (largest)
313 * one we can and set things up for it. srandom() is then called to
314 * initialize the state information.
315 *
316 * Note that on return from srandom(), we set state[-1] to be the type
317 * multiplexed with the current value of the rear pointer; this is so
318 * successive calls to initstate() won't lose this information and will be
319 * able to restart with setstate().
320 *
321 * Note: the first thing we do is save the current state, if any, just like
322 * setstate() so that it doesn't matter when initstate is called.
323 *
324 * Returns a pointer to the old state.
325 *
326 * Note: The Sparc platform requires that arg_state begin on an int
327 * word boundary; otherwise a bus error will occur. Even so, lint will
328 * complain about mis-alignment, but you should disregard these messages.
329 */
330 char *
331 initstate(seed, arg_state, n)
332 unsigned long seed; /* seed for R.N.G. */
333 char *arg_state; /* pointer to state array */
334 size_t n; /* # bytes of state info */
335 {
336 void *ostate = (void *)(&state[-1]);
337 int *int_arg_state;
338
339 _DIAGASSERT(arg_state != NULL);
340
341 int_arg_state = (int *)(void *)arg_state;
342
343 mutex_lock(&random_mutex);
344 if (rand_type == TYPE_0)
345 state[-1] = rand_type;
346 else
347 state[-1] = MAX_TYPES * (int)(rptr - state) + rand_type;
348 if (n < BREAK_0) {
349 mutex_unlock(&random_mutex);
350 return (NULL);
351 } else if (n < BREAK_1) {
352 rand_type = TYPE_0;
353 rand_deg = DEG_0;
354 rand_sep = SEP_0;
355 } else if (n < BREAK_2) {
356 rand_type = TYPE_1;
357 rand_deg = DEG_1;
358 rand_sep = SEP_1;
359 } else if (n < BREAK_3) {
360 rand_type = TYPE_2;
361 rand_deg = DEG_2;
362 rand_sep = SEP_2;
363 } else if (n < BREAK_4) {
364 rand_type = TYPE_3;
365 rand_deg = DEG_3;
366 rand_sep = SEP_3;
367 } else {
368 rand_type = TYPE_4;
369 rand_deg = DEG_4;
370 rand_sep = SEP_4;
371 }
372 state = (int *) (int_arg_state + 1); /* first location */
373 end_ptr = &state[rand_deg]; /* must set end_ptr before srandom */
374 srandom_unlocked((unsigned int) seed);
375 if (rand_type == TYPE_0)
376 int_arg_state[0] = rand_type;
377 else
378 int_arg_state[0] = MAX_TYPES * (int)(rptr - state) + rand_type;
379 mutex_unlock(&random_mutex);
380 return((char *)ostate);
381 }
382
383 /*
384 * setstate:
385 *
386 * Restore the state from the given state array.
387 *
388 * Note: it is important that we also remember the locations of the pointers
389 * in the current state information, and restore the locations of the pointers
390 * from the old state information. This is done by multiplexing the pointer
391 * location into the zeroeth word of the state information.
392 *
393 * Note that due to the order in which things are done, it is OK to call
394 * setstate() with the same state as the current state.
395 *
396 * Returns a pointer to the old state information.
397 *
398 * Note: The Sparc platform requires that arg_state begin on a long
399 * word boundary; otherwise a bus error will occur. Even so, lint will
400 * complain about mis-alignment, but you should disregard these messages.
401 */
402 char *
403 setstate(arg_state)
404 char *arg_state; /* pointer to state array */
405 {
406 int *new_state;
407 int type;
408 int rear;
409 void *ostate = (void *)(&state[-1]);
410
411 _DIAGASSERT(arg_state != NULL);
412
413 new_state = (int *)(void *)arg_state;
414 type = (int)(new_state[0] % MAX_TYPES);
415 rear = (int)(new_state[0] / MAX_TYPES);
416
417 mutex_lock(&random_mutex);
418 if (rand_type == TYPE_0)
419 state[-1] = rand_type;
420 else
421 state[-1] = MAX_TYPES * (int)(rptr - state) + rand_type;
422 switch(type) {
423 case TYPE_0:
424 case TYPE_1:
425 case TYPE_2:
426 case TYPE_3:
427 case TYPE_4:
428 rand_type = type;
429 rand_deg = degrees[type];
430 rand_sep = seps[type];
431 break;
432 default:
433 mutex_unlock(&random_mutex);
434 return (NULL);
435 }
436 state = (int *) (new_state + 1);
437 if (rand_type != TYPE_0) {
438 rptr = &state[rear];
439 fptr = &state[(rear + rand_sep) % rand_deg];
440 }
441 end_ptr = &state[rand_deg]; /* set end_ptr too */
442 mutex_unlock(&random_mutex);
443 return((char *)ostate);
444 }
445
446 /*
447 * random:
448 *
449 * If we are using the trivial TYPE_0 R.N.G., just do the old linear
450 * congruential bit. Otherwise, we do our fancy trinomial stuff, which is
451 * the same in all the other cases due to all the global variables that have
452 * been set up. The basic operation is to add the number at the rear pointer
453 * into the one at the front pointer. Then both pointers are advanced to
454 * the next location cyclically in the table. The value returned is the sum
455 * generated, reduced to 31 bits by throwing away the "least random" low bit.
456 *
457 * Note: the code takes advantage of the fact that both the front and
458 * rear pointers can't wrap on the same call by not testing the rear
459 * pointer if the front one has wrapped.
460 *
461 * Returns a 31-bit random number.
462 */
463 static long
464 random_unlocked()
465 {
466 int i;
467 int *f, *r;
468
469 if (rand_type == TYPE_0) {
470 i = state[0];
471 state[0] = i = (i * 1103515245 + 12345) & 0x7fffffff;
472 } else {
473 /*
474 * Use local variables rather than static variables for speed.
475 */
476 f = fptr; r = rptr;
477 *f += *r;
478 /* chucking least random bit */
479 i = ((unsigned int)*f >> 1) & 0x7fffffff;
480 if (++f >= end_ptr) {
481 f = state;
482 ++r;
483 }
484 else if (++r >= end_ptr) {
485 r = state;
486 }
487
488 fptr = f; rptr = r;
489 }
490 return(i);
491 }
492
493 long
494 random()
495 {
496 long r;
497
498 mutex_lock(&random_mutex);
499 r = random_unlocked();
500 mutex_unlock(&random_mutex);
501 return (r);
502 }
503