[ltt-dev] [PATCH v2 0/3] improvements of the futex wakeup model and modeling of selective wakeup

[Paolo Bonzini]

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