mutex and recovery