Improve trace mutex