Program logic bugs vs input/environmental errors

[via Digitalmars-d]

On Friday, 31 October 2014 at 21:33:22 UTC, H. S. Teoh via 
Digitalmars-d wrote:
> You're using a different definition of "component". An 
> inconsistency in
> a transaction is a problem with the input, not a problem with 
> the
> program logic itself. If something is wrong with the input, the 
> program
> can detect it and recover by aborting the transaction (rollback 
> the
> wrong data).

Transactions roll back when there is contention for resources 
and/or when you have any kind of integrity issue. That's why you 
have retries… so no, it is not only something wrong with the 
input. Something is temporarily wrong with the situation overall.