src/lib/w32/random_r.c

Go to the documentation of this file.
00001 /*
00002  * Ported from GNU libc to Windows by Ron Koenderink, 2007
00003  */
00004 
00005 /*
00006    Copyright (C) 1995, 2005 Free Software Foundation
00007 
00008    The GNU C Library is free software; you can redistribute it and/or
00009    modify it under the terms of the GNU Lesser General Public
00010    License as published by the Free Software Foundation; either
00011    version 2.1 of the License, or (at your option) any later version.
00012 
00013    The GNU C Library is distributed in the hope that it will be useful,
00014    but WITHOUT ANY WARRANTY; without even the implied warranty of
00015    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00016    Lesser General Public License for more details.
00017 
00018    You should have received a copy of the GNU Lesser General Public
00019    License along with the GNU C Library; if not, write to the Free
00020    Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
00021    02111-1307 USA.  */
00022 
00023 /*
00024    Copyright (C) 1983 Regents of the University of California.
00025    All rights reserved.
00026 
00027    Redistribution and use in source and binary forms, with or without
00028    modification, are permitted provided that the following conditions
00029    are met:
00030 
00031    1. Redistributions of source code must retain the above copyright
00032       notice, this list of conditions and the following disclaimer.
00033    2. Redistributions in binary form must reproduce the above copyright
00034       notice, this list of conditions and the following disclaimer in the
00035       documentation and/or other materials provided with the distribution.
00036    4. Neither the name of the University nor the names of its contributors
00037       may be used to endorse or promote products derived from this software
00038       without specific prior written permission.
00039 
00040    THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
00041    ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
00042    IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
00043    ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
00044    FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
00045    DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
00046    OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
00047    HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
00048    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
00049    OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
00050    SUCH DAMAGE.*/
00051 
00052 /*
00053  * This is derived from the Berkeley source:
00054  *      @(#)random.c    5.5 (Berkeley) 7/6/88
00055  * It was reworked for the GNU C Library by Roland McGrath.
00056  * Rewritten to be reentrant by Ulrich Drepper, 1995
00057  */
00058 
00059 //#include <limits.h>
00060 //#include <stddef.h>
00061 //#include <stdlib.h>
00062 #include "random.h"
00063 #include <errno.h>
00064 
00065 /* An improved random number generation package.  In addition to the standard
00066    rand()/srand() like interface, this package also has a special state info
00067    interface.  The initstate() routine is called with a seed, an array of
00068    bytes, and a count of how many bytes are being passed in; this array is
00069    then initialized to contain information for random number generation with
00070    that much state information.  Good sizes for the amount of state
00071    information are 32, 64, 128, and 256 bytes.  The state can be switched by
00072    calling the setstate() function with the same array as was initialized
00073    with initstate().  By default, the package runs with 128 bytes of state
00074    information and generates far better random numbers than a linear
00075    congruential generator.  If the amount of state information is less than
00076    32 bytes, a simple linear congruential R.N.G. is used.  Internally, the
00077    state information is treated as an array of longs; the zeroth element of
00078    the array is the type of R.N.G. being used (small integer); the remainder
00079    of the array is the state information for the R.N.G.  Thus, 32 bytes of
00080    state information will give 7 longs worth of state information, which will
00081    allow a degree seven polynomial.  (Note: The zeroth word of state
00082    information also has some other information stored in it; see setstate
00083    for details).  The random number generation technique is a linear feedback
00084    shift register approach, employing trinomials (since there are fewer terms
00085    to sum up that way).  In this approach, the least significant bit of all
00086    the numbers in the state table will act as a linear feedback shift register,
00087    and will have period 2^deg - 1 (where deg is the degree of the polynomial
00088    being used, assuming that the polynomial is irreducible and primitive).
00089    The higher order bits will have longer periods, since their values are
00090    also influenced by pseudo-random carries out of the lower bits.  The
00091    total period of the generator is approximately deg*(2**deg - 1); thus
00092    doubling the amount of state information has a vast influence on the
00093    period of the generator.  Note: The deg*(2**deg - 1) is an approximation
00094    only good for large deg, when the period of the shift register is the
00095    dominant factor.  With deg equal to seven, the period is actually much
00096    longer than the 7*(2**7 - 1) predicted by this formula.  */
00097 
00098 
00099 
00100 /* For each of the currently supported random number generators, we have a
00101    break value on the amount of state information (you need at least this many
00102    bytes of state info to support this random number generator), a degree for
00103    the polynomial (actually a trinomial) that the R.N.G. is based on, and
00104    separation between the two lower order coefficients of the trinomial.  */
00105 
00106 /* Linear congruential.  */
00107 #define TYPE_0          0
00108 #define BREAK_0         8
00109 #define DEG_0           0
00110 #define SEP_0           0
00111 
00112 /* x**7 + x**3 + 1.  */
00113 #define TYPE_1          1
00114 #define BREAK_1         32
00115 #define DEG_1           7
00116 #define SEP_1           3
00117 
00118 /* x**15 + x + 1.  */
00119 #define TYPE_2          2
00120 #define BREAK_2         64
00121 #define DEG_2           15
00122 #define SEP_2           1
00123 
00124 /* x**31 + x**3 + 1.  */
00125 #define TYPE_3          3
00126 #define BREAK_3         128
00127 #define DEG_3           31
00128 #define SEP_3           3
00129 
00130 /* x**63 + x + 1.  */
00131 #define TYPE_4          4
00132 #define BREAK_4         256
00133 #define DEG_4           63
00134 #define SEP_4           1
00135 
00136 
00137 /* Array versions of the above information to make code run faster.
00138    Relies on fact that TYPE_i == i.  */
00139 
00140 #define MAX_TYPES       5       /* Max number of types above.  */
00141 
00142 struct random_poly_info
00143 {
00144   int seps[MAX_TYPES];
00145   int degrees[MAX_TYPES];
00146 };
00147 
00148 static const struct random_poly_info random_poly_info =
00149 {
00150   { SEP_0, SEP_1, SEP_2, SEP_3, SEP_4 },
00151   { DEG_0, DEG_1, DEG_2, DEG_3, DEG_4 }
00152 };
00153 
00154 
00155 
00156 
00157 /* Initialize the random number generator based on the given seed.  If the
00158    type is the trivial no-state-information type, just remember the seed.
00159    Otherwise, initializes state[] based on the given "seed" via a linear
00160    congruential generator.  Then, the pointers are set to known locations
00161    that are exactly rand_sep places apart.  Lastly, it cycles the state
00162    information a given number of times to get rid of any initial dependencies
00163    introduced by the L.C.R.N.G.  Note that the initialization of randtbl[]
00164    for default usage relies on values produced by this routine.  */
00165 int
00166 __srandom_r (seed, buf)
00167      unsigned int seed;
00168      struct random_data *buf;
00169 {
00170   int type;
00171   int32_t *state;
00172   long int i;
00173   long int word;
00174   int32_t *dst;
00175   int kc;
00176 
00177   if (buf == NULL)
00178     goto fail;
00179   type = buf->rand_type;
00180   if ((unsigned int) type >= MAX_TYPES)
00181     goto fail;
00182 
00183   state = buf->state;
00184   /* We must make sure the seed is not 0.  Take arbitrarily 1 in this case.  */
00185   if (seed == 0)
00186     seed = 1;
00187   state[0] = seed;
00188   if (type == TYPE_0)
00189     goto done;
00190 
00191   dst = state;
00192   word = seed;
00193   kc = buf->rand_deg;
00194   for (i = 1; i < kc; ++i)
00195     {
00196       /* This does:
00197            state[i] = (16807 * state[i - 1]) % 2147483647;
00198          but avoids overflowing 31 bits.  */
00199       long int hi = word / 127773;
00200       long int lo = word % 127773;
00201       word = 16807 * lo - 2836 * hi;
00202       if (word < 0)
00203         word += 2147483647;
00204       *++dst = word;
00205     }
00206 
00207   buf->fptr = &state[buf->rand_sep];
00208   buf->rptr = &state[0];
00209   kc *= 10;
00210   while (--kc >= 0)
00211     {
00212       int32_t discard;
00213       (void) __random_r (buf, &discard);
00214     }
00215 
00216  done:
00217   return 0;
00218 
00219  fail:
00220   return -1;
00221 }
00222 
00223 weak_alias (__srandom_r, srandom_r)
00224 
00225 /* Initialize the state information in the given array of N bytes for
00226    future random number generation.  Based on the number of bytes we
00227    are given, and the break values for the different R.N.G.'s, we choose
00228    the best (largest) one we can and set things up for it.  srandom is
00229    then called to initialize the state information.  Note that on return
00230    from srandom, we set state[-1] to be the type multiplexed with the current
00231    value of the rear pointer; this is so successive calls to initstate won't
00232    lose this information and will be able to restart with setstate.
00233    Note: The first thing we do is save the current state, if any, just like
00234    setstate so that it doesn't matter when initstate is called.
00235    Returns a pointer to the old state.  */
00236 int
00237 __initstate_r (seed, arg_state, n, buf)
00238      unsigned int seed;
00239      char *arg_state;
00240      size_t n;
00241      struct random_data *buf;
00242 {
00243   int32_t *old_state;
00244   int type;
00245   int degree;
00246   int separation;
00247   int32_t *state;
00248 
00249   if (buf == NULL)
00250     goto fail;
00251 
00252   old_state = buf->state;
00253   if (old_state != NULL)
00254     {
00255       int old_type = buf->rand_type;
00256       if (old_type == TYPE_0)
00257         old_state[-1] = TYPE_0;
00258       else
00259         old_state[-1] = (MAX_TYPES * (buf->rptr - old_state)) + old_type;
00260     }
00261 
00262   if (n >= BREAK_3)
00263     type = n < BREAK_4 ? TYPE_3 : TYPE_4;
00264   else if (n < BREAK_1)
00265     {
00266       if (n < BREAK_0)
00267         {
00268           __set_errno (EINVAL);
00269           goto fail;
00270         }
00271       type = TYPE_0;
00272     }
00273   else
00274     type = n < BREAK_2 ? TYPE_1 : TYPE_2;
00275 
00276   degree = random_poly_info.degrees[type];
00277   separation = random_poly_info.seps[type];
00278 
00279   buf->rand_type = type;
00280   buf->rand_sep = separation;
00281   buf->rand_deg = degree;
00282   state = &((int32_t *) arg_state)[1];  /* First location.  */
00283   /* Must set END_PTR before srandom.  */
00284   buf->end_ptr = &state[degree];
00285 
00286   buf->state = state;
00287 
00288   __srandom_r (seed, buf);
00289 
00290   state[-1] = TYPE_0;
00291   if (type != TYPE_0)
00292     state[-1] = (buf->rptr - state) * MAX_TYPES + type;
00293 
00294   return 0;
00295 
00296  fail:
00297   __set_errno (EINVAL);
00298   return -1;
00299 }
00300 
00301 weak_alias (__initstate_r, initstate_r)
00302 
00303 /* Restore the state from the given state array.
00304    Note: It is important that we also remember the locations of the pointers
00305    in the current state information, and restore the locations of the pointers
00306    from the old state information.  This is done by multiplexing the pointer
00307    location into the zeroth word of the state information. Note that due
00308    to the order in which things are done, it is OK to call setstate with the
00309    same state as the current state
00310    Returns a pointer to the old state information.  */
00311 int
00312 __setstate_r (arg_state, buf)
00313      char *arg_state;
00314      struct random_data *buf;
00315 {
00316   int32_t *new_state = 1 + (int32_t *) arg_state;
00317   int type;
00318   int old_type;
00319   int32_t *old_state;
00320   int degree;
00321   int separation;
00322 
00323   if (arg_state == NULL || buf == NULL)
00324     goto fail;
00325 
00326   old_type = buf->rand_type;
00327   old_state = buf->state;
00328   if (old_type == TYPE_0)
00329     old_state[-1] = TYPE_0;
00330   else
00331     old_state[-1] = (MAX_TYPES * (buf->rptr - old_state)) + old_type;
00332 
00333   type = new_state[-1] % MAX_TYPES;
00334   if (type < TYPE_0 || type > TYPE_4)
00335     goto fail;
00336 
00337   buf->rand_deg = degree = random_poly_info.degrees[type];
00338   buf->rand_sep = separation = random_poly_info.seps[type];
00339   buf->rand_type = type;
00340 
00341   if (type != TYPE_0)
00342     {
00343       int rear = new_state[-1] / MAX_TYPES;
00344       buf->rptr = &new_state[rear];
00345       buf->fptr = &new_state[(rear + separation) % degree];
00346     }
00347   buf->state = new_state;
00348   /* Set end_ptr too.  */
00349   buf->end_ptr = &new_state[degree];
00350 
00351   return 0;
00352 
00353  fail:
00354   __set_errno (EINVAL);
00355   return -1;
00356 }
00357 
00358 weak_alias (__setstate_r, setstate_r)
00359 
00360 /* If we are using the trivial TYPE_0 R.N.G., just do the old linear
00361    congruential bit.  Otherwise, we do our fancy trinomial stuff, which is the
00362    same in all the other cases due to all the global variables that have been
00363    set up.  The basic operation is to add the number at the rear pointer into
00364    the one at the front pointer.  Then both pointers are advanced to the next
00365    location cyclically in the table.  The value returned is the sum generated,
00366    reduced to 31 bits by throwing away the "least random" low bit.
00367    Note: The code takes advantage of the fact that both the front and
00368    rear pointers can't wrap on the same call by not testing the rear
00369    pointer if the front one has wrapped.  Returns a 31-bit random number.  */
00370 
00371 int
00372 __random_r (buf, result)
00373      struct random_data *buf;
00374      int32_t *result;
00375 {
00376   int32_t *state;
00377 
00378   if (buf == NULL || result == NULL)
00379     goto fail;
00380 
00381   state = buf->state;
00382 
00383   if (buf->rand_type == TYPE_0)
00384     {
00385       int32_t val = state[0];
00386       val = ((state[0] * 1103515245) + 12345) & 0x7fffffff;
00387       state[0] = val;
00388       *result = val;
00389     }
00390   else
00391     {
00392       int32_t *fptr = buf->fptr;
00393       int32_t *rptr = buf->rptr;
00394       int32_t *end_ptr = buf->end_ptr;
00395       int32_t val;
00396 
00397       val = *fptr += *rptr;
00398       /* Chucking least random bit.  */
00399       *result = (val >> 1) & 0x7fffffff;
00400       ++fptr;
00401       if (fptr >= end_ptr)
00402         {
00403           fptr = state;
00404           ++rptr;
00405         }
00406       else
00407         {
00408           ++rptr;
00409           if (rptr >= end_ptr)
00410             rptr = state;
00411         }
00412       buf->fptr = fptr;
00413       buf->rptr = rptr;
00414     }
00415   return 0;
00416 
00417  fail:
00418   __set_errno (EINVAL);
00419   return -1;
00420 }
00421 
00422 weak_alias (__random_r, random_r)

Generated on Fri Mar 28 11:01:16 2008 for empserver by  doxygen 1.5.2