From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:39189) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZHsMi-00038M-SL for qemu-devel@nongnu.org; Wed, 22 Jul 2015 07:39:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZHsMe-0003PG-4n for qemu-devel@nongnu.org; Wed, 22 Jul 2015 07:39:12 -0400 Received: from mx1.redhat.com ([209.132.183.28]:55456) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZHsMe-0003OX-0a for qemu-devel@nongnu.org; Wed, 22 Jul 2015 07:39:08 -0400 Received: from int-mx09.intmail.prod.int.phx2.redhat.com (int-mx09.intmail.prod.int.phx2.redhat.com [10.5.11.22]) by mx1.redhat.com (Postfix) with ESMTPS id 69AE28C1B5 for ; Wed, 22 Jul 2015 11:39:07 +0000 (UTC) Date: Wed, 22 Jul 2015 12:39:05 +0100 From: Stefan Hajnoczi Message-ID: <20150722113905.GA6920@stefanha-thinkpad.redhat.com> References: <1437487673-23740-1-git-send-email-pbonzini@redhat.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="d6Gm4EdcadzBjdND" Content-Disposition: inline In-Reply-To: <1437487673-23740-1-git-send-email-pbonzini@redhat.com> Subject: Re: [Qemu-devel] [PATCH v4 0/6] AioContext: ctx->dispatching is dead, all hail ctx->notify_me List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Paolo Bonzini Cc: kwolf@redhat.com, famz@redhat.com, lersek@redhat.com, qemu-devel@nongnu.org, rjones@redhat.com --d6Gm4EdcadzBjdND Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Jul 21, 2015 at 04:07:47PM +0200, Paolo Bonzini wrote: > This puts together all pending fixes in a single series. >=20 > Paolo >=20 > 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] >=20 > v2->v3 > Decrement notify_me a little earlier in aio-posix.c. >=20 > v3->v4 > Include 'qemu-timer: initialize "timers_done_ev" to set' [Peter] > Include fix and optimization for broken event_notifier_test_and_c= lear >=20 > 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 >=20 > 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 Thanks, applied to my block tree: https://github.com/stefanha/qemu/commits/block Stefan --d6Gm4EdcadzBjdND Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBAgAGBQJVr4DZAAoJEJykq7OBq3PIDxYIAL/YzUxhOhR7bD5FLvX1tB7l dMFR+m5s8J2IRM03OoCY0RGSRfx6vilkmyYCg2l1EksbKwznb6oKBZPId1Q9lk1D fjkBBMj1xE6+MLom3CfVBeMyIWyKTepRuI9qVvXhnLbKgEfhGjaiyRKRWl8zL33I /9KRijIusPKXPF6PzwZr4L51lES/4njm1nya1JkAp0QS8oo5RHFkpvTm0X8/1KgX Cn+jMu8zSwEN7TJ7W/uVSiL38iupcE7uhoamwgqV+ZwkwldQwxczo9jw/+jScg1i 9XmbSXAZPmyfpuR0iAcseM4/Egjr49yC+duOt0jyf/MtXv+fdxuMC5I+ibeAQOI= =C7/A -----END PGP SIGNATURE----- --d6Gm4EdcadzBjdND--