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

Paolo Bonzini pbonzini at redhat.com
Wed Aug 17 04:28:11 EDT 2011

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(-)


More information about the lttng-dev mailing list