On 08/17/2011 02:39 AM, Mathieu Desnoyers wrote:
Even though the current promela model does not model the memory
ordering, I feel confident enough now, after reviewing the model and
this implementation, that it is OK. So I'll pull this patch, thanks !
It gets me wondering though.. we might want to create a wait/wakeup
abstraction within urcu, as this is getting a common use-case.
Yes, totally. I'll try to clean up my QEMU code.
Paolo
_______________________________________________
ltt-dev mailing list
[email protected]
http://lists.casi.polymtl.ca/cgi-bin/mailman/listinfo/ltt-dev
