[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v2 00/16] aio: first part of aio_context_acquire/rel
From: |
Paolo Bonzini |
Subject: |
[Qemu-devel] [PATCH v2 00/16] aio: first part of aio_context_acquire/release pushdown |
Date: |
Mon, 8 Feb 2016 17:14:51 +0100 |
This is the infrastructure part of the aio_context_acquire/release pushdown,
which in turn is the first step towards a real multiqueue block layer in
QEMU. The next step is to touch all the drivers and move calls to the
aio_context_acquire/release functions from aio-*.c to the drivers. This
will be done in a separate patch series, which I plan to post before soft
freeze.
While the inserted lines are a lot, more than half of it are in documentation
and formal models of the code, as well as in the implementation of the new
"lockcnt" synchronization primitive. The code is also very heavily commented.
The first four patches are new, as the issue they fix was found after posting
the previous patch. Everything else is more or less the same as before.
Paolo
v1->v2: Update documentation [Stefan]
Remove g_usleep from testcase [Stefan]
Paolo Bonzini (16):
aio: introduce aio_context_in_iothread
aio: do not really acquire/release the main AIO context
aio: introduce aio_poll_internal
aio: only call aio_poll_internal from iothread
iothread: release AioContext around aio_poll
qemu-thread: introduce QemuRecMutex
aio: convert from RFifoLock to QemuRecMutex
aio: rename bh_lock to list_lock
qemu-thread: introduce QemuLockCnt
aio: make ctx->list_lock a QemuLockCnt, subsuming ctx->walking_bh
qemu-thread: optimize QemuLockCnt with futexes on Linux
aio: tweak walking in dispatch phase
aio-posix: remove walking_handlers, protecting AioHandler list with list_lock
aio-win32: remove walking_handlers, protecting AioHandler list with list_lock
aio: document locking
aio: push aio_context_acquire/release down to dispatching
aio-posix.c | 86 +++++----
aio-win32.c | 106 ++++++-----
async.c | 279 +++++++++++++++++++++++----
block/io.c | 14 +-
docs/aio_poll_drain.promela | 210 +++++++++++++++++++++
docs/aio_poll_drain_bug.promela | 158 ++++++++++++++++
docs/aio_poll_sync_io.promela | 88 +++++++++
docs/lockcnt.txt | 342 ++++++++++++++++++++++++++++++++++
docs/multiple-iothreads.txt | 63 ++++---
include/block/aio.h | 69 ++++---
include/qemu/futex.h | 36 ++++
include/qemu/rfifolock.h | 54 ------
include/qemu/thread-posix.h | 6 +
include/qemu/thread-win32.h | 10 +
include/qemu/thread.h | 23 +++
iothread.c | 20 +-
stubs/iothread-lock.c | 5 +
tests/.gitignore | 1 -
tests/Makefile | 2 -
tests/test-aio.c | 22 ++-
tests/test-rfifolock.c | 91 ---------
trace-events | 10 +
util/Makefile.objs | 2 +-
util/lockcnt.c | 404 ++++++++++++++++++++++++++++++++++++++++
util/qemu-thread-posix.c | 38 ++--
util/qemu-thread-win32.c | 25 +++
util/rfifolock.c | 78 --------
27 files changed, 1792 insertions(+), 450 deletions(-)
create mode 100644 docs/aio_poll_drain.promela
create mode 100644 docs/aio_poll_drain_bug.promela
create mode 100644 docs/aio_poll_sync_io.promela
create mode 100644 docs/lockcnt.txt
create mode 100644 include/qemu/futex.h
delete mode 100644 include/qemu/rfifolock.h
delete mode 100644 tests/test-rfifolock.c
create mode 100644 util/lockcnt.c
delete mode 100644 util/rfifolock.c
--
2.5.0
- [Qemu-devel] [PATCH v2 00/16] aio: first part of aio_context_acquire/release pushdown,
Paolo Bonzini <=
- [Qemu-devel] [PATCH 03/16] aio: introduce aio_poll_internal, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 02/16] aio: do not really acquire/release the main AIO context, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 01/16] aio: introduce aio_context_in_iothread, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 06/16] qemu-thread: introduce QemuRecMutex, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 05/16] iothread: release AioContext around aio_poll, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 07/16] aio: convert from RFifoLock to QemuRecMutex, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 08/16] aio: rename bh_lock to list_lock, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 04/16] aio: only call aio_poll_internal from iothread, Paolo Bonzini, 2016/02/08
- [Qemu-devel] [PATCH 09/16] qemu-thread: introduce QemuLockCnt, Paolo Bonzini, 2016/02/08