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
