Skip to content

Commit

Permalink
implement xoshiro256++ (#9298)
Browse files Browse the repository at this point in the history
Implement xoshiro256++
  • Loading branch information
leesongun authored Jul 4, 2021
1 parent 8a86338 commit da2ca44
Show file tree
Hide file tree
Showing 2 changed files with 151 additions and 0 deletions.
1 change: 1 addition & 0 deletions lib/std/rand.zig
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@ pub const Isaac64 = @import("rand/Isaac64.zig");
pub const Gimli = @import("rand/Gimli.zig");
pub const Pcg = @import("rand/Pcg.zig");
pub const Xoroshiro128 = @import("rand/Xoroshiro128.zig");
pub const Xoshiro256 = @import("rand/Xoshiro256.zig");
pub const Sfc64 = @import("rand/Sfc64.zig");

pub const Random = struct {
Expand Down
150 changes: 150 additions & 0 deletions lib/std/rand/Xoshiro256.zig
Original file line number Diff line number Diff line change
@@ -0,0 +1,150 @@
// SPDX-License-Identifier: MIT
// Copyright (c) 2015-2021 Zig Contributors
// This file is part of [zig](https://ziglang.org/), which is MIT licensed.
// The MIT license requires this copyright notice to be included in all copies
// and substantial portions of the software.

//! Xoshiro256++ - http://xoroshiro.di.unimi.it/
//!
//! PRNG

const std = @import("std");
const Random = std.rand.Random;
const math = std.math;
const Xoshiro256 = @This();

random: Random,

s: [4]u64,

pub fn init(init_s: u64) Xoshiro256 {
var x = Xoshiro256{
.random = Random{ .fillFn = fill },
.s = undefined,
};

x.seed(init_s);
return x;
}

fn next(self: *Xoshiro256) u64 {
const r = math.rotl(u64, self.s[0] +% self.s[3], 23) +% self.s[0];

const t = self.s[1] << 17;

self.s[2] ^= self.s[0];
self.s[3] ^= self.s[1];
self.s[1] ^= self.s[2];
self.s[0] ^= self.s[3];

self.s[2] ^= t;

self.s[3] = math.rotl(u64, self.s[3], 45);

return r;
}

// Skip 2^128 places ahead in the sequence
fn jump(self: *Xoshiro256) void {
var s: u256 = 0;

var table: u256 = 0x39abdc4529b1661ca9582618e03fc9aad5a61266f0c9392c180ec6d33cfd0aba;

while (table != 0) : (table >>= 1) {
if (@truncate(u1, table) != 0) {
s ^= @bitCast(u256, self.s);
}
_ = self.next();
}

self.s = @bitCast([4]u64, s);
}

pub fn seed(self: *Xoshiro256, init_s: u64) void {
// Xoshiro requires 256-bits of seed.
var gen = std.rand.SplitMix64.init(init_s);

self.s[0] = gen.next();
self.s[1] = gen.next();
self.s[2] = gen.next();
self.s[3] = gen.next();
}

fn fill(r: *Random, buf: []u8) void {
const self = @fieldParentPtr(Xoshiro256, "random", r);

var i: usize = 0;
const aligned_len = buf.len - (buf.len & 7);

// Complete 8 byte segments.
while (i < aligned_len) : (i += 8) {
var n = self.next();
comptime var j: usize = 0;
inline while (j < 8) : (j += 1) {
buf[i + j] = @truncate(u8, n);
n >>= 8;
}
}

// Remaining. (cuts the stream)
if (i != buf.len) {
var n = self.next();
while (i < buf.len) : (i += 1) {
buf[i] = @truncate(u8, n);
n >>= 8;
}
}
}

test "xoroshiro sequence" {
var r = Xoshiro256.init(0);

const seq1 = [_]u64{
0x53175d61490b23df,
0x61da6f3dc380d507,
0x5c0fdf91ec9a7bfc,
0x02eebf8c3bbe5e1a,
0x7eca04ebaf4a5eea,
0x0543c37757f08d9a,
};

for (seq1) |s| {
try std.testing.expect(s == r.next());
}

r.jump();

const seq2 = [_]u64{
0xae1db5c5e27807be,
0xb584c6a7fd8709fe,
0xc46a0ee9330fb6e,
0xdc0c9606f49ed76e,
0x1f5bb6540f6651fb,
0x72fa2ca734601488,
};

for (seq2) |s| {
try std.testing.expect(s == r.next());
}
}

test "xoroshiro fill" {
var r = Xoshiro256.init(0);

const seq = [_]u64{
0x53175d61490b23df,
0x61da6f3dc380d507,
0x5c0fdf91ec9a7bfc,
0x02eebf8c3bbe5e1a,
0x7eca04ebaf4a5eea,
0x0543c37757f08d9a,
};

for (seq) |s| {
var buf0: [8]u8 = undefined;
var buf1: [7]u8 = undefined;
std.mem.writeIntLittle(u64, &buf0, s);
Xoshiro256.fill(&r.random, &buf1);
try std.testing.expect(std.mem.eql(u8, buf0[0..7], buf1[0..]));
}
}

0 comments on commit da2ca44

Please sign in to comment.