Commit da2ca447c8
Changed files (2)
lib
std
lib/std/rand/Xoshiro256.zig
@@ -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..]));
+ }
+}
lib/std/rand.zig
@@ -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 {