Well, T1's commit can take place after the flush(), as in the slide, or between the lock() and flush(). You cannot predict it. This is why you cann't guarantee that T1 or T2 is the one that will fail. This is confusing.
If not, i was waiting for your reply on my last post from the previous thread. Glad to hear from you.
[Message sent by forum member 'vladbalan' (vladbalan)]
http://forums.java.net/jive/thread.jspa?messageID=316663