--
You received this message because you are subscribed to the Google Groups "Deuce-STM" group.
To post to this group, send email to deuc...@googlegroups.com.
To unsubscribe from this group, send email to deuce-stm+...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/deuce-stm?hl=en.
Thanks for your reply.
I'm already using the latest version from the SVN(rev457).
It seems like a transaction never commits when a read-after-write occurs.
In TL2 ReadSet.checkClock, the method checks for the clock and the
lock of each read set,
but it does not check who is locking the field.
So when the field is locked by its own transaction, checkClock always fail.
2011/11/4 Guy Korland <gkor...@gmail.com>: