Implement our own PRNG for rayon-core #571
Conversation
Our need for randomness is very simple, just to spread the work-stealing somewhat equally across all possible victims. Rather than worrying about compatibility and updates to the `rand` crate, we now implement a simple `xorshift*` generator for this. We keep `rand` only as a dev- dependency for testing purposes.
rayon-core/src/registry.rs
Outdated
| // we're only calling this once from each new thread. The address is also shift-XORed to | ||
| // give us some high bits even on 32-bit platforms. | ||
| let base = 0; | ||
| let addr = &base as *const _ as u64; |
There was a problem hiding this comment.
Hmm. I'm not crazy about this technique for getting a pointer into the stack. It feels fragile in the face of potential Rust unsafe code guidelines — e.g., I could sort of imagine base getting promoted to read-only memory or something. But probably we wouldn't be able to get away with such a rule anyway. It might be nice to have some kind of intrinsic for "random stack address", though — this is something I want to do from time to time. Anyhow I suppose it's fine "as is" for now, I filed https://github.com/nikomatsakis/rust-memory-model/issues/47 to track it and ponder it more deeply. =)
rayon-core/src/registry.rs
Outdated
| // give us some high bits even on 32-bit platforms. | ||
| let base = 0; | ||
| let addr = &base as *const _ as u64; | ||
| let seed = addr ^ (addr << 32); |
There was a problem hiding this comment.
Nit: can we add a assert!(seed != 0); just as a failsafe? (or debug_assert!)
rayon-core/src/registry.rs
Outdated
| rng.next_u32() % num_threads as u32 | ||
| } as usize; | ||
|
|
||
| let start = self.rng.next() as usize % num_threads; |
There was a problem hiding this comment.
Nit: since we control rng, why not add a nice wrapper function like self.rng.next_usize(num_threads) that hides all this modulo stuff?
|
OK, now I'm seeding with a hashed global counter. The counter gives us a unique start to each PRNG, and hashing that gives us a heap of independent bits. This will be somewhat reproducible between runs (modulo thread startup races), but we don't really care about that. |
|
bors r+ |
571: Implement our own PRNG for rayon-core r=nikomatsakis a=cuviper Our need for randomness is very simple, just to spread the work-stealing somewhat equally across all possible victims. Rather than worrying about compatibility and updates to the `rand` crate, we now implement a simple `xorshift*` generator for this. We keep `rand` only as a dev- dependency for testing purposes. Closes #570. Co-authored-by: Josh Stone <cuviper@gmail.com>
Our need for randomness is very simple, just to spread the work-stealing
somewhat equally across all possible victims. Rather than worrying
about compatibility and updates to the
randcrate, we now implement asimple
xorshift*generator for this. We keeprandonly as a dev-dependency for testing purposes.
Closes #570.