std: rewrite Mutex to use perfect synchronization