E.g. in java you can mess up your logic with data races, but the racing itself is safe and can never cause the VM to enter an invalid state.