Races occur due to internal program behavior that is different with exactly the same external inputs. In your packets example, if we were to feed the external

Races occur due to internal program behavior that is different with exactly the same external inputs. In your packets example, if we were to feed the external inputs through a record/replay mechanism we could debug the multi-threaded program reliably and deterministically.