1 /* xf86drmRandom.c -- "Minimal Standard" PRNG Implementation
2 * Created: Mon Apr 19 08:28:13 1999 by faith@precisioninsight.com
4 * Copyright 1999 Precision Insight, Inc., Cedar Park, Texas.
7 * Permission is hereby granted, free of charge, to any person obtaining a
8 * copy of this software and associated documentation files (the "Software"),
9 * to deal in the Software without restriction, including without limitation
10 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
11 * and/or sell copies of the Software, and to permit persons to whom the
12 * Software is furnished to do so, subject to the following conditions:
14 * The above copyright notice and this permission notice (including the next
15 * paragraph) shall be included in all copies or substantial portions of the
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
21 * PRECISION INSIGHT AND/OR ITS SUPPLIERS BE LIABLE FOR ANY CLAIM, DAMAGES OR
22 * OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
23 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
24 * DEALINGS IN THE SOFTWARE.
26 * Authors: Rickard E. (Rik) Faith <faith@valinux.com>
28 * $XFree86: xc/programs/Xserver/hw/xfree86/os-support/linux/drm/xf86drmRandom.c,v 1.4 2000/06/17 00:03:34 martin Exp $
32 * This file contains a simple, straightforward implementation of the Park
33 * & Miller "Minimal Standard" PRNG [PM88, PMS93], which is a Lehmer
34 * multiplicative linear congruential generator (MLCG) with a period of
37 * This implementation is intended to provide a reliable, portable PRNG
38 * that is suitable for testing a hash table implementation and for
39 * implementing skip lists.
43 * If initial seeds are not selected randomly, two instances of the PRNG
44 * can be correlated. [Knuth81, pp. 32-33] describes a shuffling technique
45 * that can eliminate this problem.
47 * If PRNGs are used for simulation, the period of the current
48 * implementation may be too short. [LE88] discusses methods of combining
49 * MLCGs to produce much longer periods, and suggests some alternative
50 * values for A and M. [LE90 and Sch92] also provide information on
55 * [Knuth81] Donald E. Knuth. The Art of Computer Programming. Volume 2:
56 * Seminumerical Algorithms. Reading, Massachusetts: Addison-Wesley, 1981.
58 * [LE88] Pierre L'Ecuyer. "Efficient and Portable Combined Random Number
59 * Generators". CACM 31(6), June 1988, pp. 742-774.
61 * [LE90] Pierre L'Ecuyer. "Random Numbers for Simulation". CACM 33(10,
62 * October 1990, pp. 85-97.
64 * [PM88] Stephen K. Park and Keith W. Miller. "Random Number Generators:
65 * Good Ones are Hard to Find". CACM 31(10), October 1988, pp. 1192-1201.
67 * [Sch92] Bruce Schneier. "Pseudo-Ransom Sequence Generator for 32-Bit
68 * CPUs". Dr. Dobb's Journal 17(2), February 1992, pp. 34, 37-38, 40.
70 * [PMS93] Stephen K. Park, Keith W. Miller, and Paul K. Stockmeyer. In
71 * "Technical Correspondence: Remarks on Choosing and Implementing Random
72 * Number Generators". CACM 36(7), July 1993, pp. 105-110.
85 # include "xf86_ansic.h"
94 #define RANDOM_MAGIC 0xfeedbeef
95 #define RANDOM_DEBUG 0
98 #define RANDOM_ALLOC malloc
99 #define RANDOM_FREE free
101 #define RANDOM_ALLOC drmMalloc
102 #define RANDOM_FREE drmFree
105 typedef struct RandomState
{
109 unsigned long q
; /* m div a */
110 unsigned long r
; /* m mod a */
116 extern void *N(RandomCreate
)(unsigned long seed
);
117 extern int N(RandomDestroy
)(void *state
);
118 extern unsigned long N(Random
)(void *state
);
119 extern double N(RandomDouble
)(void *state
);
122 void *N(RandomCreate
)(unsigned long seed
)
126 state
= RANDOM_ALLOC(sizeof(*state
));
127 if (!state
) return NULL
;
128 state
->magic
= RANDOM_MAGIC
;
130 /* Park & Miller, October 1988 */
132 state
->m
= 2147483647;
133 state
->check
= 1043618065; /* After 10000 iterations */
135 /* Park, Miller, and Stockmeyer, July 1993 */
137 state
->m
= 2147483647;
138 state
->check
= 399268537; /* After 10000 iterations */
140 state
->q
= state
->m
/ state
->a
;
141 state
->r
= state
->m
% state
->a
;
144 /* Check for illegal boundary conditions,
145 and choose closest legal value. */
146 if (state
->seed
<= 0) state
->seed
= 1;
147 if (state
->seed
>= state
->m
) state
->seed
= state
->m
- 1;
152 int N(RandomDestroy
)(void *state
)
158 unsigned long N(Random
)(void *state
)
160 RandomState
*s
= (RandomState
*)state
;
166 s
->seed
= s
->a
* lo
- s
->r
* hi
;
167 if (s
->seed
<= 0) s
->seed
+= s
->m
;
172 double N(RandomDouble
)(void *state
)
174 RandomState
*s
= (RandomState
*)state
;
176 return (double)N(Random
)(state
)/(double)s
->m
;
180 static void check_period(long seed
)
182 unsigned long count
= 0;
183 unsigned long initial
;
186 state
= N(RandomCreate
)(seed
);
187 initial
= N(Random
)(state
);
189 while (initial
!= N(Random
)(state
)) {
192 printf("With seed of %10ld, period = %10lu (0x%08lx)\n",
194 N(RandomDestroy
)(state
);
203 state
= N(RandomCreate
)(1);
204 for (i
= 0; i
< 10000; i
++) {
205 rand
= N(Random
)(state
);
207 printf("After 10000 iterations: %lu (%lu expected): %s\n",
209 rand
- state
->check
? "*INCORRECT*" : "CORRECT");
210 N(RandomDestroy
)(state
);
212 printf("Checking periods...\n");
215 check_period(31415926);