Condiciones de carrera, bloques y métodos synchronized, y visibilidad

Una condición de carrera (race condition) ocurre cuando el resultado de un programa depende del momento impredecible en que se ejecutan hilos que comparten datos mutables. El caso de manual es count++ sobre un campo compartido. Parece un solo paso, pero son tres: leer count, sumar uno y volver a escribirlo. Si dos hilos leen el mismo valor antes de que cualquiera escriba, ambos escriben el mismo valor nuevo y se pierde un incremento. Ejecuta un millón de incrementos en dos hilos y el total suele ser menor que dos millones.