On 08/17/2011 03:03 AM, Mathieu Desnoyers wrote:
* Paolo Bonzini ([email protected]) wrote:
This patch changes the futex_progress_late_dec model to trigger a different
failure, a reordering of the waiting[] assignments vs. the gp_futex
assignment.
I'll rework this patch to create a supplementary error injection
instead (committed and pushed):
Thanks very much for all your support.
Paolo
_______________________________________________
ltt-dev mailing list
[email protected]
http://lists.casi.polymtl.ca/cgi-bin/mailman/listinfo/ltt-dev