Transition to normal mutex.

...for performance reasons. May be better at all.