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