[stm] strange behavior with TQueue and STM's alternative instance

Simon Marlow marlowsd at gmail.com
Mon Dec 10 16:35:55 CET 2012

On 10/12/12 15:07, Bas van Dijk wrote:
> On 10 December 2012 15:20, Simon Marlow <marlowsd at gmail.com> wrote:
>> I don't think reading or writing in the inner transaction affects the bug,
> If you don't read or write in the inner transaction, like in the
> following example, the program correctly prints 2:

Sorry, I should have said that more clearly.  I meant to say: I don't 
think it makes a difference whether you read or write in the inner 
transaction.  So yes, you need either a read or a write.


More information about the Libraries mailing list