Data race and mutex