Testing mutex behaviors