The problem with typical OS-provided mutex is that it is almost always in some way distinctly non-cheap either because of the particular implementation or becau

The problem with typical OS-provided mutex is that it is almost always in some way distinctly non-cheap either because of the particular implementation or because of limitations imposed by ABI/API compatibility (and in some case both).