[Qemu-devel] [PATCH v4 0/6] AioContext: ctx->dispatching is dead, all hail ctx->notify_me

[Paolo Bonzini]

This puts together all pending fixes in a single series.

Paolo

v1->v2
        Split some changes to the tests to a separate patch
        Fix commit message [Laszlo]
        Clarify do...while loop in aio-win32.c [Kevin]

v2->v3
        Decrement notify_me a little earlier in aio-posix.c.

v3->v4
        Include 'qemu-timer: initialize "timers_done_ev" to set' [Peter]
        Include fix and optimization for broken event_notifier_test_and_clear

Paolo Bonzini (6):
  qemu-timer: initialize "timers_done_ev" to set
  tests: remove irrelevant assertions from test-aio
  aio-win32: reorganize polling loop
  AioContext: fix broken ctx->dispatching optimization
  AioContext: fix broken placement of event_notifier_test_and_clear
  AioContext: optimize clearing the EventNotifier

 aio-posix.c                    |  20 +++---
 aio-win32.c                    |  48 +++++++------
 async.c                        |  35 ++++++----
 docs/aio_notify.promela        |  77 +++++++++------------
 docs/aio_notify_accept.promela | 152 +++++++++++++++++++++++++++++++++++++++++
 docs/aio_notify_bug.promela    | 140 +++++++++++++++++++++++++++++++++++++
 include/block/aio.h            |  61 +++++++++++++++--
 qemu-timer.c                   |   2 +-
 tests/test-aio.c               |  26 ++-----
 9 files changed, 441 insertions(+), 120 deletions(-)
 create mode 100644 docs/aio_notify_accept.promela
 create mode 100644 docs/aio_notify_bug.promela

-- 
2.4.3