Currently, block layer APIs like block-backend.h contain a mix of
functions that are either running in the main loop and under the
BQL, or are thread-safe functions and run in iothreads performing I/O.
The functions running under BQL also take care of modifying the
block graph, by using drain and/or aio_context_acquire/release.
This makes it very confusing to understand where each function
runs, and what assumptions it provided with regards to thread
safety.
We call the functions running under BQL "global state (GS) API", and
distinguish them from the thread-safe "I/O API".
The aim of this series is to split the relevant block headers in
global state and I/O sub-headers. The division will be done in
this way:
header.h will be split in header-global-state.h, header-io.h and
header-common.h. The latter will just contain the data structures
needed by header-global-state and header-io, and common helpers
that are neither in GS nor in I/O. header.h will stay for
legacy and to avoid changing all includes in all QEMU c files,
but will only include the two new headers. No function shall be
added in header.c .
Once we split all relevant headers, it will be much easier to see what
uses the AioContext lock and remove it, which is the overall main
goal of this and other series that I posted/will post.
In addition to splitting the relevant headers shown in this series,
it is also very helpful splitting the function pointers in some
block structures, to understand what runs under AioContext lock and
what doesn't. This is what patches 19-25 do.
Each function in the GS API will have an assertion, checking
that it is always running under BQL.
I/O functions are instead thread safe (or so should be), meaning
that they *can* run under BQL, but also in an iothread in another
AioContext. Therefore they do not provide any assertion, and
need to be audited manually to verify the correctness.
Adding assetions has helped finding 2 bugs already, as shown in
my series "Migration: fix missing iothread locking". This series
depends on those two fixes, as some assertions will fail because
some iothread locks are missing.
Tested this series by running unit tests, qemu-iotests and qtests
(x86_64)
Some functions in the GS API are used everywhere but not
properly tested. Therefore their assertion is never actually run in
the tests, so despite my very careful auditing, it is not impossible
to exclude that some will trigger while actually using QEMU.
Patch 1 introduces qemu_in_main_thread(), the function used in
all assertions. This had to be introduced otherwise all unit tests
would fail, since they run in the main loop but use the code in
stubs/iothread.c
Patches 2-14 and 19-25 (with the exception of patch 9, that is an additional
assert) are all structured in the same way: first we split the header
and in the next (even) patch we add assertions.
The rest of the patches ontain either both assertions and split,
or have no assertions.
Next steps once this get reviewed:
1) audit the GS API and replace the AioContext lock with drains,
or remove them when not necessary (requires further discussion).
2) [optional as it should be already the case] audit the I/O API
and check that thread safety is guaranteed
Based-on: <20211005080751.3797161-1-eespo...@redhat.com>
Signed-off-by: Emanuele Giuseppe Esposito <eespo...@redhat.com>
---
v1 -> v2:
* remove the iothread locking bug fix, and send it as separate patch
* rename graph API -> global state API
* better documented patch 1 (qemu_in_main_thread)
* add and split all other block layer headers
* fix warnings given by checkpatch on multiline comments
Emanuele Giuseppe Esposito (25):
main-loop.h: introduce qemu_in_main_thread()
include/sysemu/block-backend: split header into I/O and global state
(GS) API
block/block-backend.c: assertions for block-backend
include/block/block: split header into I/O and global state API
assertions for block global state API
include/block/block_int: split header into I/O and global state API
assertions for block_int global state API
block: introduce assert_bdrv_graph_writable
include/block/blockjob_int.h: split header into I/O and GS API
assertions for blockjob_int.h
include/block/blockjob.h: global state API
assertions for blockob.h global state API
include/systemu/blockdev.h: global state API
assertions for blockdev.h global state API
include/block/snapshot: global state API + assertions
block/backup-top.h: global state API + assertions
include/block/transactions: global state API + assertions
block/coroutines: I/O API
block_int-common.h: split function pointers in BlockDriver
block_int-common.h: assertion in the callers of BlockDriver function
pointers
block_int-common.h: split function pointers in BdrvChildClass
block_int-common.h: assertions in the callers of BdrvChildClass
function pointers
block-backend-common.h: split function pointers in BlockDevOps
job.h: split function pointers in JobDriver
job.h: assertions in the callers of JobDriver funcion pointers
block.c | 186 ++-
block/backup-top.c | 2 +
block/backup-top.h | 11 +
block/backup.c | 1 +
block/block-backend.c | 104 +-
block/commit.c | 4 +
block/coroutines.h | 6 +
block/dirty-bitmap.c | 2 +
block/io.c | 31 +
block/meson.build | 7 +-
block/mirror.c | 4 +
block/monitor/bitmap-qmp-cmds.c | 6 +
block/snapshot.c | 28 +
block/stream.c | 2 +
blockdev.c | 25 +
blockjob.c | 14 +
include/block/block-common.h | 389 +++++
include/block/block-global-state.h | 263 ++++
include/block/block-io.h | 278 ++++
include/block/block.h | 859 +----------
include/block/block_int-common.h | 1179 ++++++++++++++++
include/block/block_int-global-state.h | 352 +++++
include/block/block_int-io.h | 124 ++
include/block/block_int.h | 1412 +------------------
include/block/blockjob.h | 23 +
include/block/blockjob_int.h | 55 +
include/block/snapshot.h | 21 +
include/qemu/job.h | 31 +
include/qemu/main-loop.h | 13 +
include/qemu/transactions.h | 24 +
include/sysemu/block-backend-common.h | 106 ++
include/sysemu/block-backend-global-state.h | 136 ++
include/sysemu/block-backend-io.h | 130 ++
include/sysemu/block-backend.h | 262 +---
include/sysemu/blockdev.h | 35 +-
job.c | 9 +
migration/savevm.c | 2 +
softmmu/cpus.c | 5 +
softmmu/qdev-monitor.c | 2 +
stubs/iothread-lock.c | 5 +
util/transactions.c | 4 +
41 files changed, 3615 insertions(+), 2537 deletions(-)
create mode 100644 include/block/block-common.h
create mode 100644 include/block/block-global-state.h
create mode 100644 include/block/block-io.h
create mode 100644 include/block/block_int-common.h
create mode 100644 include/block/block_int-global-state.h
create mode 100644 include/block/block_int-io.h
create mode 100644 include/sysemu/block-backend-common.h
create mode 100644 include/sysemu/block-backend-global-state.h
create mode 100644 include/sysemu/block-backend-io.h
--
2.27.0
