2016-01-02 23:30:41 -08:00
|
|
|
// Mersenne Twister
|
2016-01-22 22:24:09 -08:00
|
|
|
const ARRAY_SIZE = 624;
|
2016-01-02 23:30:41 -08:00
|
|
|
|
|
|
|
/// Use `rand_init` to initialize this state.
|
2016-01-06 03:41:11 -08:00
|
|
|
pub struct Rand {
|
2016-01-09 23:03:31 -08:00
|
|
|
array: [ARRAY_SIZE]u32,
|
2016-01-22 22:24:09 -08:00
|
|
|
index: isize,
|
2016-01-02 23:30:41 -08:00
|
|
|
|
|
|
|
/// Get 32 bits of randomness.
|
2016-01-25 16:06:19 -08:00
|
|
|
pub fn get_u32(r: &Rand) -> u32 {
|
2016-01-02 23:30:41 -08:00
|
|
|
if (r.index == 0) {
|
|
|
|
r.generate_numbers();
|
|
|
|
}
|
|
|
|
|
|
|
|
// temper the number
|
|
|
|
var y : u32 = r.array[r.index];
|
|
|
|
y ^= y >> 11;
|
|
|
|
y ^= (y >> 7) & 0x9d2c5680;
|
|
|
|
y ^= (y >> 15) & 0xefc60000;
|
|
|
|
y ^= y >> 18;
|
|
|
|
|
|
|
|
r.index = (r.index + 1) % ARRAY_SIZE;
|
|
|
|
return y;
|
|
|
|
}
|
|
|
|
|
2016-01-05 21:47:47 -08:00
|
|
|
/// Fill `buf` with randomness.
|
2016-01-25 16:06:19 -08:00
|
|
|
pub fn get_bytes(r: &Rand, buf: []u8) {
|
2016-01-05 21:47:47 -08:00
|
|
|
var bytes_left = r.get_bytes_aligned(buf);
|
2016-01-02 23:30:41 -08:00
|
|
|
if (bytes_left > 0) {
|
2016-01-25 22:56:46 -08:00
|
|
|
var rand_val_array : [@sizeof(u32)]u8 = undefined;
|
2016-01-14 01:52:33 -08:00
|
|
|
*((&u32)(rand_val_array.ptr)) = r.get_u32();
|
2016-01-02 23:30:41 -08:00
|
|
|
while (bytes_left > 0) {
|
2016-01-13 17:15:51 -08:00
|
|
|
buf[buf.len - bytes_left] = rand_val_array[@sizeof(u32) - bytes_left];
|
2016-01-02 23:30:41 -08:00
|
|
|
bytes_left -= 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Get a random unsigned integer with even distribution between `start`
|
|
|
|
/// inclusive and `end` exclusive.
|
2016-01-25 16:06:19 -08:00
|
|
|
pub fn range_u64(r: &Rand, start: u64, end: u64) -> u64 {
|
2016-01-02 23:30:41 -08:00
|
|
|
const range = end - start;
|
2016-01-13 17:15:51 -08:00
|
|
|
const leftover = @max_value(u64) % range;
|
|
|
|
const upper_bound = @max_value(u64) - leftover;
|
2016-01-25 22:56:46 -08:00
|
|
|
var rand_val_array : [@sizeof(u64)]u8 = undefined;
|
2016-01-02 23:30:41 -08:00
|
|
|
|
|
|
|
while (true) {
|
2016-01-05 21:47:47 -08:00
|
|
|
r.get_bytes_aligned(rand_val_array);
|
2016-01-15 17:41:19 -08:00
|
|
|
const rand_val = *(&u64)(rand_val_array.ptr);
|
2016-01-02 23:30:41 -08:00
|
|
|
if (rand_val < upper_bound) {
|
|
|
|
return start + (rand_val % range);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-25 16:06:19 -08:00
|
|
|
fn generate_numbers(r: &Rand) {
|
2016-01-18 06:04:57 -08:00
|
|
|
for (item, r.array, i) {
|
|
|
|
const y : u32 = (item & 0x80000000) + (r.array[(i + 1) % ARRAY_SIZE] & 0x7fffffff);
|
2016-01-02 23:30:41 -08:00
|
|
|
const untempered : u32 = r.array[(i + 397) % ARRAY_SIZE] ^ (y >> 1);
|
|
|
|
r.array[i] = if ((y % 2) == 0) {
|
|
|
|
untempered
|
|
|
|
} else {
|
|
|
|
// y is odd
|
|
|
|
untempered ^ 0x9908b0df
|
|
|
|
};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-05 21:47:47 -08:00
|
|
|
// does not populate the remaining (buf.len % 4) bytes
|
2016-01-25 16:06:19 -08:00
|
|
|
fn get_bytes_aligned(r: &Rand, buf: []u8) -> isize {
|
2016-01-05 21:47:47 -08:00
|
|
|
var bytes_left = buf.len;
|
2016-01-06 02:53:30 -08:00
|
|
|
while (bytes_left >= 4) {
|
2016-01-14 01:52:33 -08:00
|
|
|
*((&u32)(&buf[buf.len - bytes_left])) = r.get_u32();
|
2016-01-13 17:15:51 -08:00
|
|
|
bytes_left -= @sizeof(u32);
|
2016-01-02 23:30:41 -08:00
|
|
|
}
|
|
|
|
return bytes_left;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-24 18:27:12 -08:00
|
|
|
/// Initialize random state with the given seed.
|
2016-01-25 16:06:19 -08:00
|
|
|
pub fn rand_new(seed: u32) -> Rand {
|
2016-01-25 22:56:46 -08:00
|
|
|
var r: Rand = undefined;
|
2016-01-24 18:27:12 -08:00
|
|
|
r.index = 0;
|
|
|
|
r.array[0] = seed;
|
|
|
|
var i : isize = 1;
|
|
|
|
var prev_value: u64 = seed;
|
|
|
|
while (i < ARRAY_SIZE) {
|
|
|
|
r.array[i] = u32((prev_value ^ (prev_value << 30)) * 0x6c078965 + u32(i));
|
|
|
|
prev_value = r.array[i];
|
|
|
|
i += 1;
|
|
|
|
}
|
|
|
|
return r;
|
|
|
|
}
|