[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-block] [PATCH v4 00/11] block: Deal with filters
From: |
Max Reitz |
Subject: |
[Qemu-block] [PATCH v4 00/11] block: Deal with filters |
Date: |
Wed, 10 Apr 2019 22:20:22 +0200 |
Note: This is technically the first part of my active mirror followup.
But just very technically. I noticed that that followup started to
consist of two parts, namely (A) fix filtery things in the block layer,
and (B) fix active mirror. So I decided to split it. This is part A.
Part B is “mirror: Mainly coroutine refinements”.
When we introduced filters, we did it a bit casually. Sure, we talked a
lot about them before, but that was mostly discussion about where
implicit filters should be added to the graph (note that we currently
only have two implicit filters, those being mirror and commit). But in
the end, we really just designated some drivers filters (Quorum,
blkdebug, etc.) and added some specifically (throttle, COR), without
really looking through the block layer to see where issues might occur.
It turns out vast areas of the block layer just don’t know about filters
and cannot really handle them. Many cases will work in practice, in
others, well, too bad, you cannot use some feature because some part
deep inside the block layer looks at your filters and thinks they are
format nodes.
This series sets out to correct a bit of that. I lost my head many
times and I’m sure this series is incomplete in many ways, but it really
doesn’t do any good if it sits on my disk any longer, it needs to go out
now.
The most important patches of this series are patches 2 and 3. These
introduce functions to encapsulate bs->backing and bs->file accesses.
Because sometimes, bs->backing means COW, sometimes it means filtered
node. And sometimes, bs->file means metadata storage, and sometimes it
means filtered node. With this functions, it’s always clear what the
caller wants, and it will always get what it wants.
Besides that, patch 2 introduces functions to skip filters which may be
used by parts of the block layer that just don’t care about them.
Secondly, the restraints put on mirror’s @replaces parameter are
revisited and fixed.
Thirdly, BDS.backing_file is changed to be constant. I don’t quite know
why we modify it whenever we change a BDS’s backing file, but that’s
definitely not quite right. This fixes things like being able to
perform a commit on a file (using relative filenames) in a directory
that’s not qemu’s CWD.
Finally, a number of tests are added.
There are probably many things that are worthy of discussion, of which
only some come to my head, e.g.:
- In which cases do we want to skip filters, in which cases do we want
to skip implicit filters?
My approach was to basically never skip explicitly added filters,
except when it’s about finding a file in some tree (e.g. in a backing
chain). Maybe there are cases where you think we should skip even
explicitly added filters.
- I made interesting decisions like “When you mirror from a node, we
should indeed mirror from that node, but when replacing it, we should
skip leave all implicit filters on top intact.” You may disagree with
that.
(My reasoning here is that users aren’t supposed to know about
implicit filters, and therefore, they should not intend to remove
them. Also, mirror accepts only root nodes as the source, so you
cannot really specify the node below the implicit filters. But you
can use @replaces to drop the implicit filters, if you know they are
there.)
- bdrv_query_bds_stats() is changed: “parent” now means storage,
“backing” means COW. This is what makes sense, although it breaks
compatibility; but only for filters that use bs->backing for the
filtered child (i.e. mirror top and commit top). The alternatives
would be:
- Leave everything as it is. But this means that whenever you add
another filter (throttle or COR), the backing chain is still broken
because they use bs->file for their filtered child. So this is not
really an option.
- Present all filtered children under “backing”. We would need to
present them under “parent” as well, though, if they are referenced
as bs->file, otherwise this too would break compatibility and would
not be any better.
This seems rather broken because we may present the same node twice
(once as “parent”, once as “backing”).
Well, or we decide to break compatibility here, too, but to me it
seems wrong to present filtered nodes under “backing” but not under
“parent”.
So I went for the solution that makes the most sense to me.
v4:
- Dropped patch 2 because it’s in master
- (New) patch 2:
- Fixed the description of BDS.is_filter (requested by Kevin); I
didn’t do that before patch 1 because the description is kind of
wrong today already (Quorum does not have a bs->file but has been
marked a filter from the start). It was only kind of wrong
because the description just claims that some callbacks get
automatically passed to bs->file, not that the filter must have
bs->file present. But then patch 1 is correct without adjusting the
description, and we only need to do so here, in patch 2. (Because
now the callbacks may be passed to bs->backing, too.)
- Rebase conflicts, mostly due to *backing_chain_frozen() and reopen
stuff in general (we usually still want to access bs->backing
instead of using the new functions because this is specifically
about bs->backing, not about the COW child).
Patch 7: Keep iotest 245 passing
git-backport-diff against v3:
Key:
[----] : patches are identical
[####] : number of functional differences between upstream/downstream patch
[down] : patch is downstream-only
The flags [FC] indicate (F)unctional and (C)ontextual differences, respectively
001/11:[----] [--] 'block: Mark commit and mirror as filter drivers'
002/11:[0034] [FC] 'block: Filtered children access functions'
003/11:[----] [--] 'block: Storage child access function'
004/11:[----] [-C] 'block: Inline bdrv_co_block_status_from_*()'
005/11:[----] [--] 'block: Fix check_to_replace_node()'
006/11:[----] [--] 'iotests: Add tests for mirror @replaces loops'
007/11:[0004] [FC] 'block: Leave BDS.backing_file constant'
008/11:[----] [--] 'iotests: Add filter commit test cases'
009/11:[----] [--] 'iotests: Add filter mirror test cases'
010/11:[----] [--] 'iotests: Add test for commit in sub directory'
011/11:[----] [--] 'iotests: Test committing to overridden backing'
Max Reitz (11):
block: Mark commit and mirror as filter drivers
block: Filtered children access functions
block: Storage child access function
block: Inline bdrv_co_block_status_from_*()
block: Fix check_to_replace_node()
iotests: Add tests for mirror @replaces loops
block: Leave BDS.backing_file constant
iotests: Add filter commit test cases
iotests: Add filter mirror test cases
iotests: Add test for commit in sub directory
iotests: Test committing to overridden backing
qapi/block-core.json | 4 +
include/block/block.h | 2 +
include/block/block_int.h | 87 +++++---
block.c | 381 +++++++++++++++++++++++++++------
block/backup.c | 8 +-
block/blkdebug.c | 7 +-
block/blklogwrites.c | 1 -
block/block-backend.c | 16 +-
block/commit.c | 36 ++--
block/copy-on-read.c | 2 -
block/io.c | 102 ++++-----
block/mirror.c | 24 ++-
block/qapi.c | 42 ++--
block/snapshot.c | 40 ++--
block/stream.c | 13 +-
block/throttle.c | 1 -
blockdev.c | 122 +++++++++--
migration/block-dirty-bitmap.c | 4 +-
nbd/server.c | 6 +-
qemu-img.c | 41 ++--
tests/qemu-iotests/020 | 36 ++++
tests/qemu-iotests/020.out | 10 +
tests/qemu-iotests/040 | 191 +++++++++++++++++
tests/qemu-iotests/040.out | 4 +-
tests/qemu-iotests/041 | 270 ++++++++++++++++++++++-
tests/qemu-iotests/041.out | 4 +-
tests/qemu-iotests/184.out | 7 +-
tests/qemu-iotests/191.out | 1 -
tests/qemu-iotests/204.out | 1 +
tests/qemu-iotests/228 | 6 +-
tests/qemu-iotests/228.out | 6 +-
tests/qemu-iotests/245 | 4 +-
32 files changed, 1194 insertions(+), 285 deletions(-)
--
2.20.1
- [Qemu-block] [PATCH v4 00/11] block: Deal with filters,
Max Reitz <=
- [Qemu-block] [PATCH v4 01/11] block: Mark commit and mirror as filter drivers, Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 06/11] iotests: Add tests for mirror @replaces loops, Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 05/11] block: Fix check_to_replace_node(), Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 04/11] block: Inline bdrv_co_block_status_from_*(), Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 03/11] block: Storage child access function, Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 07/11] block: Leave BDS.backing_file constant, Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 08/11] iotests: Add filter commit test cases, Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 09/11] iotests: Add filter mirror test cases, Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 10/11] iotests: Add test for commit in sub directory, Max Reitz, 2019/04/10
- [Qemu-block] [PATCH v4 02/11] block: Filtered children access functions, Max Reitz, 2019/04/10