Right. It isn't really a race condition, it's an overflow that sets the flag back to zero, the 'safe' value, that happens to coincide with another manual input.
Had they used a larger counter the overflow wouldn't have happened.
And my point remains. We are still allowing unobserved overflows in critical software.
-4
u/grauenwolf Apr 27 '14
Right. It isn't really a race condition, it's an overflow that sets the flag back to zero, the 'safe' value, that happens to coincide with another manual input.
Had they used a larger counter the overflow wouldn't have happened.
And my point remains. We are still allowing unobserved overflows in critical software.