mutex analysis success