On Tue, 07/21 16:07, Paolo Bonzini wrote: > 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
Reviewed-by: Fam Zheng <f...@redhat.com> > > 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 > >
