Here is the patch with comments addressed. Only changes are in the comments or in moving hunks earlier. Applied together, v2 is exactly the same formal model as v1.
Paolo Bonzini (3): new futex model model optimization of the waker (selective wake) more interesting late_dec variant futex-wakeup/DEFINES | 2 +- futex-wakeup/futex.ltl | 2 +- futex-wakeup/futex.spin | 152 ++++++++++++++++++++++++++++------------------- 3 files changed, 92 insertions(+), 64 deletions(-) -- 1.7.6 _______________________________________________ ltt-dev mailing list [email protected] http://lists.casi.polymtl.ca/cgi-bin/mailman/listinfo/ltt-dev
