Wenbo Zhao wrote:
> I was talking about this example by
> 2009/9/19 Igor Tandetnik <itandet...@mvps.org>
> "Imagine the
> classic example, where a transaction first verifies that the balance
> in a bank account is sufficient, then performs a withdrawal. If it
> relinquishes all locks between these two steps, then somebody else may
> record a withdrawal from that account, so that the write operation
> would then make the balance negative, thus violating an invariant."
>
> What I want to say is in this example, there should be only one step,
> because the transaction knows it will do 'write'.

Not necessarily. It won't do the write if it discovers in the first step 
that the balance is, in fact, insufficient.

Igor Tandetnik 



_______________________________________________
sqlite-users mailing list
sqlite-users@sqlite.org
http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users

Reply via email to