|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
The xoroshiro+ (not ++) generator(s) of Blackman and Vigna's Scrambled Linear Pseudorandom Number Generators (https://arxiv.org/abs/1805.01407, Figure 1). More...
#include <xoroshiro.h>
Public Member Functions | |
| XorOshiro (State x=5489, State y=0) | |
| void | set_state (State nx, State ny=0) |
| Result | next () |
| Result | operator() () |
| void | jump () |
| Jump. | |
| void | long_jump () |
| Jump a really long way. | |
The xoroshiro+ (not ++) generator(s) of Blackman and Vigna's Scrambled Linear Pseudorandom Number Generators (https://arxiv.org/abs/1805.01407, Figure 1).
This spelling is parameterized on the type of the two state variables used internally (State), the type of each sample (Result), and the seed state values (A, B, C).
Definition at line 45 of file xoroshiro.h.
|
inline |
Definition at line 89 of file xoroshiro.h.
|
inline |
Jump.
If supported, this is equivalent to 2^64 calls to next().
Definition at line 134 of file xoroshiro.h.
Referenced by ds::xoroshiro::detail::XorOshiro< uint64_t, uint64_t, 24, 16, 37, 0xdf900294d8f554a5, 0x170865df4b3201fc, 0xd2a98b26625eee7b, 0xdddf9b1090aa7ac1 >::jump(), and ds::xoroshiro::detail::XorOshiro< uint64_t, uint64_t, 24, 16, 37, 0xdf900294d8f554a5, 0x170865df4b3201fc, 0xd2a98b26625eee7b, 0xdddf9b1090aa7ac1 >::long_jump().
|
inline |
Jump a really long way.
If supported, this is equivalent to 2^96 calls to next().
Definition at line 144 of file xoroshiro.h.
|
inline |
Definition at line 109 of file xoroshiro.h.
|
inline |
Definition at line 126 of file xoroshiro.h.
|
inline |
Definition at line 98 of file xoroshiro.h.