summaryrefslogtreecommitdiff
path: root/packages/base
diff options
context:
space:
mode:
Diffstat (limited to 'packages/base')
-rw-r--r--packages/base/hmatrix.cabal4
-rw-r--r--packages/base/src/Internal/C/vector-aux.c1
-rw-r--r--packages/base/src/Internal/C/windows_random_r.c392
-rw-r--r--packages/base/src/Internal/C/windows_random_r.h35
4 files changed, 431 insertions, 1 deletions
diff --git a/packages/base/hmatrix.cabal b/packages/base/hmatrix.cabal
index 31bea3e..e248886 100644
--- a/packages/base/hmatrix.cabal
+++ b/packages/base/hmatrix.cabal
@@ -25,6 +25,7 @@ build-type: Simple
25extra-source-files: THANKS.md CHANGELOG 25extra-source-files: THANKS.md CHANGELOG
26 26
27extra-source-files: src/Internal/C/lapack-aux.h 27extra-source-files: src/Internal/C/lapack-aux.h
28 src/Internal/C/windows_random_r.h
28 29
29flag openblas 30flag openblas
30 description: Link with OpenBLAS (https://github.com/xianyi/OpenBLAS) optimized libraries. 31 description: Link with OpenBLAS (https://github.com/xianyi/OpenBLAS) optimized libraries.
@@ -74,9 +75,10 @@ library
74 Internal.Util 75 Internal.Util
75 Internal.Modular 76 Internal.Modular
76 Internal.Static 77 Internal.Static
77 78
78 C-sources: src/Internal/C/lapack-aux.c 79 C-sources: src/Internal/C/lapack-aux.c
79 src/Internal/C/vector-aux.c 80 src/Internal/C/vector-aux.c
81 src/Internal/C/windows_random_r.c
80 82
81 83
82 extensions: ForeignFunctionInterface, 84 extensions: ForeignFunctionInterface,
diff --git a/packages/base/src/Internal/C/vector-aux.c b/packages/base/src/Internal/C/vector-aux.c
index 5528a9d..a370214 100644
--- a/packages/base/src/Internal/C/vector-aux.c
+++ b/packages/base/src/Internal/C/vector-aux.c
@@ -7,6 +7,7 @@ typedef float complex TCF;
7#undef complex 7#undef complex
8 8
9#include "lapack-aux.h" 9#include "lapack-aux.h"
10#include "windows_random_r.h"
10 11
11#define V(x) x##n,x##p 12#define V(x) x##n,x##p
12 13
diff --git a/packages/base/src/Internal/C/windows_random_r.c b/packages/base/src/Internal/C/windows_random_r.c
new file mode 100644
index 0000000..872cb2e
--- /dev/null
+++ b/packages/base/src/Internal/C/windows_random_r.c
@@ -0,0 +1,392 @@
1#if defined(_WIN32) || defined(WIN32)
2
3/*
4 Copyright (C) 1995-2015 Free Software Foundation, Inc.
5
6 The GNU C Library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Lesser General Public
8 License as published by the Free Software Foundation; either
9 version 2.1 of the License, or (at your option) any later version.
10
11 The GNU C Library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
15
16 You should have received a copy of the GNU Lesser General Public
17 License along with the GNU C Library; if not, see
18 <http://www.gnu.org/licenses/>. */
19
20/*
21 Copyright (C) 1983 Regents of the University of California.
22 All rights reserved.
23
24 Redistribution and use in source and binary forms, with or without
25 modification, are permitted provided that the following conditions
26 are met:
27
28 1. Redistributions of source code must retain the above copyright
29 notice, this list of conditions and the following disclaimer.
30 2. Redistributions in binary form must reproduce the above copyright
31 notice, this list of conditions and the following disclaimer in the
32 documentation and/or other materials provided with the distribution.
33 4. Neither the name of the University nor the names of its contributors
34 may be used to endorse or promote products derived from this software
35 without specific prior written permission.
36
37 THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
38 ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
39 IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
40 ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
41 FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
42 DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
43 OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
44 HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
45 LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
46 OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
47 SUCH DAMAGE.*/
48
49/*
50 * This is derived from the Berkeley source:
51 * @(#)random.c 5.5 (Berkeley) 7/6/88
52 * It was reworked for the GNU C Library by Roland McGrath.
53 * Rewritten to be reentrant by Ulrich Drepper, 1995
54 */
55
56#include "windows_random_r.h"
57
58/* An improved random number generation package. In addition to the standard
59 rand()/srand() like interface, this package also has a special state info
60 interface. The initstate() routine is called with a seed, an array of
61 bytes, and a count of how many bytes are being passed in; this array is
62 then initialized to contain information for random number generation with
63 that much state information. Good sizes for the amount of state
64 information are 32, 64, 128, and 256 bytes. The state can be switched by
65 calling the setstate() function with the same array as was initialized
66 with initstate(). By default, the package runs with 128 bytes of state
67 information and generates far better random numbers than a linear
68 congruential generator. If the amount of state information is less than
69 32 bytes, a simple linear congruential R.N.G. is used. Internally, the
70 state information is treated as an array of longs; the zeroth element of
71 the array is the type of R.N.G. being used (small integer); the remainder
72 of the array is the state information for the R.N.G. Thus, 32 bytes of
73 state information will give 7 longs worth of state information, which will
74 allow a degree seven polynomial. (Note: The zeroth word of state
75 information also has some other information stored in it; see setstate
76 for details). The random number generation technique is a linear feedback
77 shift register approach, employing trinomials (since there are fewer terms
78 to sum up that way). In this approach, the least significant bit of all
79 the numbers in the state table will act as a linear feedback shift register,
80 and will have period 2^deg - 1 (where deg is the degree of the polynomial
81 being used, assuming that the polynomial is irreducible and primitive).
82 The higher order bits will have longer periods, since their values are
83 also influenced by pseudo-random carries out of the lower bits. The
84 total period of the generator is approximately deg*(2**deg - 1); thus
85 doubling the amount of state information has a vast influence on the
86 period of the generator. Note: The deg*(2**deg - 1) is an approximation
87 only good for large deg, when the period of the shift register is the
88 dominant factor. With deg equal to seven, the period is actually much
89 longer than the 7*(2**7 - 1) predicted by this formula. */
90
91
92
93/* For each of the currently supported random number generators, we have a
94 break value on the amount of state information (you need at least this many
95 bytes of state info to support this random number generator), a degree for
96 the polynomial (actually a trinomial) that the R.N.G. is based on, and
97 separation between the two lower order coefficients of the trinomial. */
98
99/* Linear congruential. */
100#define TYPE_0 0
101#define BREAK_0 8
102#define DEG_0 0
103#define SEP_0 0
104
105/* x**7 + x**3 + 1. */
106#define TYPE_1 1
107#define BREAK_1 32
108#define DEG_1 7
109#define SEP_1 3
110
111/* x**15 + x + 1. */
112#define TYPE_2 2
113#define BREAK_2 64
114#define DEG_2 15
115#define SEP_2 1
116
117/* x**31 + x**3 + 1. */
118#define TYPE_3 3
119#define BREAK_3 128
120#define DEG_3 31
121#define SEP_3 3
122
123/* x**63 + x + 1. */
124#define TYPE_4 4
125#define BREAK_4 256
126#define DEG_4 63
127#define SEP_4 1
128
129
130/* Array versions of the above information to make code run faster.
131 Relies on fact that TYPE_i == i. */
132
133#define MAX_TYPES 5 /* Max number of types above. */
134
135struct random_poly_info
136{
137 int seps[MAX_TYPES];
138 int degrees[MAX_TYPES];
139};
140
141static const struct random_poly_info random_poly_info =
142{
143 { SEP_0, SEP_1, SEP_2, SEP_3, SEP_4 },
144 { DEG_0, DEG_1, DEG_2, DEG_3, DEG_4 }
145};
146
147
148
149
150/* Initialize the random number generator based on the given seed. If the
151 type is the trivial no-state-information type, just remember the seed.
152 Otherwise, initializes state[] based on the given "seed" via a linear
153 congruential generator. Then, the pointers are set to known locations
154 that are exactly rand_sep places apart. Lastly, it cycles the state
155 information a given number of times to get rid of any initial dependencies
156 introduced by the L.C.R.N.G. Note that the initialization of randtbl[]
157 for default usage relies on values produced by this routine. */
158int srandom_r (unsigned int seed, struct random_data *buf)
159{
160 int type;
161 int32_t *state;
162 long int i;
163 int32_t word;
164 int32_t *dst;
165 int kc;
166
167 if (buf == NULL)
168 goto fail;
169 type = buf->rand_type;
170 if ((unsigned int) type >= MAX_TYPES)
171 goto fail;
172
173 state = buf->state;
174 /* We must make sure the seed is not 0. Take arbitrarily 1 in this case. */
175 if (seed == 0)
176 seed = 1;
177 state[0] = seed;
178 if (type == TYPE_0)
179 goto done;
180
181 dst = state;
182 word = seed;
183 kc = buf->rand_deg;
184 for (i = 1; i < kc; ++i)
185 {
186 /* This does:
187 state[i] = (16807 * state[i - 1]) % 2147483647;
188 but avoids overflowing 31 bits. */
189 long int hi = word / 127773;
190 long int lo = word % 127773;
191 word = 16807 * lo - 2836 * hi;
192 if (word < 0)
193 word += 2147483647;
194 *++dst = word;
195 }
196
197 buf->fptr = &state[buf->rand_sep];
198 buf->rptr = &state[0];
199 kc *= 10;
200 while (--kc >= 0)
201 {
202 int32_t discard;
203 (void) random_r (buf, &discard);
204 }
205
206 done:
207 return 0;
208
209 fail:
210 return -1;
211}
212
213/* Initialize the state information in the given array of N bytes for
214 future random number generation. Based on the number of bytes we
215 are given, and the break values for the different R.N.G.'s, we choose
216 the best (largest) one we can and set things up for it. srandom is
217 then called to initialize the state information. Note that on return
218 from srandom, we set state[-1] to be the type multiplexed with the current
219 value of the rear pointer; this is so successive calls to initstate won't
220 lose this information and will be able to restart with setstate.
221 Note: The first thing we do is save the current state, if any, just like
222 setstate so that it doesn't matter when initstate is called.
223 Returns 0 on success, non-zero on failure. */
224int initstate_r (unsigned int seed,
225 char *arg_state,
226 size_t n,
227 struct random_data *buf)
228{
229 if (buf == NULL)
230 goto fail;
231
232 int32_t *old_state = buf->state;
233 if (old_state != NULL)
234 {
235 int old_type = buf->rand_type;
236 if (old_type == TYPE_0)
237 old_state[-1] = TYPE_0;
238 else
239 old_state[-1] = (MAX_TYPES * (buf->rptr - old_state)) + old_type;
240 }
241
242 int type;
243 if (n >= BREAK_3)
244 type = n < BREAK_4 ? TYPE_3 : TYPE_4;
245 else if (n < BREAK_1)
246 {
247 if (n < BREAK_0)
248 goto fail;
249
250 type = TYPE_0;
251 }
252 else
253 type = n < BREAK_2 ? TYPE_1 : TYPE_2;
254
255 int degree = random_poly_info.degrees[type];
256 int separation = random_poly_info.seps[type];
257
258 buf->rand_type = type;
259 buf->rand_sep = separation;
260 buf->rand_deg = degree;
261 int32_t *state = &((int32_t *) arg_state)[1]; /* First location. */
262 /* Must set END_PTR before srandom. */
263 buf->end_ptr = &state[degree];
264
265 buf->state = state;
266
267 srandom_r (seed, buf);
268
269 state[-1] = TYPE_0;
270 if (type != TYPE_0)
271 state[-1] = (buf->rptr - state) * MAX_TYPES + type;
272
273 return 0;
274
275 fail:
276 __set_errno (EINVAL);
277 return -1;
278}
279
280/* Restore the state from the given state array.
281 Note: It is important that we also remember the locations of the pointers
282 in the current state information, and restore the locations of the pointers
283 from the old state information. This is done by multiplexing the pointer
284 location into the zeroth word of the state information. Note that due
285 to the order in which things are done, it is OK to call setstate with the
286 same state as the current state
287 Returns 0 on success, non-zero on failure. */
288int setstate_r (char *arg_state, struct random_data *buf)
289{
290 int32_t *new_state = 1 + (int32_t *) arg_state;
291 int type;
292 int old_type;
293 int32_t *old_state;
294 int degree;
295 int separation;
296
297 if (arg_state == NULL || buf == NULL)
298 goto fail;
299
300 old_type = buf->rand_type;
301 old_state = buf->state;
302 if (old_type == TYPE_0)
303 old_state[-1] = TYPE_0;
304 else
305 old_state[-1] = (MAX_TYPES * (buf->rptr - old_state)) + old_type;
306
307 type = new_state[-1] % MAX_TYPES;
308 if (type < TYPE_0 || type > TYPE_4)
309 goto fail;
310
311 buf->rand_deg = degree = random_poly_info.degrees[type];
312 buf->rand_sep = separation = random_poly_info.seps[type];
313 buf->rand_type = type;
314
315 if (type != TYPE_0)
316 {
317 int rear = new_state[-1] / MAX_TYPES;
318 buf->rptr = &new_state[rear];
319 buf->fptr = &new_state[(rear + separation) % degree];
320 }
321 buf->state = new_state;
322 /* Set end_ptr too. */
323 buf->end_ptr = &new_state[degree];
324
325 return 0;
326
327 fail:
328 __set_errno (EINVAL);
329 return -1;
330}
331
332/* If we are using the trivial TYPE_0 R.N.G., just do the old linear
333 congruential bit. Otherwise, we do our fancy trinomial stuff, which is the
334 same in all the other cases due to all the global variables that have been
335 set up. The basic operation is to add the number at the rear pointer into
336 the one at the front pointer. Then both pointers are advanced to the next
337 location cyclically in the table. The value returned is the sum generated,
338 reduced to 31 bits by throwing away the "least random" low bit.
339 Note: The code takes advantage of the fact that both the front and
340 rear pointers can't wrap on the same call by not testing the rear
341 pointer if the front one has wrapped. Returns a 31-bit random number. */
342
343int random_r (struct random_data *buf, int32_t *result)
344{
345 int32_t *state;
346
347 if (buf == NULL || result == NULL)
348 goto fail;
349
350 state = buf->state;
351
352 if (buf->rand_type == TYPE_0)
353 {
354 int32_t val = state[0];
355 val = ((state[0] * 1103515245) + 12345) & 0x7fffffff;
356 state[0] = val;
357 *result = val;
358 }
359 else
360 {
361 int32_t *fptr = buf->fptr;
362 int32_t *rptr = buf->rptr;
363 int32_t *end_ptr = buf->end_ptr;
364 int32_t val;
365
366 val = *fptr += *rptr;
367 /* Chucking least random bit. */
368 *result = (val >> 1) & 0x7fffffff;
369 ++fptr;
370 if (fptr >= end_ptr)
371 {
372 fptr = state;
373 ++rptr;
374 }
375 else
376 {
377 ++rptr;
378 if (rptr >= end_ptr)
379 rptr = state;
380 }
381 buf->fptr = fptr;
382 buf->rptr = rptr;
383 }
384 return 0;
385
386 fail:
387 __set_errno (EINVAL);
388 return -1;
389}
390
391int windows_random_r;
392#endif \ No newline at end of file
diff --git a/packages/base/src/Internal/C/windows_random_r.h b/packages/base/src/Internal/C/windows_random_r.h
new file mode 100644
index 0000000..4f4d32f
--- /dev/null
+++ b/packages/base/src/Internal/C/windows_random_r.h
@@ -0,0 +1,35 @@
1#if defined(_WIN32) || defined(WIN32)
2
3#ifndef WINDOWS_RANDOM_R_H
4#define WINDOWS_RANDOM_R_H
5
6#include <stddef.h>
7
8#define EINVAL 23
9
10typedef int int32_t;
11
12struct random_data
13{
14 int *fptr; /* Front pointer. */
15 int *rptr; /* Rear pointer. */
16 int *state; /* Array of state values. */
17 int rand_type; /* Type of random number generator. */
18 int rand_deg; /* Degree of random number generator. */
19 int rand_sep; /* Distance between front and rear. */
20 int *end_ptr; /* Pointer behind state table. */
21};
22
23extern int windows_random_r_errno;
24
25static inline void __set_errno(int err) { windows_random_r_errno = err; };
26
27int random_r (struct random_data *buf, int32_t *result);
28
29int initstate_r (unsigned int seed,
30 char *arg_state,
31 /*unsigned long*/ size_t n,
32 struct random_data *buf);
33
34#endif
35#endif \ No newline at end of file