ThreadSanitizer: data race detection in practice
What are race conditions?: Some issues and formalizations