The unpac monorepo manager self-hosting as a monorepo using unpac
eio_linux: avoid triggering a TSan warning
TSan warns that setting `statx_works` races with users of it. This isn't
really a problem, because we always set it to the same value, but it's
distracting when looking for other bugs.
Reported by Anil Madhavapeddy in #751.
+4
-1
+4
-1
lib_eio_linux/sched.ml
+4
-1
lib_eio_linux/sched.ml
···
521
521
Uring.exit uring;
522
522
fallback (`Msg "Linux >= 5.15 is required for io_uring support")
523
523
) else (
524
-
statx_works := Uring.op_supported probe Uring.Op.msg_ring;
524
+
(* The reason for an if here is to make sure we only set it once, when
525
+
the first domain is starting. This is just to avoid a tsan warning. *)
526
+
if not !statx_works && Uring.op_supported probe Uring.Op.msg_ring then
527
+
statx_works := true;
525
528
match
526
529
let mem =
527
530
let fixed_buf_len = block_size * n_blocks in