No, las asignaciones no son únicas (por ejemplo rotar los estados en un cuadrado te va a dar 4 asignaciones posibles y si no hay diagonales no hay carreras).
Lo único que importa para que no haya carreras es que no cambien 2 variables de estado a la vez.
Lo único que importa para que no haya carreras es que no cambien 2 variables de estado a la vez.