use mutex again to protect rand_bytes state

shard over 8 distinct random generators, though.
This commit is contained in:
Simon Cruanes 2025-12-17 15:51:07 -05:00
parent e01a2f773b
commit 942a56c879
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
3 changed files with 20 additions and 11 deletions

View file

@ -1,38 +1,47 @@
let initialized_ = Atomic.make false open struct
let rand = Array.init 8 (fun _ -> Random.State.make_self_init ())
let[@inline never] actually_init () = Random.self_init () let mutex = Array.init 8 (fun _ -> Mutex.create ())
let[@inline] maybe_init () = let ( let@ ) = ( @@ )
if not (Atomic.exchange initialized_ true) then actually_init () end
(** What rand state do we use? *)
let[@inline] shard () : int = Thread.id (Thread.self ()) land 0b111
let default_rand_bytes_8 () : bytes = let default_rand_bytes_8 () : bytes =
maybe_init (); let shard = shard () in
let@ () = Util_mutex.protect mutex.(shard) in
let rand = rand.(shard) in
let b = Bytes.create 8 in let b = Bytes.create 8 in
for i = 0 to 1 do for i = 0 to 1 do
(* rely on the stdlib's [Random] being thread-or-domain safe *) (* rely on the stdlib's [Random] being thread-or-domain safe *)
let r = Random.bits () in let r = Random.State.bits rand in
(* 30 bits, of which we use 24 *) (* 30 bits, of which we use 24 *)
Bytes.set b (i * 3) (Char.chr (r land 0xff)); Bytes.set b (i * 3) (Char.chr (r land 0xff));
Bytes.set b ((i * 3) + 1) (Char.chr ((r lsr 8) land 0xff)); Bytes.set b ((i * 3) + 1) (Char.chr ((r lsr 8) land 0xff));
Bytes.set b ((i * 3) + 2) (Char.chr ((r lsr 16) land 0xff)) Bytes.set b ((i * 3) + 2) (Char.chr ((r lsr 16) land 0xff))
done; done;
let r = Random.bits () in let r = Random.State.bits rand in
Bytes.set b 6 (Char.chr (r land 0xff)); Bytes.set b 6 (Char.chr (r land 0xff));
Bytes.set b 7 (Char.chr ((r lsr 8) land 0xff)); Bytes.set b 7 (Char.chr ((r lsr 8) land 0xff));
b b
let default_rand_bytes_16 () : bytes = let default_rand_bytes_16 () : bytes =
maybe_init (); let shard = shard () in
let@ () = Util_mutex.protect mutex.(shard) in
let rand = rand.(shard) in
let b = Bytes.create 16 in let b = Bytes.create 16 in
for i = 0 to 4 do for i = 0 to 4 do
(* rely on the stdlib's [Random] being thread-or-domain safe *) let r = Random.State.bits rand in
let r = Random.bits () in
(* 30 bits, of which we use 24 *) (* 30 bits, of which we use 24 *)
Bytes.set b (i * 3) (Char.chr (r land 0xff)); Bytes.set b (i * 3) (Char.chr (r land 0xff));
Bytes.set b ((i * 3) + 1) (Char.chr ((r lsr 8) land 0xff)); Bytes.set b ((i * 3) + 1) (Char.chr ((r lsr 8) land 0xff));
Bytes.set b ((i * 3) + 2) (Char.chr ((r lsr 16) land 0xff)) Bytes.set b ((i * 3) + 2) (Char.chr ((r lsr 16) land 0xff))
done; done;
let r = Random.bits () in let r = Random.State.bits rand in
Bytes.set b 15 (Char.chr (r land 0xff)); Bytes.set b 15 (Char.chr (r land 0xff));
(* last byte *) (* last byte *)
b b