Une condition dans laquelle deux ou plusieurs threads peuvent atteindre et exécuter un bloc de code, et les résultats de programme changement radicalement selon le thread qui atteint le code tout d'abord. Une condition de concurrence critique est bénigne si tous les résultats sont valides. Toutefois, les conditions de course peuvent être associées à des erreurs de synchronisation qui peuvent donner lieu à un processus d'interférer avec un autre processus et éventuellement introduire une vulnérabilité. Souvent, un résultat possible d'une condition de concurrence critique quitte le programme dans un état instable ou non valide.