Home | History | Annotate | Line # | Download | only in stdlib
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