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

[Fam Zheng <famz@redhat.com>]

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 <famz@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
> 
>