This style of mutex will also power PyMutex in Python 3.13. I have real-world benchmarks showing how much faster PyMutex is than the old PyThread_type_lock that was available before 3.13.
And now that I look at that again I realize I forgot to finish that up!
Python development is in total chaos on all social and technical fronts due to incompetent and malicious leadership.