https://gaultier.github.io/blog/what_should_your_mutexes_be_named.html
What should your mutexes be named? June 9, 2025 https://gaultier.github.io/blog/what_should_your_mutexes_be_named.html