The change from v2 is very small, notify_me is decremented as soon as ppoll returns.
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. Paolo Bonzini (3): tests: remove irrelevant assertions from test-aio aio-win32: reorganize polling loop AioContext: fix broken ctx->dispatching optimization aio-posix.c | 18 +++++------- aio-win32.c | 41 ++++++++++++++------------ async.c | 21 +++++--------- docs/aio_notify.promela | 77 +++++++++++++++++++++---------------------------- include/block/aio.h | 29 +++++++++++++++---- tests/test-aio.c | 26 +++-------------- 6 files changed, 97 insertions(+), 115 deletions(-) -- 2.4.3