Is there a known recent Linux locking bug that affects the OCaml runtime?

What would Fedora and Ubuntu do? Do they know about the issue? Is there a way to raise awareness there?

Is the solution to fix the compiler to detect affected glibcs and use a different master locking mechanism (:scream:)?

It is possible to use a plain POSIX mutex as master lock, but fairness is awful.

Push OCaml users to install a glibc fork? SIOUs[1] will probably do it, but not very user friendly for the mainstream.

Some SIOUs are fond of Musl instead of Glibc.

3 Likes