mutex debugger