(This is a tracking issue for Random+Multicore, which we could act upon now that Multicore is merged in trunk.)

There is consensus that Random should "split" its global generator state when a new domain is spawned. There are two aspects to this:

• the domain-local-state API needs to support "splitting" functions; this was prototyped in RFC: generalize the Domain.DLS interface to split PRNG state for child domains ocaml-multicore/ocaml-multicore#756, submitted upstream as generalize the Domain.DLS interface to split PRNG state for child domains #10887
• the PRNG should change to a new algorithm where a splitting operation has been studied to be statistically robust; see [RFC] changing the Random PRNG to a splittable algorithm from PRINGO RFCs#28 and Reimplementation of Random using an LXM pseudo-random number generator #10742