1 | The following changes since commit ccdf06c1db192152ac70a1dd974c624f566cb7d4: | 1 | The following changes since commit 13356edb87506c148b163b8c7eb0695647d00c2a: |
---|---|---|---|
2 | 2 | ||
3 | Open 6.1 development tree (2021-04-30 11:15:40 +0100) | 3 | Merge tag 'block-pull-request' of https://gitlab.com/stefanha/qemu into staging (2023-01-24 09:45:33 +0000) |
4 | 4 | ||
5 | are available in the Git repository at: | 5 | are available in the Git repository at: |
6 | 6 | ||
7 | git://repo.or.cz/qemu/kevin.git tags/for-upstream | 7 | https://repo.or.cz/qemu/kevin.git tags/for-upstream |
8 | 8 | ||
9 | for you to fetch changes up to 68bf7336533faa6aa90fdd4558edddbf5d8ef814: | 9 | for you to fetch changes up to 1fb9d23f06e0eea297fd57ac62f0fa9efbce865f: |
10 | 10 | ||
11 | vhost-user-blk: Fail gracefully on too large queue size (2021-04-30 12:27:48 +0200) | 11 | qemu-img: Change info key names for protocol nodes (2023-01-24 18:40:18 +0100) |
12 | |||
13 | v3: | ||
14 | - Make the compiler happier on BSD and CentOS Stream 8 | ||
15 | |||
16 | v2: | ||
17 | - Rebased to resolve merge conflicts in coroutine.h | ||
12 | 18 | ||
13 | ---------------------------------------------------------------- | 19 | ---------------------------------------------------------------- |
14 | Block layer patches | 20 | Block layer patches |
15 | 21 | ||
16 | - Fix permission update order problems with block graph changes | 22 | - qemu-img info: Show protocol-level information |
17 | - qemu-img convert: Unshare write permission for source | 23 | - Move more functions to coroutines |
18 | - vhost-user-blk: Fail gracefully on too large queue size | 24 | - Make coroutine annotations ready for static analysis |
25 | - qemu-img: Fix exit code for errors closing the image | ||
26 | - qcow2 bitmaps: Fix theoretical corruption in error path | ||
27 | - pflash: Only load non-zero parts of backend image to save memory | ||
28 | - Code cleanup and test case improvements | ||
19 | 29 | ||
20 | ---------------------------------------------------------------- | 30 | ---------------------------------------------------------------- |
21 | Kevin Wolf (3): | 31 | Alberto Faria (2): |
22 | block: Add BDRV_O_NO_SHARE for blk_new_open() | 32 | coroutine: annotate coroutine_fn for libclang |
23 | qemu-img convert: Unshare write permission for source | 33 | block: Add no_coroutine_fn and coroutine_mixed_fn marker |
24 | vhost-user-blk: Fail gracefully on too large queue size | ||
25 | 34 | ||
26 | Vladimir Sementsov-Ogievskiy (36): | 35 | Emanuele Giuseppe Esposito (14): |
27 | tests/test-bdrv-graph-mod: add test_parallel_exclusive_write | 36 | block-coroutine-wrapper: support void functions |
28 | tests/test-bdrv-graph-mod: add test_parallel_perm_update | 37 | block: Convert bdrv_io_plug() to co_wrapper |
29 | tests/test-bdrv-graph-mod: add test_append_greedy_filter | 38 | block: Convert bdrv_io_unplug() to co_wrapper |
30 | block: bdrv_append(): don't consume reference | 39 | block: Convert bdrv_is_inserted() to co_wrapper |
31 | block: BdrvChildClass: add .get_parent_aio_context handler | 40 | block: Rename refresh_total_sectors to bdrv_refresh_total_sectors |
32 | block: drop ctx argument from bdrv_root_attach_child | 41 | block: Convert bdrv_refresh_total_sectors() to co_wrapper_mixed |
33 | block: make bdrv_reopen_{prepare,commit,abort} private | 42 | block-backend: use bdrv_getlength instead of blk_getlength |
34 | util: add transactions.c | 43 | block: use bdrv_co_refresh_total_sectors when possible |
35 | block: bdrv_refresh_perms: check for parents permissions conflict | 44 | block: Convert bdrv_get_allocated_file_size() to co_wrapper |
36 | block: refactor bdrv_child* permission functions | 45 | block: Convert bdrv_get_info() to co_wrapper_mixed |
37 | block: rewrite bdrv_child_try_set_perm() using bdrv_refresh_perms() | 46 | block: Convert bdrv_eject() to co_wrapper |
38 | block: inline bdrv_child_*() permission functions calls | 47 | block: Convert bdrv_lock_medium() to co_wrapper |
39 | block: use topological sort for permission update | 48 | block: Convert bdrv_debug_event() to co_wrapper_mixed |
40 | block: add bdrv_drv_set_perm transaction action | 49 | block: Rename bdrv_load/save_vmstate() to bdrv_co_load/save_vmstate() |
41 | block: add bdrv_list_* permission update functions | ||
42 | block: add bdrv_replace_child_safe() transaction action | ||
43 | block: fix bdrv_replace_node_common | ||
44 | block: add bdrv_attach_child_common() transaction action | ||
45 | block: add bdrv_attach_child_noperm() transaction action | ||
46 | block: split out bdrv_replace_node_noperm() | ||
47 | block: adapt bdrv_append() for inserting filters | ||
48 | block: add bdrv_remove_filter_or_cow transaction action | ||
49 | block: introduce bdrv_drop_filter() | ||
50 | block/backup-top: drop .active | ||
51 | block: drop ignore_children for permission update functions | ||
52 | block: make bdrv_unset_inherits_from to be a transaction action | ||
53 | block: make bdrv_refresh_limits() to be a transaction action | ||
54 | block: add bdrv_set_backing_noperm() transaction action | ||
55 | block: bdrv_reopen_multiple(): move bdrv_flush to separate pre-prepare | ||
56 | block: bdrv_reopen_multiple: refresh permissions on updated graph | ||
57 | block: drop unused permission update functions | ||
58 | block: inline bdrv_check_perm_common() | ||
59 | block: inline bdrv_replace_child() | ||
60 | block: refactor bdrv_child_set_perm_safe() transaction action | ||
61 | block: rename bdrv_replace_child_safe() to bdrv_replace_child() | ||
62 | block: refactor bdrv_node_check_perm() | ||
63 | 50 | ||
64 | include/block/block.h | 14 +- | 51 | Hanna Reitz (12): |
65 | include/block/block_int.h | 8 +- | 52 | block: Improve empty format-specific info dump |
66 | include/qemu/transactions.h | 63 ++ | 53 | block/file: Add file-specific image info |
67 | block.c | 1329 ++++++++++++++++++++------------- | 54 | block/vmdk: Change extent info type |
68 | block/backup-top.c | 48 +- | 55 | block: Split BlockNodeInfo off of ImageInfo |
69 | block/block-backend.c | 30 +- | 56 | qemu-img: Use BlockNodeInfo |
70 | block/commit.c | 1 + | 57 | block/qapi: Let bdrv_query_image_info() recurse |
71 | block/file-posix.c | 91 +-- | 58 | block/qapi: Introduce BlockGraphInfo |
72 | block/io.c | 31 +- | 59 | block/qapi: Add indentation to bdrv_node_info_dump() |
73 | block/mirror.c | 3 - | 60 | iotests: Filter child node information |
74 | blockdev.c | 4 - | 61 | iotests/106, 214, 308: Read only one size line |
75 | blockjob.c | 11 +- | 62 | qemu-img: Let info print block graph |
76 | hw/block/vhost-user-blk.c | 5 + | 63 | qemu-img: Change info key names for protocol nodes |
77 | qemu-img.c | 2 +- | 64 | |
78 | tests/unit/test-bdrv-drain.c | 2 +- | 65 | Kevin Wolf (4): |
79 | tests/unit/test-bdrv-graph-mod.c | 209 +++++- | 66 | qcow2: Fix theoretical corruption in store_bitmap() error path |
80 | util/transactions.c | 96 +++ | 67 | qemu-img commit: Report errors while closing the image |
81 | MAINTAINERS | 6 + | 68 | qemu-img bitmap: Report errors while closing the image |
82 | tests/qemu-iotests/245 | 2 +- | 69 | qemu-iotests: Test qemu-img bitmap/commit exit code on error |
83 | tests/qemu-iotests/283.out | 2 +- | 70 | |
84 | tests/qemu-iotests/tests/qsd-jobs.out | 2 +- | 71 | Paolo Bonzini (2): |
85 | util/meson.build | 1 + | 72 | qemu-io: do not reinvent the blk_pwrite_zeroes wheel |
86 | 22 files changed, 1280 insertions(+), 680 deletions(-) | 73 | block: remove bdrv_coroutine_enter |
87 | create mode 100644 include/qemu/transactions.h | 74 | |
88 | create mode 100644 util/transactions.c | 75 | Philippe Mathieu-Daudé (1): |
76 | block/nbd: Add missing <qemu/bswap.h> include | ||
77 | |||
78 | Thomas Huth (2): | ||
79 | tests/qemu-iotests/312: Mark "quorum" as required driver | ||
80 | tests/qemu-iotests/262: Check for availability of "blkverify" first | ||
81 | |||
82 | Xiang Zheng (1): | ||
83 | pflash: Only read non-zero parts of backend image | ||
84 | |||
85 | qapi/block-core.json | 123 +++++++- | ||
86 | include/block/block-common.h | 11 +- | ||
87 | include/block/block-io.h | 41 ++- | ||
88 | include/block/block_int-common.h | 26 +- | ||
89 | include/block/block_int-io.h | 5 +- | ||
90 | include/block/nbd.h | 1 + | ||
91 | include/block/qapi.h | 14 +- | ||
92 | include/qemu/osdep.h | 44 +++ | ||
93 | include/sysemu/block-backend-io.h | 31 +- | ||
94 | block.c | 88 +++--- | ||
95 | block/blkdebug.c | 11 +- | ||
96 | block/blkio.c | 15 +- | ||
97 | block/blklogwrites.c | 6 +- | ||
98 | block/blkreplay.c | 6 +- | ||
99 | block/blkverify.c | 6 +- | ||
100 | block/block-backend.c | 38 +-- | ||
101 | block/commit.c | 4 +- | ||
102 | block/copy-on-read.c | 18 +- | ||
103 | block/crypto.c | 14 +- | ||
104 | block/curl.c | 10 +- | ||
105 | block/file-posix.c | 137 +++++---- | ||
106 | block/file-win32.c | 18 +- | ||
107 | block/filter-compress.c | 20 +- | ||
108 | block/gluster.c | 23 +- | ||
109 | block/io.c | 76 ++--- | ||
110 | block/iscsi.c | 17 +- | ||
111 | block/mirror.c | 6 +- | ||
112 | block/monitor/block-hmp-cmds.c | 2 +- | ||
113 | block/nbd.c | 8 +- | ||
114 | block/nfs.c | 4 +- | ||
115 | block/null.c | 13 +- | ||
116 | block/nvme.c | 14 +- | ||
117 | block/preallocate.c | 16 +- | ||
118 | block/qapi.c | 317 ++++++++++++++++----- | ||
119 | block/qcow.c | 5 +- | ||
120 | block/qcow2-bitmap.c | 5 +- | ||
121 | block/qcow2-refcount.c | 2 +- | ||
122 | block/qcow2.c | 17 +- | ||
123 | block/qed.c | 11 +- | ||
124 | block/quorum.c | 8 +- | ||
125 | block/raw-format.c | 25 +- | ||
126 | block/rbd.c | 9 +- | ||
127 | block/replication.c | 6 +- | ||
128 | block/ssh.c | 4 +- | ||
129 | block/throttle.c | 6 +- | ||
130 | block/vdi.c | 7 +- | ||
131 | block/vhdx.c | 5 +- | ||
132 | block/vmdk.c | 22 +- | ||
133 | block/vpc.c | 5 +- | ||
134 | blockdev.c | 8 +- | ||
135 | hw/block/block.c | 36 ++- | ||
136 | hw/scsi/scsi-disk.c | 5 + | ||
137 | qemu-img.c | 100 +++++-- | ||
138 | qemu-io-cmds.c | 62 +--- | ||
139 | tests/unit/test-block-iothread.c | 3 + | ||
140 | scripts/block-coroutine-wrapper.py | 20 +- | ||
141 | tests/qemu-iotests/iotests.py | 18 +- | ||
142 | block/meson.build | 1 + | ||
143 | tests/qemu-iotests/065 | 2 +- | ||
144 | tests/qemu-iotests/106 | 4 +- | ||
145 | tests/qemu-iotests/214 | 6 +- | ||
146 | tests/qemu-iotests/262 | 3 +- | ||
147 | tests/qemu-iotests/302.out | 5 + | ||
148 | tests/qemu-iotests/308 | 4 +- | ||
149 | tests/qemu-iotests/312 | 1 + | ||
150 | tests/qemu-iotests/common.filter | 22 +- | ||
151 | tests/qemu-iotests/common.rc | 22 +- | ||
152 | tests/qemu-iotests/tests/qemu-img-close-errors | 95 ++++++ | ||
153 | tests/qemu-iotests/tests/qemu-img-close-errors.out | 23 ++ | ||
154 | 69 files changed, 1208 insertions(+), 552 deletions(-) | ||
155 | create mode 100755 tests/qemu-iotests/tests/qemu-img-close-errors | ||
156 | create mode 100644 tests/qemu-iotests/tests/qemu-img-close-errors.out | ||
89 | 157 | ||
90 | 158 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Add the test that shows that concept of ignore_children is incomplete. | ||
4 | Actually, when we want to update something, ignoring permission of some | ||
5 | existing BdrvChild, we should ignore also the propagated effect of this | ||
6 | child to the other children. But that's not done. Better approach | ||
7 | (update permissions on already updated graph) will be implemented | ||
8 | later. | ||
9 | |||
10 | Now the test fails, so it's added with -d argument to not break make | ||
11 | check. | ||
12 | |||
13 | Test fails with | ||
14 | |||
15 | "Conflicts with use by fl1 as 'backing', which does not allow 'write' on base" | ||
16 | |||
17 | because when updating permissions we can ignore original top->fl1 | ||
18 | BdrvChild. But we don't ignore exclusive write permission in fl1->base | ||
19 | BdrvChild, which is propagated. Correct thing to do is make graph | ||
20 | change first and then do permission update from the top node. | ||
21 | |||
22 | To run test do | ||
23 | |||
24 | ./test-bdrv-graph-mod -d -p /bdrv-graph-mod/parallel-exclusive-write | ||
25 | |||
26 | from <build-directory>/tests. | ||
27 | |||
28 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
29 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
30 | Message-Id: <20210428151804.439460-2-vsementsov@virtuozzo.com> | ||
31 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
32 | --- | ||
33 | tests/unit/test-bdrv-graph-mod.c | 70 +++++++++++++++++++++++++++++++- | ||
34 | 1 file changed, 69 insertions(+), 1 deletion(-) | ||
35 | |||
36 | diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/tests/unit/test-bdrv-graph-mod.c | ||
39 | +++ b/tests/unit/test-bdrv-graph-mod.c | ||
40 | @@ -XXX,XX +XXX,XX @@ | ||
41 | /* | ||
42 | * Block node graph modifications tests | ||
43 | * | ||
44 | - * Copyright (c) 2019 Virtuozzo International GmbH. All rights reserved. | ||
45 | + * Copyright (c) 2019-2021 Virtuozzo International GmbH. All rights reserved. | ||
46 | * | ||
47 | * This program is free software; you can redistribute it and/or modify | ||
48 | * it under the terms of the GNU General Public License as published by | ||
49 | @@ -XXX,XX +XXX,XX @@ static BlockDriver bdrv_no_perm = { | ||
50 | .bdrv_child_perm = no_perm_default_perms, | ||
51 | }; | ||
52 | |||
53 | +static void exclusive_write_perms(BlockDriverState *bs, BdrvChild *c, | ||
54 | + BdrvChildRole role, | ||
55 | + BlockReopenQueue *reopen_queue, | ||
56 | + uint64_t perm, uint64_t shared, | ||
57 | + uint64_t *nperm, uint64_t *nshared) | ||
58 | +{ | ||
59 | + *nperm = BLK_PERM_WRITE; | ||
60 | + *nshared = BLK_PERM_ALL & ~BLK_PERM_WRITE; | ||
61 | +} | ||
62 | + | ||
63 | +static BlockDriver bdrv_exclusive_writer = { | ||
64 | + .format_name = "exclusive-writer", | ||
65 | + .bdrv_child_perm = exclusive_write_perms, | ||
66 | +}; | ||
67 | + | ||
68 | static BlockDriverState *no_perm_node(const char *name) | ||
69 | { | ||
70 | return bdrv_new_open_driver(&bdrv_no_perm, name, BDRV_O_RDWR, &error_abort); | ||
71 | @@ -XXX,XX +XXX,XX @@ static BlockDriverState *pass_through_node(const char *name) | ||
72 | BDRV_O_RDWR, &error_abort); | ||
73 | } | ||
74 | |||
75 | +static BlockDriverState *exclusive_writer_node(const char *name) | ||
76 | +{ | ||
77 | + return bdrv_new_open_driver(&bdrv_exclusive_writer, name, | ||
78 | + BDRV_O_RDWR, &error_abort); | ||
79 | +} | ||
80 | + | ||
81 | /* | ||
82 | * test_update_perm_tree | ||
83 | * | ||
84 | @@ -XXX,XX +XXX,XX @@ static void test_should_update_child(void) | ||
85 | blk_unref(root); | ||
86 | } | ||
87 | |||
88 | +/* | ||
89 | + * test_parallel_exclusive_write | ||
90 | + * | ||
91 | + * Check that when we replace node, old permissions of the node being removed | ||
92 | + * doesn't break the replacement. | ||
93 | + */ | ||
94 | +static void test_parallel_exclusive_write(void) | ||
95 | +{ | ||
96 | + BlockDriverState *top = exclusive_writer_node("top"); | ||
97 | + BlockDriverState *base = no_perm_node("base"); | ||
98 | + BlockDriverState *fl1 = pass_through_node("fl1"); | ||
99 | + BlockDriverState *fl2 = pass_through_node("fl2"); | ||
100 | + | ||
101 | + /* | ||
102 | + * bdrv_attach_child() eats child bs reference, so we need two @base | ||
103 | + * references for two filters: | ||
104 | + */ | ||
105 | + bdrv_ref(base); | ||
106 | + | ||
107 | + bdrv_attach_child(top, fl1, "backing", &child_of_bds, BDRV_CHILD_DATA, | ||
108 | + &error_abort); | ||
109 | + bdrv_attach_child(fl1, base, "backing", &child_of_bds, BDRV_CHILD_FILTERED, | ||
110 | + &error_abort); | ||
111 | + bdrv_attach_child(fl2, base, "backing", &child_of_bds, BDRV_CHILD_FILTERED, | ||
112 | + &error_abort); | ||
113 | + | ||
114 | + bdrv_replace_node(fl1, fl2, &error_abort); | ||
115 | + | ||
116 | + bdrv_unref(fl2); | ||
117 | + bdrv_unref(top); | ||
118 | +} | ||
119 | + | ||
120 | int main(int argc, char *argv[]) | ||
121 | { | ||
122 | + int i; | ||
123 | + bool debug = false; | ||
124 | + | ||
125 | + for (i = 1; i < argc; i++) { | ||
126 | + if (!strcmp(argv[i], "-d")) { | ||
127 | + debug = true; | ||
128 | + break; | ||
129 | + } | ||
130 | + } | ||
131 | + | ||
132 | bdrv_init(); | ||
133 | qemu_init_main_loop(&error_abort); | ||
134 | |||
135 | @@ -XXX,XX +XXX,XX @@ int main(int argc, char *argv[]) | ||
136 | g_test_add_func("/bdrv-graph-mod/should-update-child", | ||
137 | test_should_update_child); | ||
138 | |||
139 | + if (debug) { | ||
140 | + g_test_add_func("/bdrv-graph-mod/parallel-exclusive-write", | ||
141 | + test_parallel_exclusive_write); | ||
142 | + } | ||
143 | + | ||
144 | return g_test_run(); | ||
145 | } | ||
146 | -- | ||
147 | 2.30.2 | ||
148 | |||
149 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Add test to show that simple DFS recursion order is not correct for | ||
4 | permission update. Correct order is topological-sort order, which will | ||
5 | be introduced later. | ||
6 | |||
7 | Consider the block driver which has two filter children: one active | ||
8 | with exclusive write access and one inactive with no specific | ||
9 | permissions. | ||
10 | |||
11 | And, these two children has a common base child, like this: | ||
12 | |||
13 | ┌─────┐ ┌──────┐ | ||
14 | │ fl2 │ ◀── │ top │ | ||
15 | └─────┘ └──────┘ | ||
16 | │ │ | ||
17 | │ │ w | ||
18 | │ ▼ | ||
19 | │ ┌──────┐ | ||
20 | │ │ fl1 │ | ||
21 | │ └──────┘ | ||
22 | │ │ | ||
23 | │ │ w | ||
24 | │ ▼ | ||
25 | │ ┌──────┐ | ||
26 | └───────▶ │ base │ | ||
27 | └──────┘ | ||
28 | |||
29 | So, exclusive write is propagated. | ||
30 | |||
31 | Assume, we want to make fl2 active instead of fl1. | ||
32 | So, we set some option for top driver and do permission update. | ||
33 | |||
34 | If permission update (remember, it's DFS) goes first through | ||
35 | top->fl1->base branch it will succeed: it firstly drop exclusive write | ||
36 | permissions and than apply them for another BdrvChildren. | ||
37 | But if permission update goes first through top->fl2->base branch it | ||
38 | will fail, as when we try to update fl2->base child, old not yet | ||
39 | updated fl1->base child will be in conflict. | ||
40 | |||
41 | Now test fails, so it runs only with -d flag. To run do | ||
42 | |||
43 | ./test-bdrv-graph-mod -d -p /bdrv-graph-mod/parallel-perm-update | ||
44 | |||
45 | from <build-directory>/tests. | ||
46 | |||
47 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
48 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
49 | Message-Id: <20210428151804.439460-3-vsementsov@virtuozzo.com> | ||
50 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
51 | --- | ||
52 | tests/unit/test-bdrv-graph-mod.c | 116 +++++++++++++++++++++++++++++++ | ||
53 | 1 file changed, 116 insertions(+) | ||
54 | |||
55 | diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c | ||
56 | index XXXXXXX..XXXXXXX 100644 | ||
57 | --- a/tests/unit/test-bdrv-graph-mod.c | ||
58 | +++ b/tests/unit/test-bdrv-graph-mod.c | ||
59 | @@ -XXX,XX +XXX,XX @@ static void test_parallel_exclusive_write(void) | ||
60 | bdrv_unref(top); | ||
61 | } | ||
62 | |||
63 | +static void write_to_file_perms(BlockDriverState *bs, BdrvChild *c, | ||
64 | + BdrvChildRole role, | ||
65 | + BlockReopenQueue *reopen_queue, | ||
66 | + uint64_t perm, uint64_t shared, | ||
67 | + uint64_t *nperm, uint64_t *nshared) | ||
68 | +{ | ||
69 | + if (bs->file && c == bs->file) { | ||
70 | + *nperm = BLK_PERM_WRITE; | ||
71 | + *nshared = BLK_PERM_ALL & ~BLK_PERM_WRITE; | ||
72 | + } else { | ||
73 | + *nperm = 0; | ||
74 | + *nshared = BLK_PERM_ALL; | ||
75 | + } | ||
76 | +} | ||
77 | + | ||
78 | +static BlockDriver bdrv_write_to_file = { | ||
79 | + .format_name = "tricky-perm", | ||
80 | + .bdrv_child_perm = write_to_file_perms, | ||
81 | +}; | ||
82 | + | ||
83 | + | ||
84 | +/* | ||
85 | + * The following test shows that topological-sort order is required for | ||
86 | + * permission update, simple DFS is not enough. | ||
87 | + * | ||
88 | + * Consider the block driver which has two filter children: one active | ||
89 | + * with exclusive write access and one inactive with no specific | ||
90 | + * permissions. | ||
91 | + * | ||
92 | + * And, these two children has a common base child, like this: | ||
93 | + * | ||
94 | + * ┌─────┐ ┌──────┐ | ||
95 | + * │ fl2 │ ◀── │ top │ | ||
96 | + * └─────┘ └──────┘ | ||
97 | + * │ │ | ||
98 | + * │ │ w | ||
99 | + * │ ▼ | ||
100 | + * │ ┌──────┐ | ||
101 | + * │ │ fl1 │ | ||
102 | + * │ └──────┘ | ||
103 | + * │ │ | ||
104 | + * │ │ w | ||
105 | + * │ ▼ | ||
106 | + * │ ┌──────┐ | ||
107 | + * └───────▶ │ base │ | ||
108 | + * └──────┘ | ||
109 | + * | ||
110 | + * So, exclusive write is propagated. | ||
111 | + * | ||
112 | + * Assume, we want to make fl2 active instead of fl1. | ||
113 | + * So, we set some option for top driver and do permission update. | ||
114 | + * | ||
115 | + * With simple DFS, if permission update goes first through | ||
116 | + * top->fl1->base branch it will succeed: it firstly drop exclusive write | ||
117 | + * permissions and than apply them for another BdrvChildren. | ||
118 | + * But if permission update goes first through top->fl2->base branch it | ||
119 | + * will fail, as when we try to update fl2->base child, old not yet | ||
120 | + * updated fl1->base child will be in conflict. | ||
121 | + * | ||
122 | + * With topological-sort order we always update parents before children, so fl1 | ||
123 | + * and fl2 are both updated when we update base and there is no conflict. | ||
124 | + */ | ||
125 | +static void test_parallel_perm_update(void) | ||
126 | +{ | ||
127 | + BlockDriverState *top = no_perm_node("top"); | ||
128 | + BlockDriverState *tricky = | ||
129 | + bdrv_new_open_driver(&bdrv_write_to_file, "tricky", BDRV_O_RDWR, | ||
130 | + &error_abort); | ||
131 | + BlockDriverState *base = no_perm_node("base"); | ||
132 | + BlockDriverState *fl1 = pass_through_node("fl1"); | ||
133 | + BlockDriverState *fl2 = pass_through_node("fl2"); | ||
134 | + BdrvChild *c_fl1, *c_fl2; | ||
135 | + | ||
136 | + /* | ||
137 | + * bdrv_attach_child() eats child bs reference, so we need two @base | ||
138 | + * references for two filters: | ||
139 | + */ | ||
140 | + bdrv_ref(base); | ||
141 | + | ||
142 | + bdrv_attach_child(top, tricky, "file", &child_of_bds, BDRV_CHILD_DATA, | ||
143 | + &error_abort); | ||
144 | + c_fl1 = bdrv_attach_child(tricky, fl1, "first", &child_of_bds, | ||
145 | + BDRV_CHILD_FILTERED, &error_abort); | ||
146 | + c_fl2 = bdrv_attach_child(tricky, fl2, "second", &child_of_bds, | ||
147 | + BDRV_CHILD_FILTERED, &error_abort); | ||
148 | + bdrv_attach_child(fl1, base, "backing", &child_of_bds, BDRV_CHILD_FILTERED, | ||
149 | + &error_abort); | ||
150 | + bdrv_attach_child(fl2, base, "backing", &child_of_bds, BDRV_CHILD_FILTERED, | ||
151 | + &error_abort); | ||
152 | + | ||
153 | + /* Select fl1 as first child to be active */ | ||
154 | + tricky->file = c_fl1; | ||
155 | + bdrv_child_refresh_perms(top, top->children.lh_first, &error_abort); | ||
156 | + | ||
157 | + assert(c_fl1->perm & BLK_PERM_WRITE); | ||
158 | + assert(!(c_fl2->perm & BLK_PERM_WRITE)); | ||
159 | + | ||
160 | + /* Now, try to switch active child and update permissions */ | ||
161 | + tricky->file = c_fl2; | ||
162 | + bdrv_child_refresh_perms(top, top->children.lh_first, &error_abort); | ||
163 | + | ||
164 | + assert(c_fl2->perm & BLK_PERM_WRITE); | ||
165 | + assert(!(c_fl1->perm & BLK_PERM_WRITE)); | ||
166 | + | ||
167 | + /* Switch once more, to not care about real child order in the list */ | ||
168 | + tricky->file = c_fl1; | ||
169 | + bdrv_child_refresh_perms(top, top->children.lh_first, &error_abort); | ||
170 | + | ||
171 | + assert(c_fl1->perm & BLK_PERM_WRITE); | ||
172 | + assert(!(c_fl2->perm & BLK_PERM_WRITE)); | ||
173 | + | ||
174 | + bdrv_unref(top); | ||
175 | +} | ||
176 | + | ||
177 | int main(int argc, char *argv[]) | ||
178 | { | ||
179 | int i; | ||
180 | @@ -XXX,XX +XXX,XX @@ int main(int argc, char *argv[]) | ||
181 | if (debug) { | ||
182 | g_test_add_func("/bdrv-graph-mod/parallel-exclusive-write", | ||
183 | test_parallel_exclusive_write); | ||
184 | + g_test_add_func("/bdrv-graph-mod/parallel-perm-update", | ||
185 | + test_parallel_perm_update); | ||
186 | } | ||
187 | |||
188 | return g_test_run(); | ||
189 | -- | ||
190 | 2.30.2 | ||
191 | |||
192 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | bdrv_append() is not quite good for inserting filters: it does extra | ||
4 | permission update in intermediate state, where filter get it filtered | ||
5 | child but is not yet replace it in a backing chain. | ||
6 | |||
7 | Some filters (for example backup-top) may want permissions even when | ||
8 | have no parents. And described intermediate state becomes invalid. | ||
9 | |||
10 | That's (half a) reason, why we need "inactive" state for backup-top | ||
11 | filter. | ||
12 | |||
13 | bdrv_append() will be improved later, now let's add a unit test. | ||
14 | |||
15 | Now test fails, so it runs only with -d flag. To run do | ||
16 | |||
17 | ./test-bdrv-graph-mod -d -p /bdrv-graph-mod/append-greedy-filter | ||
18 | |||
19 | from <build-directory>/tests. | ||
20 | |||
21 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
22 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
23 | Message-Id: <20210428151804.439460-4-vsementsov@virtuozzo.com> | ||
24 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
25 | --- | ||
26 | tests/unit/test-bdrv-graph-mod.c | 33 ++++++++++++++++++++++++++++++++ | ||
27 | 1 file changed, 33 insertions(+) | ||
28 | |||
29 | diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c | ||
30 | index XXXXXXX..XXXXXXX 100644 | ||
31 | --- a/tests/unit/test-bdrv-graph-mod.c | ||
32 | +++ b/tests/unit/test-bdrv-graph-mod.c | ||
33 | @@ -XXX,XX +XXX,XX @@ static void test_parallel_perm_update(void) | ||
34 | bdrv_unref(top); | ||
35 | } | ||
36 | |||
37 | +/* | ||
38 | + * It's possible that filter required permissions allows to insert it to backing | ||
39 | + * chain, like: | ||
40 | + * | ||
41 | + * 1. [top] -> [filter] -> [base] | ||
42 | + * | ||
43 | + * but doesn't allow to add it as a branch: | ||
44 | + * | ||
45 | + * 2. [filter] --\ | ||
46 | + * v | ||
47 | + * [top] -> [base] | ||
48 | + * | ||
49 | + * So, inserting such filter should do all graph modifications and only then | ||
50 | + * update permissions. If we try to go through intermediate state [2] and update | ||
51 | + * permissions on it we'll fail. | ||
52 | + * | ||
53 | + * Let's check that bdrv_append() can append such a filter. | ||
54 | + */ | ||
55 | +static void test_append_greedy_filter(void) | ||
56 | +{ | ||
57 | + BlockDriverState *top = exclusive_writer_node("top"); | ||
58 | + BlockDriverState *base = no_perm_node("base"); | ||
59 | + BlockDriverState *fl = exclusive_writer_node("fl1"); | ||
60 | + | ||
61 | + bdrv_attach_child(top, base, "backing", &child_of_bds, BDRV_CHILD_COW, | ||
62 | + &error_abort); | ||
63 | + | ||
64 | + bdrv_append(fl, base, &error_abort); | ||
65 | + bdrv_unref(top); | ||
66 | +} | ||
67 | + | ||
68 | int main(int argc, char *argv[]) | ||
69 | { | ||
70 | int i; | ||
71 | @@ -XXX,XX +XXX,XX @@ int main(int argc, char *argv[]) | ||
72 | test_parallel_exclusive_write); | ||
73 | g_test_add_func("/bdrv-graph-mod/parallel-perm-update", | ||
74 | test_parallel_perm_update); | ||
75 | + g_test_add_func("/bdrv-graph-mod/append-greedy-filter", | ||
76 | + test_append_greedy_filter); | ||
77 | } | ||
78 | |||
79 | return g_test_run(); | ||
80 | -- | ||
81 | 2.30.2 | ||
82 | |||
83 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | We have too much comments for this feature. It seems better just don't | ||
4 | do it. Most of real users (tests don't count) have to create additional | ||
5 | reference. | ||
6 | |||
7 | Drop also comment in external_snapshot_prepare: | ||
8 | - bdrv_append doesn't "remove" old bs in common sense, it sounds | ||
9 | strange | ||
10 | - the fact that bdrv_append can fail is obvious from the context | ||
11 | - the fact that we must rollback all changes in transaction abort is | ||
12 | known (it's the direct role of abort) | ||
13 | |||
14 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
15 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
16 | Message-Id: <20210428151804.439460-5-vsementsov@virtuozzo.com> | ||
17 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
18 | --- | ||
19 | block.c | 25 +++---------------------- | ||
20 | block/backup-top.c | 1 - | ||
21 | block/commit.c | 1 + | ||
22 | block/mirror.c | 3 --- | ||
23 | blockdev.c | 4 ---- | ||
24 | tests/unit/test-bdrv-drain.c | 2 +- | ||
25 | tests/unit/test-bdrv-graph-mod.c | 3 +++ | ||
26 | 7 files changed, 8 insertions(+), 31 deletions(-) | ||
27 | |||
28 | diff --git a/block.c b/block.c | ||
29 | index XXXXXXX..XXXXXXX 100644 | ||
30 | --- a/block.c | ||
31 | +++ b/block.c | ||
32 | @@ -XXX,XX +XXX,XX @@ static BlockDriverState *bdrv_append_temp_snapshot(BlockDriverState *bs, | ||
33 | goto out; | ||
34 | } | ||
35 | |||
36 | - /* bdrv_append() consumes a strong reference to bs_snapshot | ||
37 | - * (i.e. it will call bdrv_unref() on it) even on error, so in | ||
38 | - * order to be able to return one, we have to increase | ||
39 | - * bs_snapshot's refcount here */ | ||
40 | - bdrv_ref(bs_snapshot); | ||
41 | ret = bdrv_append(bs_snapshot, bs, errp); | ||
42 | if (ret < 0) { | ||
43 | bs_snapshot = NULL; | ||
44 | @@ -XXX,XX +XXX,XX @@ int bdrv_replace_node(BlockDriverState *from, BlockDriverState *to, | ||
45 | * bs_new must not be attached to a BlockBackend. | ||
46 | * | ||
47 | * This function does not create any image files. | ||
48 | - * | ||
49 | - * bdrv_append() takes ownership of a bs_new reference and unrefs it because | ||
50 | - * that's what the callers commonly need. bs_new will be referenced by the old | ||
51 | - * parents of bs_top after bdrv_append() returns. If the caller needs to keep a | ||
52 | - * reference of its own, it must call bdrv_ref(). | ||
53 | */ | ||
54 | int bdrv_append(BlockDriverState *bs_new, BlockDriverState *bs_top, | ||
55 | Error **errp) | ||
56 | { | ||
57 | int ret = bdrv_set_backing_hd(bs_new, bs_top, errp); | ||
58 | if (ret < 0) { | ||
59 | - goto out; | ||
60 | + return ret; | ||
61 | } | ||
62 | |||
63 | ret = bdrv_replace_node(bs_top, bs_new, errp); | ||
64 | if (ret < 0) { | ||
65 | bdrv_set_backing_hd(bs_new, NULL, &error_abort); | ||
66 | - goto out; | ||
67 | + return ret; | ||
68 | } | ||
69 | |||
70 | - ret = 0; | ||
71 | - | ||
72 | -out: | ||
73 | - /* | ||
74 | - * bs_new is now referenced by its new parents, we don't need the | ||
75 | - * additional reference any more. | ||
76 | - */ | ||
77 | - bdrv_unref(bs_new); | ||
78 | - | ||
79 | - return ret; | ||
80 | + return 0; | ||
81 | } | ||
82 | |||
83 | static void bdrv_delete(BlockDriverState *bs) | ||
84 | diff --git a/block/backup-top.c b/block/backup-top.c | ||
85 | index XXXXXXX..XXXXXXX 100644 | ||
86 | --- a/block/backup-top.c | ||
87 | +++ b/block/backup-top.c | ||
88 | @@ -XXX,XX +XXX,XX @@ BlockDriverState *bdrv_backup_top_append(BlockDriverState *source, | ||
89 | |||
90 | bdrv_drained_begin(source); | ||
91 | |||
92 | - bdrv_ref(top); | ||
93 | ret = bdrv_append(top, source, errp); | ||
94 | if (ret < 0) { | ||
95 | error_prepend(errp, "Cannot append backup-top filter: "); | ||
96 | diff --git a/block/commit.c b/block/commit.c | ||
97 | index XXXXXXX..XXXXXXX 100644 | ||
98 | --- a/block/commit.c | ||
99 | +++ b/block/commit.c | ||
100 | @@ -XXX,XX +XXX,XX @@ void commit_start(const char *job_id, BlockDriverState *bs, | ||
101 | commit_top_bs->total_sectors = top->total_sectors; | ||
102 | |||
103 | ret = bdrv_append(commit_top_bs, top, errp); | ||
104 | + bdrv_unref(commit_top_bs); /* referenced by new parents or failed */ | ||
105 | if (ret < 0) { | ||
106 | commit_top_bs = NULL; | ||
107 | goto fail; | ||
108 | diff --git a/block/mirror.c b/block/mirror.c | ||
109 | index XXXXXXX..XXXXXXX 100644 | ||
110 | --- a/block/mirror.c | ||
111 | +++ b/block/mirror.c | ||
112 | @@ -XXX,XX +XXX,XX @@ static BlockJob *mirror_start_job( | ||
113 | |||
114 | bs_opaque->is_commit = target_is_backing; | ||
115 | |||
116 | - /* bdrv_append takes ownership of the mirror_top_bs reference, need to keep | ||
117 | - * it alive until block_job_create() succeeds even if bs has no parent. */ | ||
118 | - bdrv_ref(mirror_top_bs); | ||
119 | bdrv_drained_begin(bs); | ||
120 | ret = bdrv_append(mirror_top_bs, bs, errp); | ||
121 | bdrv_drained_end(bs); | ||
122 | diff --git a/blockdev.c b/blockdev.c | ||
123 | index XXXXXXX..XXXXXXX 100644 | ||
124 | --- a/blockdev.c | ||
125 | +++ b/blockdev.c | ||
126 | @@ -XXX,XX +XXX,XX @@ static void external_snapshot_prepare(BlkActionState *common, | ||
127 | goto out; | ||
128 | } | ||
129 | |||
130 | - /* This removes our old bs and adds the new bs. This is an operation that | ||
131 | - * can fail, so we need to do it in .prepare; undoing it for abort is | ||
132 | - * always possible. */ | ||
133 | - bdrv_ref(state->new_bs); | ||
134 | ret = bdrv_append(state->new_bs, state->old_bs, errp); | ||
135 | if (ret < 0) { | ||
136 | goto out; | ||
137 | diff --git a/tests/unit/test-bdrv-drain.c b/tests/unit/test-bdrv-drain.c | ||
138 | index XXXXXXX..XXXXXXX 100644 | ||
139 | --- a/tests/unit/test-bdrv-drain.c | ||
140 | +++ b/tests/unit/test-bdrv-drain.c | ||
141 | @@ -XXX,XX +XXX,XX @@ static void test_append_to_drained(void) | ||
142 | g_assert_cmpint(base_s->drain_count, ==, 1); | ||
143 | g_assert_cmpint(base->in_flight, ==, 0); | ||
144 | |||
145 | - /* Takes ownership of overlay, so we don't have to unref it later */ | ||
146 | bdrv_append(overlay, base, &error_abort); | ||
147 | g_assert_cmpint(base->in_flight, ==, 0); | ||
148 | g_assert_cmpint(overlay->in_flight, ==, 0); | ||
149 | @@ -XXX,XX +XXX,XX @@ static void test_append_to_drained(void) | ||
150 | g_assert_cmpint(overlay->quiesce_counter, ==, 0); | ||
151 | g_assert_cmpint(overlay_s->drain_count, ==, 0); | ||
152 | |||
153 | + bdrv_unref(overlay); | ||
154 | bdrv_unref(base); | ||
155 | blk_unref(blk); | ||
156 | } | ||
157 | diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c | ||
158 | index XXXXXXX..XXXXXXX 100644 | ||
159 | --- a/tests/unit/test-bdrv-graph-mod.c | ||
160 | +++ b/tests/unit/test-bdrv-graph-mod.c | ||
161 | @@ -XXX,XX +XXX,XX @@ static void test_update_perm_tree(void) | ||
162 | ret = bdrv_append(filter, bs, NULL); | ||
163 | g_assert_cmpint(ret, <, 0); | ||
164 | |||
165 | + bdrv_unref(filter); | ||
166 | blk_unref(root); | ||
167 | } | ||
168 | |||
169 | @@ -XXX,XX +XXX,XX @@ static void test_should_update_child(void) | ||
170 | bdrv_append(filter, bs, &error_abort); | ||
171 | g_assert(target->backing->bs == bs); | ||
172 | |||
173 | + bdrv_unref(filter); | ||
174 | bdrv_unref(bs); | ||
175 | blk_unref(root); | ||
176 | } | ||
177 | @@ -XXX,XX +XXX,XX @@ static void test_append_greedy_filter(void) | ||
178 | &error_abort); | ||
179 | |||
180 | bdrv_append(fl, base, &error_abort); | ||
181 | + bdrv_unref(fl); | ||
182 | bdrv_unref(top); | ||
183 | } | ||
184 | |||
185 | -- | ||
186 | 2.30.2 | ||
187 | |||
188 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Add new handler to get aio context and implement it in all child | ||
4 | classes. Add corresponding public interface to be used soon. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Alberto Garcia <berto@igalia.com> | ||
8 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | Message-Id: <20210428151804.439460-6-vsementsov@virtuozzo.com> | ||
10 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
11 | --- | ||
12 | include/block/block.h | 2 ++ | ||
13 | include/block/block_int.h | 2 ++ | ||
14 | block.c | 13 +++++++++++++ | ||
15 | block/block-backend.c | 9 +++++++++ | ||
16 | blockjob.c | 8 ++++++++ | ||
17 | 5 files changed, 34 insertions(+) | ||
18 | |||
19 | diff --git a/include/block/block.h b/include/block/block.h | ||
20 | index XXXXXXX..XXXXXXX 100644 | ||
21 | --- a/include/block/block.h | ||
22 | +++ b/include/block/block.h | ||
23 | @@ -XXX,XX +XXX,XX @@ bool bdrv_child_can_set_aio_context(BdrvChild *c, AioContext *ctx, | ||
24 | GSList **ignore, Error **errp); | ||
25 | bool bdrv_can_set_aio_context(BlockDriverState *bs, AioContext *ctx, | ||
26 | GSList **ignore, Error **errp); | ||
27 | +AioContext *bdrv_child_get_parent_aio_context(BdrvChild *c); | ||
28 | + | ||
29 | int bdrv_probe_blocksizes(BlockDriverState *bs, BlockSizes *bsz); | ||
30 | int bdrv_probe_geometry(BlockDriverState *bs, HDGeometry *geo); | ||
31 | |||
32 | diff --git a/include/block/block_int.h b/include/block/block_int.h | ||
33 | index XXXXXXX..XXXXXXX 100644 | ||
34 | --- a/include/block/block_int.h | ||
35 | +++ b/include/block/block_int.h | ||
36 | @@ -XXX,XX +XXX,XX @@ struct BdrvChildClass { | ||
37 | bool (*can_set_aio_ctx)(BdrvChild *child, AioContext *ctx, | ||
38 | GSList **ignore, Error **errp); | ||
39 | void (*set_aio_ctx)(BdrvChild *child, AioContext *ctx, GSList **ignore); | ||
40 | + | ||
41 | + AioContext *(*get_parent_aio_context)(BdrvChild *child); | ||
42 | }; | ||
43 | |||
44 | extern const BdrvChildClass child_of_bds; | ||
45 | diff --git a/block.c b/block.c | ||
46 | index XXXXXXX..XXXXXXX 100644 | ||
47 | --- a/block.c | ||
48 | +++ b/block.c | ||
49 | @@ -XXX,XX +XXX,XX @@ static int bdrv_child_cb_update_filename(BdrvChild *c, BlockDriverState *base, | ||
50 | return 0; | ||
51 | } | ||
52 | |||
53 | +static AioContext *bdrv_child_cb_get_parent_aio_context(BdrvChild *c) | ||
54 | +{ | ||
55 | + BlockDriverState *bs = c->opaque; | ||
56 | + | ||
57 | + return bdrv_get_aio_context(bs); | ||
58 | +} | ||
59 | + | ||
60 | const BdrvChildClass child_of_bds = { | ||
61 | .parent_is_bds = true, | ||
62 | .get_parent_desc = bdrv_child_get_parent_desc, | ||
63 | @@ -XXX,XX +XXX,XX @@ const BdrvChildClass child_of_bds = { | ||
64 | .can_set_aio_ctx = bdrv_child_cb_can_set_aio_ctx, | ||
65 | .set_aio_ctx = bdrv_child_cb_set_aio_ctx, | ||
66 | .update_filename = bdrv_child_cb_update_filename, | ||
67 | + .get_parent_aio_context = bdrv_child_cb_get_parent_aio_context, | ||
68 | }; | ||
69 | |||
70 | +AioContext *bdrv_child_get_parent_aio_context(BdrvChild *c) | ||
71 | +{ | ||
72 | + return c->klass->get_parent_aio_context(c); | ||
73 | +} | ||
74 | + | ||
75 | static int bdrv_open_flags(BlockDriverState *bs, int flags) | ||
76 | { | ||
77 | int open_flags = flags; | ||
78 | diff --git a/block/block-backend.c b/block/block-backend.c | ||
79 | index XXXXXXX..XXXXXXX 100644 | ||
80 | --- a/block/block-backend.c | ||
81 | +++ b/block/block-backend.c | ||
82 | @@ -XXX,XX +XXX,XX @@ static void blk_root_detach(BdrvChild *child) | ||
83 | } | ||
84 | } | ||
85 | |||
86 | +static AioContext *blk_root_get_parent_aio_context(BdrvChild *c) | ||
87 | +{ | ||
88 | + BlockBackend *blk = c->opaque; | ||
89 | + | ||
90 | + return blk_get_aio_context(blk); | ||
91 | +} | ||
92 | + | ||
93 | static const BdrvChildClass child_root = { | ||
94 | .inherit_options = blk_root_inherit_options, | ||
95 | |||
96 | @@ -XXX,XX +XXX,XX @@ static const BdrvChildClass child_root = { | ||
97 | |||
98 | .can_set_aio_ctx = blk_root_can_set_aio_ctx, | ||
99 | .set_aio_ctx = blk_root_set_aio_ctx, | ||
100 | + | ||
101 | + .get_parent_aio_context = blk_root_get_parent_aio_context, | ||
102 | }; | ||
103 | |||
104 | /* | ||
105 | diff --git a/blockjob.c b/blockjob.c | ||
106 | index XXXXXXX..XXXXXXX 100644 | ||
107 | --- a/blockjob.c | ||
108 | +++ b/blockjob.c | ||
109 | @@ -XXX,XX +XXX,XX @@ static void child_job_set_aio_ctx(BdrvChild *c, AioContext *ctx, | ||
110 | job->job.aio_context = ctx; | ||
111 | } | ||
112 | |||
113 | +static AioContext *child_job_get_parent_aio_context(BdrvChild *c) | ||
114 | +{ | ||
115 | + BlockJob *job = c->opaque; | ||
116 | + | ||
117 | + return job->job.aio_context; | ||
118 | +} | ||
119 | + | ||
120 | static const BdrvChildClass child_job = { | ||
121 | .get_parent_desc = child_job_get_parent_desc, | ||
122 | .drained_begin = child_job_drained_begin, | ||
123 | @@ -XXX,XX +XXX,XX @@ static const BdrvChildClass child_job = { | ||
124 | .can_set_aio_ctx = child_job_can_set_aio_ctx, | ||
125 | .set_aio_ctx = child_job_set_aio_ctx, | ||
126 | .stay_at_node = true, | ||
127 | + .get_parent_aio_context = child_job_get_parent_aio_context, | ||
128 | }; | ||
129 | |||
130 | void block_job_remove_all_bdrv(BlockJob *job) | ||
131 | -- | ||
132 | 2.30.2 | ||
133 | |||
134 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Passing parent aio context is redundant, as child_class and parent | ||
4 | opaque pointer are enough to retrieve it. Drop the argument and use new | ||
5 | bdrv_child_get_parent_aio_context() interface. | ||
6 | |||
7 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
8 | Reviewed-by: Alberto Garcia <berto@igalia.com> | ||
9 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | Message-Id: <20210428151804.439460-7-vsementsov@virtuozzo.com> | ||
11 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
12 | --- | ||
13 | include/block/block_int.h | 1 - | ||
14 | block.c | 8 +++++--- | ||
15 | block/block-backend.c | 4 ++-- | ||
16 | blockjob.c | 3 +-- | ||
17 | 4 files changed, 8 insertions(+), 8 deletions(-) | ||
18 | |||
19 | diff --git a/include/block/block_int.h b/include/block/block_int.h | ||
20 | index XXXXXXX..XXXXXXX 100644 | ||
21 | --- a/include/block/block_int.h | ||
22 | +++ b/include/block/block_int.h | ||
23 | @@ -XXX,XX +XXX,XX @@ BdrvChild *bdrv_root_attach_child(BlockDriverState *child_bs, | ||
24 | const char *child_name, | ||
25 | const BdrvChildClass *child_class, | ||
26 | BdrvChildRole child_role, | ||
27 | - AioContext *ctx, | ||
28 | uint64_t perm, uint64_t shared_perm, | ||
29 | void *opaque, Error **errp); | ||
30 | void bdrv_root_unref_child(BdrvChild *child); | ||
31 | diff --git a/block.c b/block.c | ||
32 | index XXXXXXX..XXXXXXX 100644 | ||
33 | --- a/block.c | ||
34 | +++ b/block.c | ||
35 | @@ -XXX,XX +XXX,XX @@ BdrvChild *bdrv_root_attach_child(BlockDriverState *child_bs, | ||
36 | const char *child_name, | ||
37 | const BdrvChildClass *child_class, | ||
38 | BdrvChildRole child_role, | ||
39 | - AioContext *ctx, | ||
40 | uint64_t perm, uint64_t shared_perm, | ||
41 | void *opaque, Error **errp) | ||
42 | { | ||
43 | BdrvChild *child; | ||
44 | Error *local_err = NULL; | ||
45 | int ret; | ||
46 | + AioContext *ctx; | ||
47 | |||
48 | ret = bdrv_check_update_perm(child_bs, NULL, perm, shared_perm, NULL, errp); | ||
49 | if (ret < 0) { | ||
50 | @@ -XXX,XX +XXX,XX @@ BdrvChild *bdrv_root_attach_child(BlockDriverState *child_bs, | ||
51 | .opaque = opaque, | ||
52 | }; | ||
53 | |||
54 | + ctx = bdrv_child_get_parent_aio_context(child); | ||
55 | + | ||
56 | /* If the AioContexts don't match, first try to move the subtree of | ||
57 | * child_bs into the AioContext of the new parent. If this doesn't work, | ||
58 | * try moving the parent into the AioContext of child_bs instead. */ | ||
59 | @@ -XXX,XX +XXX,XX @@ BdrvChild *bdrv_attach_child(BlockDriverState *parent_bs, | ||
60 | perm, shared_perm, &perm, &shared_perm); | ||
61 | |||
62 | child = bdrv_root_attach_child(child_bs, child_name, child_class, | ||
63 | - child_role, bdrv_get_aio_context(parent_bs), | ||
64 | - perm, shared_perm, parent_bs, errp); | ||
65 | + child_role, perm, shared_perm, parent_bs, | ||
66 | + errp); | ||
67 | if (child == NULL) { | ||
68 | return NULL; | ||
69 | } | ||
70 | diff --git a/block/block-backend.c b/block/block-backend.c | ||
71 | index XXXXXXX..XXXXXXX 100644 | ||
72 | --- a/block/block-backend.c | ||
73 | +++ b/block/block-backend.c | ||
74 | @@ -XXX,XX +XXX,XX @@ BlockBackend *blk_new_open(const char *filename, const char *reference, | ||
75 | |||
76 | blk->root = bdrv_root_attach_child(bs, "root", &child_root, | ||
77 | BDRV_CHILD_FILTERED | BDRV_CHILD_PRIMARY, | ||
78 | - blk->ctx, perm, BLK_PERM_ALL, blk, errp); | ||
79 | + perm, BLK_PERM_ALL, blk, errp); | ||
80 | if (!blk->root) { | ||
81 | blk_unref(blk); | ||
82 | return NULL; | ||
83 | @@ -XXX,XX +XXX,XX @@ int blk_insert_bs(BlockBackend *blk, BlockDriverState *bs, Error **errp) | ||
84 | bdrv_ref(bs); | ||
85 | blk->root = bdrv_root_attach_child(bs, "root", &child_root, | ||
86 | BDRV_CHILD_FILTERED | BDRV_CHILD_PRIMARY, | ||
87 | - blk->ctx, blk->perm, blk->shared_perm, | ||
88 | + blk->perm, blk->shared_perm, | ||
89 | blk, errp); | ||
90 | if (blk->root == NULL) { | ||
91 | return -EPERM; | ||
92 | diff --git a/blockjob.c b/blockjob.c | ||
93 | index XXXXXXX..XXXXXXX 100644 | ||
94 | --- a/blockjob.c | ||
95 | +++ b/blockjob.c | ||
96 | @@ -XXX,XX +XXX,XX @@ int block_job_add_bdrv(BlockJob *job, const char *name, BlockDriverState *bs, | ||
97 | if (need_context_ops && job->job.aio_context != qemu_get_aio_context()) { | ||
98 | aio_context_release(job->job.aio_context); | ||
99 | } | ||
100 | - c = bdrv_root_attach_child(bs, name, &child_job, 0, | ||
101 | - job->job.aio_context, perm, shared_perm, job, | ||
102 | + c = bdrv_root_attach_child(bs, name, &child_job, 0, perm, shared_perm, job, | ||
103 | errp); | ||
104 | if (need_context_ops && job->job.aio_context != qemu_get_aio_context()) { | ||
105 | aio_context_acquire(job->job.aio_context); | ||
106 | -- | ||
107 | 2.30.2 | ||
108 | |||
109 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | These functions are called only from bdrv_reopen_multiple() in block.c. | ||
4 | No reason to publish them. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Alberto Garcia <berto@igalia.com> | ||
8 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | Message-Id: <20210428151804.439460-8-vsementsov@virtuozzo.com> | ||
10 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
11 | --- | ||
12 | include/block/block.h | 4 ---- | ||
13 | block.c | 13 +++++++++---- | ||
14 | 2 files changed, 9 insertions(+), 8 deletions(-) | ||
15 | |||
16 | diff --git a/include/block/block.h b/include/block/block.h | ||
17 | index XXXXXXX..XXXXXXX 100644 | ||
18 | --- a/include/block/block.h | ||
19 | +++ b/include/block/block.h | ||
20 | @@ -XXX,XX +XXX,XX @@ BlockReopenQueue *bdrv_reopen_queue(BlockReopenQueue *bs_queue, | ||
21 | int bdrv_reopen_multiple(BlockReopenQueue *bs_queue, Error **errp); | ||
22 | int bdrv_reopen_set_read_only(BlockDriverState *bs, bool read_only, | ||
23 | Error **errp); | ||
24 | -int bdrv_reopen_prepare(BDRVReopenState *reopen_state, | ||
25 | - BlockReopenQueue *queue, Error **errp); | ||
26 | -void bdrv_reopen_commit(BDRVReopenState *reopen_state); | ||
27 | -void bdrv_reopen_abort(BDRVReopenState *reopen_state); | ||
28 | int bdrv_pwrite_zeroes(BdrvChild *child, int64_t offset, | ||
29 | int64_t bytes, BdrvRequestFlags flags); | ||
30 | int bdrv_make_zero(BdrvChild *child, BdrvRequestFlags flags); | ||
31 | diff --git a/block.c b/block.c | ||
32 | index XXXXXXX..XXXXXXX 100644 | ||
33 | --- a/block.c | ||
34 | +++ b/block.c | ||
35 | @@ -XXX,XX +XXX,XX @@ static BlockDriverState *bdrv_open_inherit(const char *filename, | ||
36 | BdrvChildRole child_role, | ||
37 | Error **errp); | ||
38 | |||
39 | +static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, BlockReopenQueue | ||
40 | + *queue, Error **errp); | ||
41 | +static void bdrv_reopen_commit(BDRVReopenState *reopen_state); | ||
42 | +static void bdrv_reopen_abort(BDRVReopenState *reopen_state); | ||
43 | + | ||
44 | /* If non-zero, use only whitelisted block drivers */ | ||
45 | static int use_bdrv_whitelist; | ||
46 | |||
47 | @@ -XXX,XX +XXX,XX @@ static int bdrv_reopen_parse_backing(BDRVReopenState *reopen_state, | ||
48 | * commit() for any other BDS that have been left in a prepare() state | ||
49 | * | ||
50 | */ | ||
51 | -int bdrv_reopen_prepare(BDRVReopenState *reopen_state, BlockReopenQueue *queue, | ||
52 | - Error **errp) | ||
53 | +static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, | ||
54 | + BlockReopenQueue *queue, Error **errp) | ||
55 | { | ||
56 | int ret = -1; | ||
57 | int old_flags; | ||
58 | @@ -XXX,XX +XXX,XX @@ error: | ||
59 | * makes them final by swapping the staging BlockDriverState contents into | ||
60 | * the active BlockDriverState contents. | ||
61 | */ | ||
62 | -void bdrv_reopen_commit(BDRVReopenState *reopen_state) | ||
63 | +static void bdrv_reopen_commit(BDRVReopenState *reopen_state) | ||
64 | { | ||
65 | BlockDriver *drv; | ||
66 | BlockDriverState *bs; | ||
67 | @@ -XXX,XX +XXX,XX @@ void bdrv_reopen_commit(BDRVReopenState *reopen_state) | ||
68 | * Abort the reopen, and delete and free the staged changes in | ||
69 | * reopen_state | ||
70 | */ | ||
71 | -void bdrv_reopen_abort(BDRVReopenState *reopen_state) | ||
72 | +static void bdrv_reopen_abort(BDRVReopenState *reopen_state) | ||
73 | { | ||
74 | BlockDriver *drv; | ||
75 | |||
76 | -- | ||
77 | 2.30.2 | ||
78 | |||
79 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Add simple transaction API to use in further update of block graph | ||
4 | operations. | ||
5 | |||
6 | Supposed usage is: | ||
7 | |||
8 | - "prepare" is main function of the action and it should make the main | ||
9 | effect of the action to be visible for the following actions, keeping | ||
10 | possibility of roll-back, saving necessary things in action state, | ||
11 | which is prepended to the action list (to do that, prepare func | ||
12 | should call tran_add()). So, driver struct doesn't include "prepare" | ||
13 | field, as it is supposed to be called directly. | ||
14 | |||
15 | - commit/rollback is supposed to be called for the list of action | ||
16 | states, to commit/rollback all the actions in reverse order | ||
17 | |||
18 | - When possible "commit" should not make visible effect for other | ||
19 | actions, which make possible transparent logical interaction between | ||
20 | actions. | ||
21 | |||
22 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
23 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
24 | Message-Id: <20210428151804.439460-9-vsementsov@virtuozzo.com> | ||
25 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
26 | --- | ||
27 | include/qemu/transactions.h | 63 ++++++++++++++++++++++++ | ||
28 | util/transactions.c | 96 +++++++++++++++++++++++++++++++++++++ | ||
29 | MAINTAINERS | 6 +++ | ||
30 | util/meson.build | 1 + | ||
31 | 4 files changed, 166 insertions(+) | ||
32 | create mode 100644 include/qemu/transactions.h | ||
33 | create mode 100644 util/transactions.c | ||
34 | |||
35 | diff --git a/include/qemu/transactions.h b/include/qemu/transactions.h | ||
36 | new file mode 100644 | ||
37 | index XXXXXXX..XXXXXXX | ||
38 | --- /dev/null | ||
39 | +++ b/include/qemu/transactions.h | ||
40 | @@ -XXX,XX +XXX,XX @@ | ||
41 | +/* | ||
42 | + * Simple transactions API | ||
43 | + * | ||
44 | + * Copyright (c) 2021 Virtuozzo International GmbH. | ||
45 | + * | ||
46 | + * Author: | ||
47 | + * Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
48 | + * | ||
49 | + * This program is free software; you can redistribute it and/or modify | ||
50 | + * it under the terms of the GNU General Public License as published by | ||
51 | + * the Free Software Foundation; either version 2 of the License, or | ||
52 | + * (at your option) any later version. | ||
53 | + * | ||
54 | + * This program is distributed in the hope that it will be useful, | ||
55 | + * but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
56 | + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
57 | + * GNU General Public License for more details. | ||
58 | + * | ||
59 | + * You should have received a copy of the GNU General Public License | ||
60 | + * along with this program. If not, see <http://www.gnu.org/licenses/>. | ||
61 | + * | ||
62 | + * | ||
63 | + * = Generic transaction API = | ||
64 | + * | ||
65 | + * The intended usage is the following: you create "prepare" functions, which | ||
66 | + * represents the actions. They will usually have Transaction* argument, and | ||
67 | + * call tran_add() to register finalization callbacks. For finalization | ||
68 | + * callbacks, prepare corresponding TransactionActionDrv structures. | ||
69 | + * | ||
70 | + * Then, when you need to make a transaction, create an empty Transaction by | ||
71 | + * tran_create(), call your "prepare" functions on it, and finally call | ||
72 | + * tran_abort() or tran_commit() to finalize the transaction by corresponding | ||
73 | + * finalization actions in reverse order. | ||
74 | + */ | ||
75 | + | ||
76 | +#ifndef QEMU_TRANSACTIONS_H | ||
77 | +#define QEMU_TRANSACTIONS_H | ||
78 | + | ||
79 | +#include <gmodule.h> | ||
80 | + | ||
81 | +typedef struct TransactionActionDrv { | ||
82 | + void (*abort)(void *opaque); | ||
83 | + void (*commit)(void *opaque); | ||
84 | + void (*clean)(void *opaque); | ||
85 | +} TransactionActionDrv; | ||
86 | + | ||
87 | +typedef struct Transaction Transaction; | ||
88 | + | ||
89 | +Transaction *tran_new(void); | ||
90 | +void tran_add(Transaction *tran, TransactionActionDrv *drv, void *opaque); | ||
91 | +void tran_abort(Transaction *tran); | ||
92 | +void tran_commit(Transaction *tran); | ||
93 | + | ||
94 | +static inline void tran_finalize(Transaction *tran, int ret) | ||
95 | +{ | ||
96 | + if (ret < 0) { | ||
97 | + tran_abort(tran); | ||
98 | + } else { | ||
99 | + tran_commit(tran); | ||
100 | + } | ||
101 | +} | ||
102 | + | ||
103 | +#endif /* QEMU_TRANSACTIONS_H */ | ||
104 | diff --git a/util/transactions.c b/util/transactions.c | ||
105 | new file mode 100644 | ||
106 | index XXXXXXX..XXXXXXX | ||
107 | --- /dev/null | ||
108 | +++ b/util/transactions.c | ||
109 | @@ -XXX,XX +XXX,XX @@ | ||
110 | +/* | ||
111 | + * Simple transactions API | ||
112 | + * | ||
113 | + * Copyright (c) 2021 Virtuozzo International GmbH. | ||
114 | + * | ||
115 | + * Author: | ||
116 | + * Sementsov-Ogievskiy Vladimir <vsementsov@virtuozzo.com> | ||
117 | + * | ||
118 | + * This program is free software; you can redistribute it and/or modify | ||
119 | + * it under the terms of the GNU General Public License as published by | ||
120 | + * the Free Software Foundation; either version 2 of the License, or | ||
121 | + * (at your option) any later version. | ||
122 | + * | ||
123 | + * This program is distributed in the hope that it will be useful, | ||
124 | + * but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
125 | + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
126 | + * GNU General Public License for more details. | ||
127 | + * | ||
128 | + * You should have received a copy of the GNU General Public License | ||
129 | + * along with this program. If not, see <http://www.gnu.org/licenses/>. | ||
130 | + */ | ||
131 | + | ||
132 | +#include "qemu/osdep.h" | ||
133 | + | ||
134 | +#include "qemu/transactions.h" | ||
135 | +#include "qemu/queue.h" | ||
136 | + | ||
137 | +typedef struct TransactionAction { | ||
138 | + TransactionActionDrv *drv; | ||
139 | + void *opaque; | ||
140 | + QSLIST_ENTRY(TransactionAction) entry; | ||
141 | +} TransactionAction; | ||
142 | + | ||
143 | +struct Transaction { | ||
144 | + QSLIST_HEAD(, TransactionAction) actions; | ||
145 | +}; | ||
146 | + | ||
147 | +Transaction *tran_new(void) | ||
148 | +{ | ||
149 | + Transaction *tran = g_new(Transaction, 1); | ||
150 | + | ||
151 | + QSLIST_INIT(&tran->actions); | ||
152 | + | ||
153 | + return tran; | ||
154 | +} | ||
155 | + | ||
156 | +void tran_add(Transaction *tran, TransactionActionDrv *drv, void *opaque) | ||
157 | +{ | ||
158 | + TransactionAction *act; | ||
159 | + | ||
160 | + act = g_new(TransactionAction, 1); | ||
161 | + *act = (TransactionAction) { | ||
162 | + .drv = drv, | ||
163 | + .opaque = opaque | ||
164 | + }; | ||
165 | + | ||
166 | + QSLIST_INSERT_HEAD(&tran->actions, act, entry); | ||
167 | +} | ||
168 | + | ||
169 | +void tran_abort(Transaction *tran) | ||
170 | +{ | ||
171 | + TransactionAction *act, *next; | ||
172 | + | ||
173 | + QSLIST_FOREACH_SAFE(act, &tran->actions, entry, next) { | ||
174 | + if (act->drv->abort) { | ||
175 | + act->drv->abort(act->opaque); | ||
176 | + } | ||
177 | + | ||
178 | + if (act->drv->clean) { | ||
179 | + act->drv->clean(act->opaque); | ||
180 | + } | ||
181 | + | ||
182 | + g_free(act); | ||
183 | + } | ||
184 | + | ||
185 | + g_free(tran); | ||
186 | +} | ||
187 | + | ||
188 | +void tran_commit(Transaction *tran) | ||
189 | +{ | ||
190 | + TransactionAction *act, *next; | ||
191 | + | ||
192 | + QSLIST_FOREACH_SAFE(act, &tran->actions, entry, next) { | ||
193 | + if (act->drv->commit) { | ||
194 | + act->drv->commit(act->opaque); | ||
195 | + } | ||
196 | + | ||
197 | + if (act->drv->clean) { | ||
198 | + act->drv->clean(act->opaque); | ||
199 | + } | ||
200 | + | ||
201 | + g_free(act); | ||
202 | + } | ||
203 | + | ||
204 | + g_free(tran); | ||
205 | +} | ||
206 | diff --git a/MAINTAINERS b/MAINTAINERS | ||
207 | index XXXXXXX..XXXXXXX 100644 | ||
208 | --- a/MAINTAINERS | ||
209 | +++ b/MAINTAINERS | ||
210 | @@ -XXX,XX +XXX,XX @@ M: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
211 | S: Maintained | ||
212 | F: scripts/simplebench/ | ||
213 | |||
214 | +Transactions helper | ||
215 | +M: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
216 | +S: Maintained | ||
217 | +F: include/qemu/transactions.h | ||
218 | +F: util/transactions.c | ||
219 | + | ||
220 | QAPI | ||
221 | M: Markus Armbruster <armbru@redhat.com> | ||
222 | M: Michael Roth <michael.roth@amd.com> | ||
223 | diff --git a/util/meson.build b/util/meson.build | ||
224 | index XXXXXXX..XXXXXXX 100644 | ||
225 | --- a/util/meson.build | ||
226 | +++ b/util/meson.build | ||
227 | @@ -XXX,XX +XXX,XX @@ util_ss.add(files('qsp.c')) | ||
228 | util_ss.add(files('range.c')) | ||
229 | util_ss.add(files('stats64.c')) | ||
230 | util_ss.add(files('systemd.c')) | ||
231 | +util_ss.add(files('transactions.c')) | ||
232 | util_ss.add(when: 'CONFIG_POSIX', if_true: files('drm.c')) | ||
233 | util_ss.add(files('guest-random.c')) | ||
234 | util_ss.add(files('yank.c')) | ||
235 | -- | ||
236 | 2.30.2 | ||
237 | |||
238 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Add additional check that node parents do not interfere with each | ||
4 | other. This should not hurt existing callers and allows in further | ||
5 | patch use bdrv_refresh_perms() to update a subtree of changed | ||
6 | BdrvChild (check that change is correct). | ||
7 | |||
8 | New check will substitute bdrv_check_update_perm() in following | ||
9 | permissions refactoring, so keep error messages the same to avoid | ||
10 | unit test result changes. | ||
11 | |||
12 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
13 | Reviewed-by: Alberto Garcia <berto@igalia.com> | ||
14 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
15 | Message-Id: <20210428151804.439460-10-vsementsov@virtuozzo.com> | ||
16 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
17 | --- | ||
18 | block.c | 63 ++++++++++++++++++++++++++++++++++++++++++++++++--------- | ||
19 | 1 file changed, 54 insertions(+), 9 deletions(-) | ||
20 | |||
21 | diff --git a/block.c b/block.c | ||
22 | index XXXXXXX..XXXXXXX 100644 | ||
23 | --- a/block.c | ||
24 | +++ b/block.c | ||
25 | @@ -XXX,XX +XXX,XX @@ bool bdrv_is_writable(BlockDriverState *bs) | ||
26 | return bdrv_is_writable_after_reopen(bs, NULL); | ||
27 | } | ||
28 | |||
29 | +static char *bdrv_child_user_desc(BdrvChild *c) | ||
30 | +{ | ||
31 | + if (c->klass->get_parent_desc) { | ||
32 | + return c->klass->get_parent_desc(c); | ||
33 | + } | ||
34 | + | ||
35 | + return g_strdup("another user"); | ||
36 | +} | ||
37 | + | ||
38 | +static bool bdrv_a_allow_b(BdrvChild *a, BdrvChild *b, Error **errp) | ||
39 | +{ | ||
40 | + g_autofree char *user = NULL; | ||
41 | + g_autofree char *perm_names = NULL; | ||
42 | + | ||
43 | + if ((b->perm & a->shared_perm) == b->perm) { | ||
44 | + return true; | ||
45 | + } | ||
46 | + | ||
47 | + perm_names = bdrv_perm_names(b->perm & ~a->shared_perm); | ||
48 | + user = bdrv_child_user_desc(a); | ||
49 | + error_setg(errp, "Conflicts with use by %s as '%s', which does not " | ||
50 | + "allow '%s' on %s", | ||
51 | + user, a->name, perm_names, bdrv_get_node_name(b->bs)); | ||
52 | + | ||
53 | + return false; | ||
54 | +} | ||
55 | + | ||
56 | +static bool bdrv_parent_perms_conflict(BlockDriverState *bs, Error **errp) | ||
57 | +{ | ||
58 | + BdrvChild *a, *b; | ||
59 | + | ||
60 | + /* | ||
61 | + * During the loop we'll look at each pair twice. That's correct because | ||
62 | + * bdrv_a_allow_b() is asymmetric and we should check each pair in both | ||
63 | + * directions. | ||
64 | + */ | ||
65 | + QLIST_FOREACH(a, &bs->parents, next_parent) { | ||
66 | + QLIST_FOREACH(b, &bs->parents, next_parent) { | ||
67 | + if (a == b) { | ||
68 | + continue; | ||
69 | + } | ||
70 | + | ||
71 | + if (!bdrv_a_allow_b(a, b, errp)) { | ||
72 | + return true; | ||
73 | + } | ||
74 | + } | ||
75 | + } | ||
76 | + | ||
77 | + return false; | ||
78 | +} | ||
79 | + | ||
80 | static void bdrv_child_perm(BlockDriverState *bs, BlockDriverState *child_bs, | ||
81 | BdrvChild *c, BdrvChildRole role, | ||
82 | BlockReopenQueue *reopen_queue, | ||
83 | @@ -XXX,XX +XXX,XX @@ void bdrv_get_cumulative_perm(BlockDriverState *bs, uint64_t *perm, | ||
84 | *shared_perm = cumulative_shared_perms; | ||
85 | } | ||
86 | |||
87 | -static char *bdrv_child_user_desc(BdrvChild *c) | ||
88 | -{ | ||
89 | - if (c->klass->get_parent_desc) { | ||
90 | - return c->klass->get_parent_desc(c); | ||
91 | - } | ||
92 | - | ||
93 | - return g_strdup("another user"); | ||
94 | -} | ||
95 | - | ||
96 | char *bdrv_perm_names(uint64_t perm) | ||
97 | { | ||
98 | struct perm_name { | ||
99 | @@ -XXX,XX +XXX,XX @@ static int bdrv_refresh_perms(BlockDriverState *bs, Error **errp) | ||
100 | int ret; | ||
101 | uint64_t perm, shared_perm; | ||
102 | |||
103 | + if (bdrv_parent_perms_conflict(bs, errp)) { | ||
104 | + return -EPERM; | ||
105 | + } | ||
106 | bdrv_get_cumulative_perm(bs, &perm, &shared_perm); | ||
107 | ret = bdrv_check_perm(bs, NULL, perm, shared_perm, NULL, errp); | ||
108 | if (ret < 0) { | ||
109 | -- | ||
110 | 2.30.2 | ||
111 | |||
112 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Split out non-recursive parts, and refactor as block graph transaction | ||
4 | action. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
8 | Message-Id: <20210428151804.439460-11-vsementsov@virtuozzo.com> | ||
9 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | --- | ||
11 | block.c | 79 ++++++++++++++++++++++++++++++++++++++++++--------------- | ||
12 | 1 file changed, 59 insertions(+), 20 deletions(-) | ||
13 | |||
14 | diff --git a/block.c b/block.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/block.c | ||
17 | +++ b/block.c | ||
18 | @@ -XXX,XX +XXX,XX @@ | ||
19 | #include "qemu/timer.h" | ||
20 | #include "qemu/cutils.h" | ||
21 | #include "qemu/id.h" | ||
22 | +#include "qemu/transactions.h" | ||
23 | #include "block/coroutines.h" | ||
24 | |||
25 | #ifdef CONFIG_BSD | ||
26 | @@ -XXX,XX +XXX,XX @@ static void bdrv_child_perm(BlockDriverState *bs, BlockDriverState *child_bs, | ||
27 | } | ||
28 | } | ||
29 | |||
30 | +static void bdrv_child_set_perm_commit(void *opaque) | ||
31 | +{ | ||
32 | + BdrvChild *c = opaque; | ||
33 | + | ||
34 | + c->has_backup_perm = false; | ||
35 | +} | ||
36 | + | ||
37 | +static void bdrv_child_set_perm_abort(void *opaque) | ||
38 | +{ | ||
39 | + BdrvChild *c = opaque; | ||
40 | + /* | ||
41 | + * We may have child->has_backup_perm unset at this point, as in case of | ||
42 | + * _check_ stage of permission update failure we may _check_ not the whole | ||
43 | + * subtree. Still, _abort_ is called on the whole subtree anyway. | ||
44 | + */ | ||
45 | + if (c->has_backup_perm) { | ||
46 | + c->perm = c->backup_perm; | ||
47 | + c->shared_perm = c->backup_shared_perm; | ||
48 | + c->has_backup_perm = false; | ||
49 | + } | ||
50 | +} | ||
51 | + | ||
52 | +static TransactionActionDrv bdrv_child_set_pem_drv = { | ||
53 | + .abort = bdrv_child_set_perm_abort, | ||
54 | + .commit = bdrv_child_set_perm_commit, | ||
55 | +}; | ||
56 | + | ||
57 | +/* | ||
58 | + * With tran=NULL needs to be followed by direct call to either | ||
59 | + * bdrv_child_set_perm_commit() or bdrv_child_set_perm_abort(). | ||
60 | + * | ||
61 | + * With non-NULL tran needs to be followed by tran_abort() or tran_commit() | ||
62 | + * instead. | ||
63 | + */ | ||
64 | +static void bdrv_child_set_perm_safe(BdrvChild *c, uint64_t perm, | ||
65 | + uint64_t shared, Transaction *tran) | ||
66 | +{ | ||
67 | + if (!c->has_backup_perm) { | ||
68 | + c->has_backup_perm = true; | ||
69 | + c->backup_perm = c->perm; | ||
70 | + c->backup_shared_perm = c->shared_perm; | ||
71 | + } | ||
72 | + /* | ||
73 | + * Note: it's OK if c->has_backup_perm was already set, as we can find the | ||
74 | + * same c twice during check_perm procedure | ||
75 | + */ | ||
76 | + | ||
77 | + c->perm = perm; | ||
78 | + c->shared_perm = shared; | ||
79 | + | ||
80 | + if (tran) { | ||
81 | + tran_add(tran, &bdrv_child_set_pem_drv, c); | ||
82 | + } | ||
83 | +} | ||
84 | + | ||
85 | /* | ||
86 | * Check whether permissions on this node can be changed in a way that | ||
87 | * @cumulative_perms and @cumulative_shared_perms are the new cumulative | ||
88 | @@ -XXX,XX +XXX,XX @@ static int bdrv_child_check_perm(BdrvChild *c, BlockReopenQueue *q, | ||
89 | return ret; | ||
90 | } | ||
91 | |||
92 | - if (!c->has_backup_perm) { | ||
93 | - c->has_backup_perm = true; | ||
94 | - c->backup_perm = c->perm; | ||
95 | - c->backup_shared_perm = c->shared_perm; | ||
96 | - } | ||
97 | - /* | ||
98 | - * Note: it's OK if c->has_backup_perm was already set, as we can find the | ||
99 | - * same child twice during check_perm procedure | ||
100 | - */ | ||
101 | - | ||
102 | - c->perm = perm; | ||
103 | - c->shared_perm = shared; | ||
104 | + bdrv_child_set_perm_safe(c, perm, shared, NULL); | ||
105 | |||
106 | return 0; | ||
107 | } | ||
108 | |||
109 | static void bdrv_child_set_perm(BdrvChild *c) | ||
110 | { | ||
111 | - c->has_backup_perm = false; | ||
112 | - | ||
113 | + bdrv_child_set_perm_commit(c); | ||
114 | bdrv_set_perm(c->bs); | ||
115 | } | ||
116 | |||
117 | static void bdrv_child_abort_perm_update(BdrvChild *c) | ||
118 | { | ||
119 | - if (c->has_backup_perm) { | ||
120 | - c->perm = c->backup_perm; | ||
121 | - c->shared_perm = c->backup_shared_perm; | ||
122 | - c->has_backup_perm = false; | ||
123 | - } | ||
124 | - | ||
125 | + bdrv_child_set_perm_abort(c); | ||
126 | bdrv_abort_perm_update(c->bs); | ||
127 | } | ||
128 | |||
129 | -- | ||
130 | 2.30.2 | ||
131 | |||
132 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | We are going to drop recursive bdrv_child_* functions, so stop use them | ||
4 | in bdrv_child_try_set_perm() as a first step. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
8 | Message-Id: <20210428151804.439460-12-vsementsov@virtuozzo.com> | ||
9 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | --- | ||
11 | block.c | 14 ++++++++------ | ||
12 | 1 file changed, 8 insertions(+), 6 deletions(-) | ||
13 | |||
14 | diff --git a/block.c b/block.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/block.c | ||
17 | +++ b/block.c | ||
18 | @@ -XXX,XX +XXX,XX @@ int bdrv_child_try_set_perm(BdrvChild *c, uint64_t perm, uint64_t shared, | ||
19 | Error **errp) | ||
20 | { | ||
21 | Error *local_err = NULL; | ||
22 | + Transaction *tran = tran_new(); | ||
23 | int ret; | ||
24 | |||
25 | - ret = bdrv_child_check_perm(c, NULL, perm, shared, NULL, &local_err); | ||
26 | + bdrv_child_set_perm_safe(c, perm, shared, tran); | ||
27 | + | ||
28 | + ret = bdrv_refresh_perms(c->bs, &local_err); | ||
29 | + | ||
30 | + tran_finalize(tran, ret); | ||
31 | + | ||
32 | if (ret < 0) { | ||
33 | - bdrv_child_abort_perm_update(c); | ||
34 | if ((perm & ~c->perm) || (c->shared_perm & ~shared)) { | ||
35 | /* tighten permissions */ | ||
36 | error_propagate(errp, local_err); | ||
37 | @@ -XXX,XX +XXX,XX @@ int bdrv_child_try_set_perm(BdrvChild *c, uint64_t perm, uint64_t shared, | ||
38 | error_free(local_err); | ||
39 | ret = 0; | ||
40 | } | ||
41 | - return ret; | ||
42 | } | ||
43 | |||
44 | - bdrv_child_set_perm(c); | ||
45 | - | ||
46 | - return 0; | ||
47 | + return ret; | ||
48 | } | ||
49 | |||
50 | int bdrv_child_refresh_perms(BlockDriverState *bs, BdrvChild *c, Error **errp) | ||
51 | -- | ||
52 | 2.30.2 | ||
53 | |||
54 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Each of them has only one caller. Open-coding simplifies further | ||
4 | pemission-update system changes. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Alberto Garcia <berto@igalia.com> | ||
8 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | Message-Id: <20210428151804.439460-13-vsementsov@virtuozzo.com> | ||
10 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
11 | --- | ||
12 | block.c | 59 +++++++++++++++++---------------------------------------- | ||
13 | 1 file changed, 17 insertions(+), 42 deletions(-) | ||
14 | |||
15 | diff --git a/block.c b/block.c | ||
16 | index XXXXXXX..XXXXXXX 100644 | ||
17 | --- a/block.c | ||
18 | +++ b/block.c | ||
19 | @@ -XXX,XX +XXX,XX @@ static int bdrv_fill_options(QDict **options, const char *filename, | ||
20 | return 0; | ||
21 | } | ||
22 | |||
23 | -static int bdrv_child_check_perm(BdrvChild *c, BlockReopenQueue *q, | ||
24 | - uint64_t perm, uint64_t shared, | ||
25 | - GSList *ignore_children, Error **errp); | ||
26 | -static void bdrv_child_abort_perm_update(BdrvChild *c); | ||
27 | -static void bdrv_child_set_perm(BdrvChild *c); | ||
28 | +static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
29 | + uint64_t new_used_perm, | ||
30 | + uint64_t new_shared_perm, | ||
31 | + GSList *ignore_children, | ||
32 | + Error **errp); | ||
33 | |||
34 | typedef struct BlockReopenQueueEntry { | ||
35 | bool prepared; | ||
36 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
37 | /* Check all children */ | ||
38 | QLIST_FOREACH(c, &bs->children, next) { | ||
39 | uint64_t cur_perm, cur_shared; | ||
40 | + GSList *cur_ignore_children; | ||
41 | |||
42 | bdrv_child_perm(bs, c->bs, c, c->role, q, | ||
43 | cumulative_perms, cumulative_shared_perms, | ||
44 | &cur_perm, &cur_shared); | ||
45 | - ret = bdrv_child_check_perm(c, q, cur_perm, cur_shared, ignore_children, | ||
46 | - errp); | ||
47 | + | ||
48 | + cur_ignore_children = g_slist_prepend(g_slist_copy(ignore_children), c); | ||
49 | + ret = bdrv_check_update_perm(c->bs, q, cur_perm, cur_shared, | ||
50 | + cur_ignore_children, errp); | ||
51 | + g_slist_free(cur_ignore_children); | ||
52 | if (ret < 0) { | ||
53 | return ret; | ||
54 | } | ||
55 | + | ||
56 | + bdrv_child_set_perm_safe(c, cur_perm, cur_shared, NULL); | ||
57 | } | ||
58 | |||
59 | return 0; | ||
60 | @@ -XXX,XX +XXX,XX @@ static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
61 | } | ||
62 | |||
63 | QLIST_FOREACH(c, &bs->children, next) { | ||
64 | - bdrv_child_abort_perm_update(c); | ||
65 | + bdrv_child_set_perm_abort(c); | ||
66 | + bdrv_abort_perm_update(c->bs); | ||
67 | } | ||
68 | } | ||
69 | |||
70 | @@ -XXX,XX +XXX,XX @@ static void bdrv_set_perm(BlockDriverState *bs) | ||
71 | |||
72 | /* Update all children */ | ||
73 | QLIST_FOREACH(c, &bs->children, next) { | ||
74 | - bdrv_child_set_perm(c); | ||
75 | + bdrv_child_set_perm_commit(c); | ||
76 | + bdrv_set_perm(c->bs); | ||
77 | } | ||
78 | } | ||
79 | |||
80 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
81 | ignore_children, errp); | ||
82 | } | ||
83 | |||
84 | -/* Needs to be followed by a call to either bdrv_child_set_perm() or | ||
85 | - * bdrv_child_abort_perm_update(). */ | ||
86 | -static int bdrv_child_check_perm(BdrvChild *c, BlockReopenQueue *q, | ||
87 | - uint64_t perm, uint64_t shared, | ||
88 | - GSList *ignore_children, Error **errp) | ||
89 | -{ | ||
90 | - int ret; | ||
91 | - | ||
92 | - ignore_children = g_slist_prepend(g_slist_copy(ignore_children), c); | ||
93 | - ret = bdrv_check_update_perm(c->bs, q, perm, shared, ignore_children, errp); | ||
94 | - g_slist_free(ignore_children); | ||
95 | - | ||
96 | - if (ret < 0) { | ||
97 | - return ret; | ||
98 | - } | ||
99 | - | ||
100 | - bdrv_child_set_perm_safe(c, perm, shared, NULL); | ||
101 | - | ||
102 | - return 0; | ||
103 | -} | ||
104 | - | ||
105 | -static void bdrv_child_set_perm(BdrvChild *c) | ||
106 | -{ | ||
107 | - bdrv_child_set_perm_commit(c); | ||
108 | - bdrv_set_perm(c->bs); | ||
109 | -} | ||
110 | - | ||
111 | -static void bdrv_child_abort_perm_update(BdrvChild *c) | ||
112 | -{ | ||
113 | - bdrv_child_set_perm_abort(c); | ||
114 | - bdrv_abort_perm_update(c->bs); | ||
115 | -} | ||
116 | - | ||
117 | static int bdrv_refresh_perms(BlockDriverState *bs, Error **errp) | ||
118 | { | ||
119 | int ret; | ||
120 | -- | ||
121 | 2.30.2 | ||
122 | |||
123 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Rewrite bdrv_check_perm(), bdrv_abort_perm_update() and bdrv_set_perm() | ||
4 | to update nodes in topological sort order instead of simple DFS. With | ||
5 | topologically sorted nodes, we update a node only when all its parents | ||
6 | already updated. With DFS it's not so. | ||
7 | |||
8 | Consider the following example: | ||
9 | |||
10 | A -+ | ||
11 | | | | ||
12 | | v | ||
13 | | B | ||
14 | | | | ||
15 | v | | ||
16 | C<-+ | ||
17 | |||
18 | A is parent for B and C, B is parent for C. | ||
19 | |||
20 | Obviously, to update permissions, we should go in order A B C, so, when | ||
21 | we update C, all parent permissions already updated. But with current | ||
22 | approach (simple recursion) we can update in sequence A C B C (C is | ||
23 | updated twice). On first update of C, we consider old B permissions, so | ||
24 | doing wrong thing. If it succeed, all is OK, on second C update we will | ||
25 | finish with correct graph. But if the wrong thing failed, we break the | ||
26 | whole process for no reason (it's possible that updated B permission | ||
27 | will be less strict, but we will never check it). | ||
28 | |||
29 | Also new approach gives a way to simultaneously and correctly update | ||
30 | several nodes, we just need to run bdrv_topological_dfs() several times | ||
31 | to add all nodes and their subtrees into one topologically sorted list | ||
32 | (next patch will update bdrv_replace_node() in this manner). | ||
33 | |||
34 | Test test_parallel_perm_update() is now passing, so move it out of | ||
35 | debugging "if". | ||
36 | |||
37 | We also need to support ignore_children in | ||
38 | bdrv_parent_perms_conflict() | ||
39 | |||
40 | For test 283 order of conflicting parents check is changed. | ||
41 | |||
42 | Note also that in bdrv_check_perm() we don't check for parents conflict | ||
43 | at root bs, as we may be in the middle of permission update in | ||
44 | bdrv_reopen_multiple(). bdrv_reopen_multiple() will be updated soon. | ||
45 | |||
46 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
47 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
48 | Message-Id: <20210428151804.439460-14-vsementsov@virtuozzo.com> | ||
49 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
50 | --- | ||
51 | block.c | 116 +++++++++++++++++++++++++------ | ||
52 | tests/unit/test-bdrv-graph-mod.c | 4 +- | ||
53 | tests/qemu-iotests/283.out | 2 +- | ||
54 | 3 files changed, 99 insertions(+), 23 deletions(-) | ||
55 | |||
56 | diff --git a/block.c b/block.c | ||
57 | index XXXXXXX..XXXXXXX 100644 | ||
58 | --- a/block.c | ||
59 | +++ b/block.c | ||
60 | @@ -XXX,XX +XXX,XX @@ static bool bdrv_a_allow_b(BdrvChild *a, BdrvChild *b, Error **errp) | ||
61 | return false; | ||
62 | } | ||
63 | |||
64 | -static bool bdrv_parent_perms_conflict(BlockDriverState *bs, Error **errp) | ||
65 | +static bool bdrv_parent_perms_conflict(BlockDriverState *bs, | ||
66 | + GSList *ignore_children, | ||
67 | + Error **errp) | ||
68 | { | ||
69 | BdrvChild *a, *b; | ||
70 | |||
71 | @@ -XXX,XX +XXX,XX @@ static bool bdrv_parent_perms_conflict(BlockDriverState *bs, Error **errp) | ||
72 | * directions. | ||
73 | */ | ||
74 | QLIST_FOREACH(a, &bs->parents, next_parent) { | ||
75 | + if (g_slist_find(ignore_children, a)) { | ||
76 | + continue; | ||
77 | + } | ||
78 | + | ||
79 | QLIST_FOREACH(b, &bs->parents, next_parent) { | ||
80 | - if (a == b) { | ||
81 | + if (a == b || g_slist_find(ignore_children, b)) { | ||
82 | continue; | ||
83 | } | ||
84 | |||
85 | @@ -XXX,XX +XXX,XX @@ static void bdrv_child_perm(BlockDriverState *bs, BlockDriverState *child_bs, | ||
86 | } | ||
87 | } | ||
88 | |||
89 | +/* | ||
90 | + * Adds the whole subtree of @bs (including @bs itself) to the @list (except for | ||
91 | + * nodes that are already in the @list, of course) so that final list is | ||
92 | + * topologically sorted. Return the result (GSList @list object is updated, so | ||
93 | + * don't use old reference after function call). | ||
94 | + * | ||
95 | + * On function start @list must be already topologically sorted and for any node | ||
96 | + * in the @list the whole subtree of the node must be in the @list as well. The | ||
97 | + * simplest way to satisfy this criteria: use only result of | ||
98 | + * bdrv_topological_dfs() or NULL as @list parameter. | ||
99 | + */ | ||
100 | +static GSList *bdrv_topological_dfs(GSList *list, GHashTable *found, | ||
101 | + BlockDriverState *bs) | ||
102 | +{ | ||
103 | + BdrvChild *child; | ||
104 | + g_autoptr(GHashTable) local_found = NULL; | ||
105 | + | ||
106 | + if (!found) { | ||
107 | + assert(!list); | ||
108 | + found = local_found = g_hash_table_new(NULL, NULL); | ||
109 | + } | ||
110 | + | ||
111 | + if (g_hash_table_contains(found, bs)) { | ||
112 | + return list; | ||
113 | + } | ||
114 | + g_hash_table_add(found, bs); | ||
115 | + | ||
116 | + QLIST_FOREACH(child, &bs->children, next) { | ||
117 | + list = bdrv_topological_dfs(list, found, child->bs); | ||
118 | + } | ||
119 | + | ||
120 | + return g_slist_prepend(list, bs); | ||
121 | +} | ||
122 | + | ||
123 | static void bdrv_child_set_perm_commit(void *opaque) | ||
124 | { | ||
125 | BdrvChild *c = opaque; | ||
126 | @@ -XXX,XX +XXX,XX @@ static void bdrv_child_set_perm_safe(BdrvChild *c, uint64_t perm, | ||
127 | * A call to this function must always be followed by a call to bdrv_set_perm() | ||
128 | * or bdrv_abort_perm_update(). | ||
129 | */ | ||
130 | -static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
131 | - uint64_t cumulative_perms, | ||
132 | - uint64_t cumulative_shared_perms, | ||
133 | - GSList *ignore_children, Error **errp) | ||
134 | +static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
135 | + uint64_t cumulative_perms, | ||
136 | + uint64_t cumulative_shared_perms, | ||
137 | + GSList *ignore_children, Error **errp) | ||
138 | { | ||
139 | BlockDriver *drv = bs->drv; | ||
140 | BdrvChild *c; | ||
141 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
142 | /* Check all children */ | ||
143 | QLIST_FOREACH(c, &bs->children, next) { | ||
144 | uint64_t cur_perm, cur_shared; | ||
145 | - GSList *cur_ignore_children; | ||
146 | |||
147 | bdrv_child_perm(bs, c->bs, c, c->role, q, | ||
148 | cumulative_perms, cumulative_shared_perms, | ||
149 | &cur_perm, &cur_shared); | ||
150 | + bdrv_child_set_perm_safe(c, cur_perm, cur_shared, NULL); | ||
151 | + } | ||
152 | + | ||
153 | + return 0; | ||
154 | +} | ||
155 | + | ||
156 | +static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
157 | + uint64_t cumulative_perms, | ||
158 | + uint64_t cumulative_shared_perms, | ||
159 | + GSList *ignore_children, Error **errp) | ||
160 | +{ | ||
161 | + int ret; | ||
162 | + BlockDriverState *root = bs; | ||
163 | + g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, root); | ||
164 | |||
165 | - cur_ignore_children = g_slist_prepend(g_slist_copy(ignore_children), c); | ||
166 | - ret = bdrv_check_update_perm(c->bs, q, cur_perm, cur_shared, | ||
167 | - cur_ignore_children, errp); | ||
168 | - g_slist_free(cur_ignore_children); | ||
169 | + for ( ; list; list = list->next) { | ||
170 | + bs = list->data; | ||
171 | + | ||
172 | + if (bs != root) { | ||
173 | + if (bdrv_parent_perms_conflict(bs, ignore_children, errp)) { | ||
174 | + return -EINVAL; | ||
175 | + } | ||
176 | + | ||
177 | + bdrv_get_cumulative_perm(bs, &cumulative_perms, | ||
178 | + &cumulative_shared_perms); | ||
179 | + } | ||
180 | + | ||
181 | + ret = bdrv_node_check_perm(bs, q, cumulative_perms, | ||
182 | + cumulative_shared_perms, | ||
183 | + ignore_children, errp); | ||
184 | if (ret < 0) { | ||
185 | return ret; | ||
186 | } | ||
187 | - | ||
188 | - bdrv_child_set_perm_safe(c, cur_perm, cur_shared, NULL); | ||
189 | } | ||
190 | |||
191 | return 0; | ||
192 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
193 | * Notifies drivers that after a previous bdrv_check_perm() call, the | ||
194 | * permission update is not performed and any preparations made for it (e.g. | ||
195 | * taken file locks) need to be undone. | ||
196 | - * | ||
197 | - * This function recursively notifies all child nodes. | ||
198 | */ | ||
199 | -static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
200 | +static void bdrv_node_abort_perm_update(BlockDriverState *bs) | ||
201 | { | ||
202 | BlockDriver *drv = bs->drv; | ||
203 | BdrvChild *c; | ||
204 | @@ -XXX,XX +XXX,XX @@ static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
205 | |||
206 | QLIST_FOREACH(c, &bs->children, next) { | ||
207 | bdrv_child_set_perm_abort(c); | ||
208 | - bdrv_abort_perm_update(c->bs); | ||
209 | } | ||
210 | } | ||
211 | |||
212 | -static void bdrv_set_perm(BlockDriverState *bs) | ||
213 | +static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
214 | +{ | ||
215 | + g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
216 | + | ||
217 | + for ( ; list; list = list->next) { | ||
218 | + bdrv_node_abort_perm_update((BlockDriverState *)list->data); | ||
219 | + } | ||
220 | +} | ||
221 | + | ||
222 | +static void bdrv_node_set_perm(BlockDriverState *bs) | ||
223 | { | ||
224 | uint64_t cumulative_perms, cumulative_shared_perms; | ||
225 | BlockDriver *drv = bs->drv; | ||
226 | @@ -XXX,XX +XXX,XX @@ static void bdrv_set_perm(BlockDriverState *bs) | ||
227 | /* Update all children */ | ||
228 | QLIST_FOREACH(c, &bs->children, next) { | ||
229 | bdrv_child_set_perm_commit(c); | ||
230 | - bdrv_set_perm(c->bs); | ||
231 | + } | ||
232 | +} | ||
233 | + | ||
234 | +static void bdrv_set_perm(BlockDriverState *bs) | ||
235 | +{ | ||
236 | + g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
237 | + | ||
238 | + for ( ; list; list = list->next) { | ||
239 | + bdrv_node_set_perm((BlockDriverState *)list->data); | ||
240 | } | ||
241 | } | ||
242 | |||
243 | @@ -XXX,XX +XXX,XX @@ static int bdrv_refresh_perms(BlockDriverState *bs, Error **errp) | ||
244 | int ret; | ||
245 | uint64_t perm, shared_perm; | ||
246 | |||
247 | - if (bdrv_parent_perms_conflict(bs, errp)) { | ||
248 | + if (bdrv_parent_perms_conflict(bs, NULL, errp)) { | ||
249 | return -EPERM; | ||
250 | } | ||
251 | bdrv_get_cumulative_perm(bs, &perm, &shared_perm); | ||
252 | diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c | ||
253 | index XXXXXXX..XXXXXXX 100644 | ||
254 | --- a/tests/unit/test-bdrv-graph-mod.c | ||
255 | +++ b/tests/unit/test-bdrv-graph-mod.c | ||
256 | @@ -XXX,XX +XXX,XX @@ int main(int argc, char *argv[]) | ||
257 | g_test_add_func("/bdrv-graph-mod/update-perm-tree", test_update_perm_tree); | ||
258 | g_test_add_func("/bdrv-graph-mod/should-update-child", | ||
259 | test_should_update_child); | ||
260 | + g_test_add_func("/bdrv-graph-mod/parallel-perm-update", | ||
261 | + test_parallel_perm_update); | ||
262 | |||
263 | if (debug) { | ||
264 | g_test_add_func("/bdrv-graph-mod/parallel-exclusive-write", | ||
265 | test_parallel_exclusive_write); | ||
266 | - g_test_add_func("/bdrv-graph-mod/parallel-perm-update", | ||
267 | - test_parallel_perm_update); | ||
268 | g_test_add_func("/bdrv-graph-mod/append-greedy-filter", | ||
269 | test_append_greedy_filter); | ||
270 | } | ||
271 | diff --git a/tests/qemu-iotests/283.out b/tests/qemu-iotests/283.out | ||
272 | index XXXXXXX..XXXXXXX 100644 | ||
273 | --- a/tests/qemu-iotests/283.out | ||
274 | +++ b/tests/qemu-iotests/283.out | ||
275 | @@ -XXX,XX +XXX,XX @@ | ||
276 | {"execute": "blockdev-add", "arguments": {"driver": "blkdebug", "image": "base", "node-name": "other", "take-child-perms": ["write"]}} | ||
277 | {"return": {}} | ||
278 | {"execute": "blockdev-backup", "arguments": {"device": "source", "sync": "full", "target": "target"}} | ||
279 | -{"error": {"class": "GenericError", "desc": "Cannot set permissions for backup-top filter: Conflicts with use by other as 'image', which uses 'write' on base"}} | ||
280 | +{"error": {"class": "GenericError", "desc": "Cannot set permissions for backup-top filter: Conflicts with use by source as 'image', which does not allow 'write' on base"}} | ||
281 | |||
282 | === backup-top should be gone after job-finalize === | ||
283 | |||
284 | -- | ||
285 | 2.30.2 | ||
286 | |||
287 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Refactor calling driver callbacks to a separate transaction action to | ||
4 | be used later. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
8 | Message-Id: <20210428151804.439460-15-vsementsov@virtuozzo.com> | ||
9 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | --- | ||
11 | block.c | 70 ++++++++++++++++++++++++++++++++++++++++++++------------- | ||
12 | 1 file changed, 54 insertions(+), 16 deletions(-) | ||
13 | |||
14 | diff --git a/block.c b/block.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/block.c | ||
17 | +++ b/block.c | ||
18 | @@ -XXX,XX +XXX,XX @@ static void bdrv_child_set_perm_safe(BdrvChild *c, uint64_t perm, | ||
19 | } | ||
20 | } | ||
21 | |||
22 | +static void bdrv_drv_set_perm_commit(void *opaque) | ||
23 | +{ | ||
24 | + BlockDriverState *bs = opaque; | ||
25 | + uint64_t cumulative_perms, cumulative_shared_perms; | ||
26 | + | ||
27 | + if (bs->drv->bdrv_set_perm) { | ||
28 | + bdrv_get_cumulative_perm(bs, &cumulative_perms, | ||
29 | + &cumulative_shared_perms); | ||
30 | + bs->drv->bdrv_set_perm(bs, cumulative_perms, cumulative_shared_perms); | ||
31 | + } | ||
32 | +} | ||
33 | + | ||
34 | +static void bdrv_drv_set_perm_abort(void *opaque) | ||
35 | +{ | ||
36 | + BlockDriverState *bs = opaque; | ||
37 | + | ||
38 | + if (bs->drv->bdrv_abort_perm_update) { | ||
39 | + bs->drv->bdrv_abort_perm_update(bs); | ||
40 | + } | ||
41 | +} | ||
42 | + | ||
43 | +TransactionActionDrv bdrv_drv_set_perm_drv = { | ||
44 | + .abort = bdrv_drv_set_perm_abort, | ||
45 | + .commit = bdrv_drv_set_perm_commit, | ||
46 | +}; | ||
47 | + | ||
48 | +static int bdrv_drv_set_perm(BlockDriverState *bs, uint64_t perm, | ||
49 | + uint64_t shared_perm, Transaction *tran, | ||
50 | + Error **errp) | ||
51 | +{ | ||
52 | + if (!bs->drv) { | ||
53 | + return 0; | ||
54 | + } | ||
55 | + | ||
56 | + if (bs->drv->bdrv_check_perm) { | ||
57 | + int ret = bs->drv->bdrv_check_perm(bs, perm, shared_perm, errp); | ||
58 | + if (ret < 0) { | ||
59 | + return ret; | ||
60 | + } | ||
61 | + } | ||
62 | + | ||
63 | + if (tran) { | ||
64 | + tran_add(tran, &bdrv_drv_set_perm_drv, bs); | ||
65 | + } | ||
66 | + | ||
67 | + return 0; | ||
68 | +} | ||
69 | + | ||
70 | /* | ||
71 | * Check whether permissions on this node can be changed in a way that | ||
72 | * @cumulative_perms and @cumulative_shared_perms are the new cumulative | ||
73 | @@ -XXX,XX +XXX,XX @@ static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
74 | return 0; | ||
75 | } | ||
76 | |||
77 | - if (drv->bdrv_check_perm) { | ||
78 | - ret = drv->bdrv_check_perm(bs, cumulative_perms, | ||
79 | - cumulative_shared_perms, errp); | ||
80 | - if (ret < 0) { | ||
81 | - return ret; | ||
82 | - } | ||
83 | + ret = bdrv_drv_set_perm(bs, cumulative_perms, cumulative_shared_perms, NULL, | ||
84 | + errp); | ||
85 | + if (ret < 0) { | ||
86 | + return ret; | ||
87 | } | ||
88 | |||
89 | /* Drivers that never have children can omit .bdrv_child_perm() */ | ||
90 | @@ -XXX,XX +XXX,XX @@ static void bdrv_node_abort_perm_update(BlockDriverState *bs) | ||
91 | return; | ||
92 | } | ||
93 | |||
94 | - if (drv->bdrv_abort_perm_update) { | ||
95 | - drv->bdrv_abort_perm_update(bs); | ||
96 | - } | ||
97 | + bdrv_drv_set_perm_abort(bs); | ||
98 | |||
99 | QLIST_FOREACH(c, &bs->children, next) { | ||
100 | bdrv_child_set_perm_abort(c); | ||
101 | @@ -XXX,XX +XXX,XX @@ static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
102 | |||
103 | static void bdrv_node_set_perm(BlockDriverState *bs) | ||
104 | { | ||
105 | - uint64_t cumulative_perms, cumulative_shared_perms; | ||
106 | BlockDriver *drv = bs->drv; | ||
107 | BdrvChild *c; | ||
108 | |||
109 | @@ -XXX,XX +XXX,XX @@ static void bdrv_node_set_perm(BlockDriverState *bs) | ||
110 | return; | ||
111 | } | ||
112 | |||
113 | - bdrv_get_cumulative_perm(bs, &cumulative_perms, &cumulative_shared_perms); | ||
114 | - | ||
115 | - /* Update this node */ | ||
116 | - if (drv->bdrv_set_perm) { | ||
117 | - drv->bdrv_set_perm(bs, cumulative_perms, cumulative_shared_perms); | ||
118 | - } | ||
119 | + bdrv_drv_set_perm_commit(bs); | ||
120 | |||
121 | /* Drivers that never have children can omit .bdrv_child_perm() */ | ||
122 | if (!drv->bdrv_child_perm) { | ||
123 | -- | ||
124 | 2.30.2 | ||
125 | |||
126 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Add new interface, allowing use of existing node list. It will be used | ||
4 | to fix bdrv_replace_node() in the further commit. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
8 | Message-Id: <20210428151804.439460-16-vsementsov@virtuozzo.com> | ||
9 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | --- | ||
11 | block.c | 106 +++++++++++++++++++++++++++++++++++++------------------- | ||
12 | 1 file changed, 71 insertions(+), 35 deletions(-) | ||
13 | |||
14 | diff --git a/block.c b/block.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/block.c | ||
17 | +++ b/block.c | ||
18 | @@ -XXX,XX +XXX,XX @@ static int bdrv_drv_set_perm(BlockDriverState *bs, uint64_t perm, | ||
19 | static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
20 | uint64_t cumulative_perms, | ||
21 | uint64_t cumulative_shared_perms, | ||
22 | - GSList *ignore_children, Error **errp) | ||
23 | + GSList *ignore_children, | ||
24 | + Transaction *tran, Error **errp) | ||
25 | { | ||
26 | BlockDriver *drv = bs->drv; | ||
27 | BdrvChild *c; | ||
28 | @@ -XXX,XX +XXX,XX @@ static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
29 | return 0; | ||
30 | } | ||
31 | |||
32 | - ret = bdrv_drv_set_perm(bs, cumulative_perms, cumulative_shared_perms, NULL, | ||
33 | + ret = bdrv_drv_set_perm(bs, cumulative_perms, cumulative_shared_perms, tran, | ||
34 | errp); | ||
35 | if (ret < 0) { | ||
36 | return ret; | ||
37 | @@ -XXX,XX +XXX,XX @@ static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
38 | bdrv_child_perm(bs, c->bs, c, c->role, q, | ||
39 | cumulative_perms, cumulative_shared_perms, | ||
40 | &cur_perm, &cur_shared); | ||
41 | - bdrv_child_set_perm_safe(c, cur_perm, cur_shared, NULL); | ||
42 | + bdrv_child_set_perm_safe(c, cur_perm, cur_shared, tran); | ||
43 | } | ||
44 | |||
45 | return 0; | ||
46 | } | ||
47 | |||
48 | -static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
49 | - uint64_t cumulative_perms, | ||
50 | - uint64_t cumulative_shared_perms, | ||
51 | - GSList *ignore_children, Error **errp) | ||
52 | +/* | ||
53 | + * If use_cumulative_perms is true, use cumulative_perms and | ||
54 | + * cumulative_shared_perms for first element of the list. Otherwise just refresh | ||
55 | + * all permissions. | ||
56 | + */ | ||
57 | +static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
58 | + bool use_cumulative_perms, | ||
59 | + uint64_t cumulative_perms, | ||
60 | + uint64_t cumulative_shared_perms, | ||
61 | + GSList *ignore_children, | ||
62 | + Transaction *tran, Error **errp) | ||
63 | { | ||
64 | int ret; | ||
65 | - BlockDriverState *root = bs; | ||
66 | - g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, root); | ||
67 | + BlockDriverState *bs; | ||
68 | |||
69 | - for ( ; list; list = list->next) { | ||
70 | + if (use_cumulative_perms) { | ||
71 | bs = list->data; | ||
72 | |||
73 | - if (bs != root) { | ||
74 | - if (bdrv_parent_perms_conflict(bs, ignore_children, errp)) { | ||
75 | - return -EINVAL; | ||
76 | - } | ||
77 | + ret = bdrv_node_check_perm(bs, q, cumulative_perms, | ||
78 | + cumulative_shared_perms, | ||
79 | + ignore_children, tran, errp); | ||
80 | + if (ret < 0) { | ||
81 | + return ret; | ||
82 | + } | ||
83 | |||
84 | - bdrv_get_cumulative_perm(bs, &cumulative_perms, | ||
85 | - &cumulative_shared_perms); | ||
86 | + list = list->next; | ||
87 | + } | ||
88 | + | ||
89 | + for ( ; list; list = list->next) { | ||
90 | + bs = list->data; | ||
91 | + | ||
92 | + if (bdrv_parent_perms_conflict(bs, ignore_children, errp)) { | ||
93 | + return -EINVAL; | ||
94 | } | ||
95 | |||
96 | + bdrv_get_cumulative_perm(bs, &cumulative_perms, | ||
97 | + &cumulative_shared_perms); | ||
98 | + | ||
99 | ret = bdrv_node_check_perm(bs, q, cumulative_perms, | ||
100 | cumulative_shared_perms, | ||
101 | - ignore_children, errp); | ||
102 | + ignore_children, tran, errp); | ||
103 | if (ret < 0) { | ||
104 | return ret; | ||
105 | } | ||
106 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
107 | return 0; | ||
108 | } | ||
109 | |||
110 | +static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
111 | + uint64_t cumulative_perms, | ||
112 | + uint64_t cumulative_shared_perms, | ||
113 | + GSList *ignore_children, Error **errp) | ||
114 | +{ | ||
115 | + g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
116 | + return bdrv_check_perm_common(list, q, true, cumulative_perms, | ||
117 | + cumulative_shared_perms, ignore_children, | ||
118 | + NULL, errp); | ||
119 | +} | ||
120 | + | ||
121 | +static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
122 | + Transaction *tran, Error **errp) | ||
123 | +{ | ||
124 | + return bdrv_check_perm_common(list, q, false, 0, 0, NULL, tran, errp); | ||
125 | +} | ||
126 | + | ||
127 | /* | ||
128 | * Notifies drivers that after a previous bdrv_check_perm() call, the | ||
129 | * permission update is not performed and any preparations made for it (e.g. | ||
130 | @@ -XXX,XX +XXX,XX @@ static void bdrv_node_abort_perm_update(BlockDriverState *bs) | ||
131 | } | ||
132 | } | ||
133 | |||
134 | -static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
135 | +static void bdrv_list_abort_perm_update(GSList *list) | ||
136 | { | ||
137 | - g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
138 | - | ||
139 | for ( ; list; list = list->next) { | ||
140 | bdrv_node_abort_perm_update((BlockDriverState *)list->data); | ||
141 | } | ||
142 | } | ||
143 | |||
144 | +static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
145 | +{ | ||
146 | + g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
147 | + return bdrv_list_abort_perm_update(list); | ||
148 | +} | ||
149 | + | ||
150 | static void bdrv_node_set_perm(BlockDriverState *bs) | ||
151 | { | ||
152 | BlockDriver *drv = bs->drv; | ||
153 | @@ -XXX,XX +XXX,XX @@ static void bdrv_node_set_perm(BlockDriverState *bs) | ||
154 | } | ||
155 | } | ||
156 | |||
157 | -static void bdrv_set_perm(BlockDriverState *bs) | ||
158 | +static void bdrv_list_set_perm(GSList *list) | ||
159 | { | ||
160 | - g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
161 | - | ||
162 | for ( ; list; list = list->next) { | ||
163 | bdrv_node_set_perm((BlockDriverState *)list->data); | ||
164 | } | ||
165 | } | ||
166 | |||
167 | +static void bdrv_set_perm(BlockDriverState *bs) | ||
168 | +{ | ||
169 | + g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
170 | + return bdrv_list_set_perm(list); | ||
171 | +} | ||
172 | + | ||
173 | void bdrv_get_cumulative_perm(BlockDriverState *bs, uint64_t *perm, | ||
174 | uint64_t *shared_perm) | ||
175 | { | ||
176 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
177 | static int bdrv_refresh_perms(BlockDriverState *bs, Error **errp) | ||
178 | { | ||
179 | int ret; | ||
180 | - uint64_t perm, shared_perm; | ||
181 | + Transaction *tran = tran_new(); | ||
182 | + g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
183 | |||
184 | - if (bdrv_parent_perms_conflict(bs, NULL, errp)) { | ||
185 | - return -EPERM; | ||
186 | - } | ||
187 | - bdrv_get_cumulative_perm(bs, &perm, &shared_perm); | ||
188 | - ret = bdrv_check_perm(bs, NULL, perm, shared_perm, NULL, errp); | ||
189 | - if (ret < 0) { | ||
190 | - bdrv_abort_perm_update(bs); | ||
191 | - return ret; | ||
192 | - } | ||
193 | - bdrv_set_perm(bs); | ||
194 | + ret = bdrv_list_refresh_perms(list, NULL, tran, errp); | ||
195 | + tran_finalize(tran, ret); | ||
196 | |||
197 | - return 0; | ||
198 | + return ret; | ||
199 | } | ||
200 | |||
201 | int bdrv_child_try_set_perm(BdrvChild *c, uint64_t perm, uint64_t shared, | ||
202 | -- | ||
203 | 2.30.2 | ||
204 | |||
205 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | To be used in the following commit. | ||
4 | |||
5 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
6 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
7 | Message-Id: <20210428151804.439460-17-vsementsov@virtuozzo.com> | ||
8 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | --- | ||
10 | block.c | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ | ||
11 | 1 file changed, 54 insertions(+) | ||
12 | |||
13 | diff --git a/block.c b/block.c | ||
14 | index XXXXXXX..XXXXXXX 100644 | ||
15 | --- a/block.c | ||
16 | +++ b/block.c | ||
17 | @@ -XXX,XX +XXX,XX @@ static BlockDriverState *bdrv_open_inherit(const char *filename, | ||
18 | BdrvChildRole child_role, | ||
19 | Error **errp); | ||
20 | |||
21 | +static void bdrv_replace_child_noperm(BdrvChild *child, | ||
22 | + BlockDriverState *new_bs); | ||
23 | + | ||
24 | static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, BlockReopenQueue | ||
25 | *queue, Error **errp); | ||
26 | static void bdrv_reopen_commit(BDRVReopenState *reopen_state); | ||
27 | @@ -XXX,XX +XXX,XX @@ static int bdrv_drv_set_perm(BlockDriverState *bs, uint64_t perm, | ||
28 | return 0; | ||
29 | } | ||
30 | |||
31 | +typedef struct BdrvReplaceChildState { | ||
32 | + BdrvChild *child; | ||
33 | + BlockDriverState *old_bs; | ||
34 | +} BdrvReplaceChildState; | ||
35 | + | ||
36 | +static void bdrv_replace_child_commit(void *opaque) | ||
37 | +{ | ||
38 | + BdrvReplaceChildState *s = opaque; | ||
39 | + | ||
40 | + bdrv_unref(s->old_bs); | ||
41 | +} | ||
42 | + | ||
43 | +static void bdrv_replace_child_abort(void *opaque) | ||
44 | +{ | ||
45 | + BdrvReplaceChildState *s = opaque; | ||
46 | + BlockDriverState *new_bs = s->child->bs; | ||
47 | + | ||
48 | + /* old_bs reference is transparently moved from @s to @s->child */ | ||
49 | + bdrv_replace_child_noperm(s->child, s->old_bs); | ||
50 | + bdrv_unref(new_bs); | ||
51 | +} | ||
52 | + | ||
53 | +static TransactionActionDrv bdrv_replace_child_drv = { | ||
54 | + .commit = bdrv_replace_child_commit, | ||
55 | + .abort = bdrv_replace_child_abort, | ||
56 | + .clean = g_free, | ||
57 | +}; | ||
58 | + | ||
59 | +/* | ||
60 | + * bdrv_replace_child_safe | ||
61 | + * | ||
62 | + * Note: real unref of old_bs is done only on commit. | ||
63 | + */ | ||
64 | +__attribute__((unused)) | ||
65 | +static void bdrv_replace_child_safe(BdrvChild *child, BlockDriverState *new_bs, | ||
66 | + Transaction *tran) | ||
67 | +{ | ||
68 | + BdrvReplaceChildState *s = g_new(BdrvReplaceChildState, 1); | ||
69 | + *s = (BdrvReplaceChildState) { | ||
70 | + .child = child, | ||
71 | + .old_bs = child->bs, | ||
72 | + }; | ||
73 | + tran_add(tran, &bdrv_replace_child_drv, s); | ||
74 | + | ||
75 | + if (new_bs) { | ||
76 | + bdrv_ref(new_bs); | ||
77 | + } | ||
78 | + bdrv_replace_child_noperm(child, new_bs); | ||
79 | + /* old_bs reference is transparently moved from @child to @s */ | ||
80 | +} | ||
81 | + | ||
82 | /* | ||
83 | * Check whether permissions on this node can be changed in a way that | ||
84 | * @cumulative_perms and @cumulative_shared_perms are the new cumulative | ||
85 | -- | ||
86 | 2.30.2 | ||
87 | |||
88 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | inore_children thing doesn't help to track all propagated permissions | ||
4 | of children we want to ignore. The simplest way to correctly update | ||
5 | permissions is update graph first and then do permission update. In | ||
6 | this case we just referesh permissions for the whole subgraph (in | ||
7 | topological-sort defined order) and everything is correctly calculated | ||
8 | automatically without any ignore_children. | ||
9 | |||
10 | So, refactor bdrv_replace_node_common to first do graph update and then | ||
11 | refresh the permissions. | ||
12 | |||
13 | Test test_parallel_exclusive_write() now pass, so move it out of | ||
14 | debugging "if". | ||
15 | |||
16 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
17 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
18 | Message-Id: <20210428151804.439460-18-vsementsov@virtuozzo.com> | ||
19 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
20 | --- | ||
21 | block.c | 43 +++++++++++++------------------- | ||
22 | tests/unit/test-bdrv-graph-mod.c | 4 +-- | ||
23 | 2 files changed, 20 insertions(+), 27 deletions(-) | ||
24 | |||
25 | diff --git a/block.c b/block.c | ||
26 | index XXXXXXX..XXXXXXX 100644 | ||
27 | --- a/block.c | ||
28 | +++ b/block.c | ||
29 | @@ -XXX,XX +XXX,XX @@ static TransactionActionDrv bdrv_replace_child_drv = { | ||
30 | * | ||
31 | * Note: real unref of old_bs is done only on commit. | ||
32 | */ | ||
33 | -__attribute__((unused)) | ||
34 | static void bdrv_replace_child_safe(BdrvChild *child, BlockDriverState *new_bs, | ||
35 | Transaction *tran) | ||
36 | { | ||
37 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_common(BlockDriverState *from, | ||
38 | bool auto_skip, Error **errp) | ||
39 | { | ||
40 | BdrvChild *c, *next; | ||
41 | - GSList *list = NULL, *p; | ||
42 | - uint64_t perm = 0, shared = BLK_PERM_ALL; | ||
43 | + Transaction *tran = tran_new(); | ||
44 | + g_autoptr(GHashTable) found = NULL; | ||
45 | + g_autoptr(GSList) refresh_list = NULL; | ||
46 | int ret; | ||
47 | |||
48 | /* Make sure that @from doesn't go away until we have successfully attached | ||
49 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_common(BlockDriverState *from, | ||
50 | assert(bdrv_get_aio_context(from) == bdrv_get_aio_context(to)); | ||
51 | bdrv_drained_begin(from); | ||
52 | |||
53 | - /* Put all parents into @list and calculate their cumulative permissions */ | ||
54 | + /* | ||
55 | + * Do the replacement without permission update. | ||
56 | + * Replacement may influence the permissions, we should calculate new | ||
57 | + * permissions based on new graph. If we fail, we'll roll-back the | ||
58 | + * replacement. | ||
59 | + */ | ||
60 | QLIST_FOREACH_SAFE(c, &from->parents, next_parent, next) { | ||
61 | assert(c->bs == from); | ||
62 | if (!should_update_child(c, to)) { | ||
63 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_common(BlockDriverState *from, | ||
64 | c->name, from->node_name); | ||
65 | goto out; | ||
66 | } | ||
67 | - list = g_slist_prepend(list, c); | ||
68 | - perm |= c->perm; | ||
69 | - shared &= c->shared_perm; | ||
70 | + bdrv_replace_child_safe(c, to, tran); | ||
71 | } | ||
72 | |||
73 | - /* Check whether the required permissions can be granted on @to, ignoring | ||
74 | - * all BdrvChild in @list so that they can't block themselves. */ | ||
75 | - ret = bdrv_check_update_perm(to, NULL, perm, shared, list, errp); | ||
76 | - if (ret < 0) { | ||
77 | - bdrv_abort_perm_update(to); | ||
78 | - goto out; | ||
79 | - } | ||
80 | + found = g_hash_table_new(NULL, NULL); | ||
81 | |||
82 | - /* Now actually perform the change. We performed the permission check for | ||
83 | - * all elements of @list at once, so set the permissions all at once at the | ||
84 | - * very end. */ | ||
85 | - for (p = list; p != NULL; p = p->next) { | ||
86 | - c = p->data; | ||
87 | + refresh_list = bdrv_topological_dfs(refresh_list, found, to); | ||
88 | + refresh_list = bdrv_topological_dfs(refresh_list, found, from); | ||
89 | |||
90 | - bdrv_ref(to); | ||
91 | - bdrv_replace_child_noperm(c, to); | ||
92 | - bdrv_unref(from); | ||
93 | + ret = bdrv_list_refresh_perms(refresh_list, NULL, tran, errp); | ||
94 | + if (ret < 0) { | ||
95 | + goto out; | ||
96 | } | ||
97 | |||
98 | - bdrv_set_perm(to); | ||
99 | - | ||
100 | ret = 0; | ||
101 | |||
102 | out: | ||
103 | - g_slist_free(list); | ||
104 | + tran_finalize(tran, ret); | ||
105 | + | ||
106 | bdrv_drained_end(from); | ||
107 | bdrv_unref(from); | ||
108 | |||
109 | diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c | ||
110 | index XXXXXXX..XXXXXXX 100644 | ||
111 | --- a/tests/unit/test-bdrv-graph-mod.c | ||
112 | +++ b/tests/unit/test-bdrv-graph-mod.c | ||
113 | @@ -XXX,XX +XXX,XX @@ int main(int argc, char *argv[]) | ||
114 | test_should_update_child); | ||
115 | g_test_add_func("/bdrv-graph-mod/parallel-perm-update", | ||
116 | test_parallel_perm_update); | ||
117 | + g_test_add_func("/bdrv-graph-mod/parallel-exclusive-write", | ||
118 | + test_parallel_exclusive_write); | ||
119 | |||
120 | if (debug) { | ||
121 | - g_test_add_func("/bdrv-graph-mod/parallel-exclusive-write", | ||
122 | - test_parallel_exclusive_write); | ||
123 | g_test_add_func("/bdrv-graph-mod/append-greedy-filter", | ||
124 | test_append_greedy_filter); | ||
125 | } | ||
126 | -- | ||
127 | 2.30.2 | ||
128 | |||
129 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Split out no-perm part of bdrv_root_attach_child() into separate | ||
4 | transaction action. bdrv_root_attach_child() now moves to new | ||
5 | permission update paradigm: first update graph relations then update | ||
6 | permissions. | ||
7 | |||
8 | qsd-jobs test output updated. Seems now permission update goes in | ||
9 | another order. Still, the test comment say that we only want to check | ||
10 | that command doesn't crash, and it's still so. | ||
11 | |||
12 | Error message is a bit misleading as it looks like job was added first. | ||
13 | But actually in new paradigm of graph update we can't distinguish such | ||
14 | things. We should update the error message, but let's not do it now. | ||
15 | |||
16 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
17 | Message-Id: <20210428151804.439460-19-vsementsov@virtuozzo.com> | ||
18 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
19 | --- | ||
20 | block.c | 190 ++++++++++++++++++-------- | ||
21 | tests/qemu-iotests/tests/qsd-jobs.out | 2 +- | ||
22 | 2 files changed, 137 insertions(+), 55 deletions(-) | ||
23 | |||
24 | diff --git a/block.c b/block.c | ||
25 | index XXXXXXX..XXXXXXX 100644 | ||
26 | --- a/block.c | ||
27 | +++ b/block.c | ||
28 | @@ -XXX,XX +XXX,XX @@ static void bdrv_replace_child(BdrvChild *child, BlockDriverState *new_bs) | ||
29 | } | ||
30 | } | ||
31 | |||
32 | -/* | ||
33 | - * This function steals the reference to child_bs from the caller. | ||
34 | - * That reference is later dropped by bdrv_root_unref_child(). | ||
35 | - * | ||
36 | - * On failure NULL is returned, errp is set and the reference to | ||
37 | - * child_bs is also dropped. | ||
38 | - * | ||
39 | - * The caller must hold the AioContext lock @child_bs, but not that of @ctx | ||
40 | - * (unless @child_bs is already in @ctx). | ||
41 | - */ | ||
42 | -BdrvChild *bdrv_root_attach_child(BlockDriverState *child_bs, | ||
43 | - const char *child_name, | ||
44 | - const BdrvChildClass *child_class, | ||
45 | - BdrvChildRole child_role, | ||
46 | - uint64_t perm, uint64_t shared_perm, | ||
47 | - void *opaque, Error **errp) | ||
48 | +static void bdrv_remove_empty_child(BdrvChild *child) | ||
49 | { | ||
50 | - BdrvChild *child; | ||
51 | - Error *local_err = NULL; | ||
52 | - int ret; | ||
53 | - AioContext *ctx; | ||
54 | + assert(!child->bs); | ||
55 | + QLIST_SAFE_REMOVE(child, next); | ||
56 | + g_free(child->name); | ||
57 | + g_free(child); | ||
58 | +} | ||
59 | |||
60 | - ret = bdrv_check_update_perm(child_bs, NULL, perm, shared_perm, NULL, errp); | ||
61 | - if (ret < 0) { | ||
62 | - bdrv_abort_perm_update(child_bs); | ||
63 | - bdrv_unref(child_bs); | ||
64 | - return NULL; | ||
65 | +typedef struct BdrvAttachChildCommonState { | ||
66 | + BdrvChild **child; | ||
67 | + AioContext *old_parent_ctx; | ||
68 | + AioContext *old_child_ctx; | ||
69 | +} BdrvAttachChildCommonState; | ||
70 | + | ||
71 | +static void bdrv_attach_child_common_abort(void *opaque) | ||
72 | +{ | ||
73 | + BdrvAttachChildCommonState *s = opaque; | ||
74 | + BdrvChild *child = *s->child; | ||
75 | + BlockDriverState *bs = child->bs; | ||
76 | + | ||
77 | + bdrv_replace_child_noperm(child, NULL); | ||
78 | + | ||
79 | + if (bdrv_get_aio_context(bs) != s->old_child_ctx) { | ||
80 | + bdrv_try_set_aio_context(bs, s->old_child_ctx, &error_abort); | ||
81 | } | ||
82 | |||
83 | - child = g_new(BdrvChild, 1); | ||
84 | - *child = (BdrvChild) { | ||
85 | + if (bdrv_child_get_parent_aio_context(child) != s->old_parent_ctx) { | ||
86 | + GSList *ignore = g_slist_prepend(NULL, child); | ||
87 | + | ||
88 | + child->klass->can_set_aio_ctx(child, s->old_parent_ctx, &ignore, | ||
89 | + &error_abort); | ||
90 | + g_slist_free(ignore); | ||
91 | + ignore = g_slist_prepend(NULL, child); | ||
92 | + child->klass->set_aio_ctx(child, s->old_parent_ctx, &ignore); | ||
93 | + | ||
94 | + g_slist_free(ignore); | ||
95 | + } | ||
96 | + | ||
97 | + bdrv_unref(bs); | ||
98 | + bdrv_remove_empty_child(child); | ||
99 | + *s->child = NULL; | ||
100 | +} | ||
101 | + | ||
102 | +static TransactionActionDrv bdrv_attach_child_common_drv = { | ||
103 | + .abort = bdrv_attach_child_common_abort, | ||
104 | + .clean = g_free, | ||
105 | +}; | ||
106 | + | ||
107 | +/* | ||
108 | + * Common part of attaching bdrv child to bs or to blk or to job | ||
109 | + */ | ||
110 | +static int bdrv_attach_child_common(BlockDriverState *child_bs, | ||
111 | + const char *child_name, | ||
112 | + const BdrvChildClass *child_class, | ||
113 | + BdrvChildRole child_role, | ||
114 | + uint64_t perm, uint64_t shared_perm, | ||
115 | + void *opaque, BdrvChild **child, | ||
116 | + Transaction *tran, Error **errp) | ||
117 | +{ | ||
118 | + BdrvChild *new_child; | ||
119 | + AioContext *parent_ctx; | ||
120 | + AioContext *child_ctx = bdrv_get_aio_context(child_bs); | ||
121 | + | ||
122 | + assert(child); | ||
123 | + assert(*child == NULL); | ||
124 | + | ||
125 | + new_child = g_new(BdrvChild, 1); | ||
126 | + *new_child = (BdrvChild) { | ||
127 | .bs = NULL, | ||
128 | .name = g_strdup(child_name), | ||
129 | .klass = child_class, | ||
130 | @@ -XXX,XX +XXX,XX @@ BdrvChild *bdrv_root_attach_child(BlockDriverState *child_bs, | ||
131 | .opaque = opaque, | ||
132 | }; | ||
133 | |||
134 | - ctx = bdrv_child_get_parent_aio_context(child); | ||
135 | - | ||
136 | - /* If the AioContexts don't match, first try to move the subtree of | ||
137 | + /* | ||
138 | + * If the AioContexts don't match, first try to move the subtree of | ||
139 | * child_bs into the AioContext of the new parent. If this doesn't work, | ||
140 | - * try moving the parent into the AioContext of child_bs instead. */ | ||
141 | - if (bdrv_get_aio_context(child_bs) != ctx) { | ||
142 | - ret = bdrv_try_set_aio_context(child_bs, ctx, &local_err); | ||
143 | + * try moving the parent into the AioContext of child_bs instead. | ||
144 | + */ | ||
145 | + parent_ctx = bdrv_child_get_parent_aio_context(new_child); | ||
146 | + if (child_ctx != parent_ctx) { | ||
147 | + Error *local_err = NULL; | ||
148 | + int ret = bdrv_try_set_aio_context(child_bs, parent_ctx, &local_err); | ||
149 | + | ||
150 | if (ret < 0 && child_class->can_set_aio_ctx) { | ||
151 | - GSList *ignore = g_slist_prepend(NULL, child); | ||
152 | - ctx = bdrv_get_aio_context(child_bs); | ||
153 | - if (child_class->can_set_aio_ctx(child, ctx, &ignore, NULL)) { | ||
154 | + GSList *ignore = g_slist_prepend(NULL, new_child); | ||
155 | + if (child_class->can_set_aio_ctx(new_child, child_ctx, &ignore, | ||
156 | + NULL)) | ||
157 | + { | ||
158 | error_free(local_err); | ||
159 | ret = 0; | ||
160 | g_slist_free(ignore); | ||
161 | - ignore = g_slist_prepend(NULL, child); | ||
162 | - child_class->set_aio_ctx(child, ctx, &ignore); | ||
163 | + ignore = g_slist_prepend(NULL, new_child); | ||
164 | + child_class->set_aio_ctx(new_child, child_ctx, &ignore); | ||
165 | } | ||
166 | g_slist_free(ignore); | ||
167 | } | ||
168 | + | ||
169 | if (ret < 0) { | ||
170 | error_propagate(errp, local_err); | ||
171 | - g_free(child); | ||
172 | - bdrv_abort_perm_update(child_bs); | ||
173 | - bdrv_unref(child_bs); | ||
174 | - return NULL; | ||
175 | + bdrv_remove_empty_child(new_child); | ||
176 | + return ret; | ||
177 | } | ||
178 | } | ||
179 | |||
180 | - /* This performs the matching bdrv_set_perm() for the above check. */ | ||
181 | - bdrv_replace_child(child, child_bs); | ||
182 | + bdrv_ref(child_bs); | ||
183 | + bdrv_replace_child_noperm(new_child, child_bs); | ||
184 | |||
185 | + *child = new_child; | ||
186 | + | ||
187 | + BdrvAttachChildCommonState *s = g_new(BdrvAttachChildCommonState, 1); | ||
188 | + *s = (BdrvAttachChildCommonState) { | ||
189 | + .child = child, | ||
190 | + .old_parent_ctx = parent_ctx, | ||
191 | + .old_child_ctx = child_ctx, | ||
192 | + }; | ||
193 | + tran_add(tran, &bdrv_attach_child_common_drv, s); | ||
194 | + | ||
195 | + return 0; | ||
196 | +} | ||
197 | + | ||
198 | +static void bdrv_detach_child(BdrvChild *child) | ||
199 | +{ | ||
200 | + bdrv_replace_child(child, NULL); | ||
201 | + bdrv_remove_empty_child(child); | ||
202 | +} | ||
203 | + | ||
204 | +/* | ||
205 | + * This function steals the reference to child_bs from the caller. | ||
206 | + * That reference is later dropped by bdrv_root_unref_child(). | ||
207 | + * | ||
208 | + * On failure NULL is returned, errp is set and the reference to | ||
209 | + * child_bs is also dropped. | ||
210 | + * | ||
211 | + * The caller must hold the AioContext lock @child_bs, but not that of @ctx | ||
212 | + * (unless @child_bs is already in @ctx). | ||
213 | + */ | ||
214 | +BdrvChild *bdrv_root_attach_child(BlockDriverState *child_bs, | ||
215 | + const char *child_name, | ||
216 | + const BdrvChildClass *child_class, | ||
217 | + BdrvChildRole child_role, | ||
218 | + uint64_t perm, uint64_t shared_perm, | ||
219 | + void *opaque, Error **errp) | ||
220 | +{ | ||
221 | + int ret; | ||
222 | + BdrvChild *child = NULL; | ||
223 | + Transaction *tran = tran_new(); | ||
224 | + | ||
225 | + ret = bdrv_attach_child_common(child_bs, child_name, child_class, | ||
226 | + child_role, perm, shared_perm, opaque, | ||
227 | + &child, tran, errp); | ||
228 | + if (ret < 0) { | ||
229 | + bdrv_unref(child_bs); | ||
230 | + return NULL; | ||
231 | + } | ||
232 | + | ||
233 | + ret = bdrv_refresh_perms(child_bs, errp); | ||
234 | + tran_finalize(tran, ret); | ||
235 | + | ||
236 | + bdrv_unref(child_bs); | ||
237 | return child; | ||
238 | } | ||
239 | |||
240 | @@ -XXX,XX +XXX,XX @@ BdrvChild *bdrv_attach_child(BlockDriverState *parent_bs, | ||
241 | return child; | ||
242 | } | ||
243 | |||
244 | -static void bdrv_detach_child(BdrvChild *child) | ||
245 | -{ | ||
246 | - QLIST_SAFE_REMOVE(child, next); | ||
247 | - | ||
248 | - bdrv_replace_child(child, NULL); | ||
249 | - | ||
250 | - g_free(child->name); | ||
251 | - g_free(child); | ||
252 | -} | ||
253 | - | ||
254 | /* Callers must ensure that child->frozen is false. */ | ||
255 | void bdrv_root_unref_child(BdrvChild *child) | ||
256 | { | ||
257 | diff --git a/tests/qemu-iotests/tests/qsd-jobs.out b/tests/qemu-iotests/tests/qsd-jobs.out | ||
258 | index XXXXXXX..XXXXXXX 100644 | ||
259 | --- a/tests/qemu-iotests/tests/qsd-jobs.out | ||
260 | +++ b/tests/qemu-iotests/tests/qsd-jobs.out | ||
261 | @@ -XXX,XX +XXX,XX @@ QMP_VERSION | ||
262 | {"return": {}} | ||
263 | {"timestamp": {"seconds": TIMESTAMP, "microseconds": TIMESTAMP}, "event": "JOB_STATUS_CHANGE", "data": {"status": "created", "id": "job0"}} | ||
264 | {"timestamp": {"seconds": TIMESTAMP, "microseconds": TIMESTAMP}, "event": "JOB_STATUS_CHANGE", "data": {"status": "null", "id": "job0"}} | ||
265 | -{"error": {"class": "GenericError", "desc": "Conflicts with use by a block device as 'root', which uses 'write' on fmt_base"}} | ||
266 | +{"error": {"class": "GenericError", "desc": "Conflicts with use by stream job 'job0' as 'intermediate node', which does not allow 'write' on fmt_base"}} | ||
267 | {"return": {}} | ||
268 | {"timestamp": {"seconds": TIMESTAMP, "microseconds": TIMESTAMP}, "event": "BLOCK_EXPORT_DELETED", "data": {"id": "export1"}} | ||
269 | *** done | ||
270 | -- | ||
271 | 2.30.2 | ||
272 | |||
273 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Split no-perm part of bdrv_attach_child as separate transaction action. | ||
4 | It will be used in later commits. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
8 | Message-Id: <20210428151804.439460-20-vsementsov@virtuozzo.com> | ||
9 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | --- | ||
11 | block.c | 71 ++++++++++++++++++++++++++++++++++++++++++++++----------- | ||
12 | 1 file changed, 58 insertions(+), 13 deletions(-) | ||
13 | |||
14 | diff --git a/block.c b/block.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/block.c | ||
17 | +++ b/block.c | ||
18 | @@ -XXX,XX +XXX,XX @@ static BlockDriverState *bdrv_open_inherit(const char *filename, | ||
19 | |||
20 | static void bdrv_replace_child_noperm(BdrvChild *child, | ||
21 | BlockDriverState *new_bs); | ||
22 | +static int bdrv_attach_child_noperm(BlockDriverState *parent_bs, | ||
23 | + BlockDriverState *child_bs, | ||
24 | + const char *child_name, | ||
25 | + const BdrvChildClass *child_class, | ||
26 | + BdrvChildRole child_role, | ||
27 | + BdrvChild **child, | ||
28 | + Transaction *tran, | ||
29 | + Error **errp); | ||
30 | |||
31 | static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, BlockReopenQueue | ||
32 | *queue, Error **errp); | ||
33 | @@ -XXX,XX +XXX,XX @@ static int bdrv_attach_child_common(BlockDriverState *child_bs, | ||
34 | return 0; | ||
35 | } | ||
36 | |||
37 | +static int bdrv_attach_child_noperm(BlockDriverState *parent_bs, | ||
38 | + BlockDriverState *child_bs, | ||
39 | + const char *child_name, | ||
40 | + const BdrvChildClass *child_class, | ||
41 | + BdrvChildRole child_role, | ||
42 | + BdrvChild **child, | ||
43 | + Transaction *tran, | ||
44 | + Error **errp) | ||
45 | +{ | ||
46 | + int ret; | ||
47 | + uint64_t perm, shared_perm; | ||
48 | + | ||
49 | + assert(parent_bs->drv); | ||
50 | + | ||
51 | + bdrv_get_cumulative_perm(parent_bs, &perm, &shared_perm); | ||
52 | + bdrv_child_perm(parent_bs, child_bs, NULL, child_role, NULL, | ||
53 | + perm, shared_perm, &perm, &shared_perm); | ||
54 | + | ||
55 | + ret = bdrv_attach_child_common(child_bs, child_name, child_class, | ||
56 | + child_role, perm, shared_perm, parent_bs, | ||
57 | + child, tran, errp); | ||
58 | + if (ret < 0) { | ||
59 | + return ret; | ||
60 | + } | ||
61 | + | ||
62 | + QLIST_INSERT_HEAD(&parent_bs->children, *child, next); | ||
63 | + /* | ||
64 | + * child is removed in bdrv_attach_child_common_abort(), so don't care to | ||
65 | + * abort this change separately. | ||
66 | + */ | ||
67 | + | ||
68 | + return 0; | ||
69 | +} | ||
70 | + | ||
71 | static void bdrv_detach_child(BdrvChild *child) | ||
72 | { | ||
73 | bdrv_replace_child(child, NULL); | ||
74 | @@ -XXX,XX +XXX,XX @@ BdrvChild *bdrv_attach_child(BlockDriverState *parent_bs, | ||
75 | BdrvChildRole child_role, | ||
76 | Error **errp) | ||
77 | { | ||
78 | - BdrvChild *child; | ||
79 | - uint64_t perm, shared_perm; | ||
80 | - | ||
81 | - bdrv_get_cumulative_perm(parent_bs, &perm, &shared_perm); | ||
82 | + int ret; | ||
83 | + BdrvChild *child = NULL; | ||
84 | + Transaction *tran = tran_new(); | ||
85 | |||
86 | - assert(parent_bs->drv); | ||
87 | - bdrv_child_perm(parent_bs, child_bs, NULL, child_role, NULL, | ||
88 | - perm, shared_perm, &perm, &shared_perm); | ||
89 | + ret = bdrv_attach_child_noperm(parent_bs, child_bs, child_name, child_class, | ||
90 | + child_role, &child, tran, errp); | ||
91 | + if (ret < 0) { | ||
92 | + goto out; | ||
93 | + } | ||
94 | |||
95 | - child = bdrv_root_attach_child(child_bs, child_name, child_class, | ||
96 | - child_role, perm, shared_perm, parent_bs, | ||
97 | - errp); | ||
98 | - if (child == NULL) { | ||
99 | - return NULL; | ||
100 | + ret = bdrv_refresh_perms(parent_bs, errp); | ||
101 | + if (ret < 0) { | ||
102 | + goto out; | ||
103 | } | ||
104 | |||
105 | - QLIST_INSERT_HEAD(&parent_bs->children, child, next); | ||
106 | +out: | ||
107 | + tran_finalize(tran, ret); | ||
108 | + | ||
109 | + bdrv_unref(child_bs); | ||
110 | + | ||
111 | return child; | ||
112 | } | ||
113 | |||
114 | -- | ||
115 | 2.30.2 | ||
116 | |||
117 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Split part of bdrv_replace_node_common() to be used separately. | ||
4 | |||
5 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
6 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
7 | Message-Id: <20210428151804.439460-21-vsementsov@virtuozzo.com> | ||
8 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | --- | ||
10 | block.c | 50 +++++++++++++++++++++++++++++++------------------- | ||
11 | 1 file changed, 31 insertions(+), 19 deletions(-) | ||
12 | |||
13 | diff --git a/block.c b/block.c | ||
14 | index XXXXXXX..XXXXXXX 100644 | ||
15 | --- a/block.c | ||
16 | +++ b/block.c | ||
17 | @@ -XXX,XX +XXX,XX @@ static bool should_update_child(BdrvChild *c, BlockDriverState *to) | ||
18 | return ret; | ||
19 | } | ||
20 | |||
21 | +static int bdrv_replace_node_noperm(BlockDriverState *from, | ||
22 | + BlockDriverState *to, | ||
23 | + bool auto_skip, Transaction *tran, | ||
24 | + Error **errp) | ||
25 | +{ | ||
26 | + BdrvChild *c, *next; | ||
27 | + | ||
28 | + QLIST_FOREACH_SAFE(c, &from->parents, next_parent, next) { | ||
29 | + assert(c->bs == from); | ||
30 | + if (!should_update_child(c, to)) { | ||
31 | + if (auto_skip) { | ||
32 | + continue; | ||
33 | + } | ||
34 | + error_setg(errp, "Should not change '%s' link to '%s'", | ||
35 | + c->name, from->node_name); | ||
36 | + return -EINVAL; | ||
37 | + } | ||
38 | + if (c->frozen) { | ||
39 | + error_setg(errp, "Cannot change '%s' link to '%s'", | ||
40 | + c->name, from->node_name); | ||
41 | + return -EPERM; | ||
42 | + } | ||
43 | + bdrv_replace_child_safe(c, to, tran); | ||
44 | + } | ||
45 | + | ||
46 | + return 0; | ||
47 | +} | ||
48 | + | ||
49 | /* | ||
50 | * With auto_skip=true bdrv_replace_node_common skips updating from parents | ||
51 | * if it creates a parent-child relation loop or if parent is block-job. | ||
52 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_common(BlockDriverState *from, | ||
53 | BlockDriverState *to, | ||
54 | bool auto_skip, Error **errp) | ||
55 | { | ||
56 | - BdrvChild *c, *next; | ||
57 | Transaction *tran = tran_new(); | ||
58 | g_autoptr(GHashTable) found = NULL; | ||
59 | g_autoptr(GSList) refresh_list = NULL; | ||
60 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_common(BlockDriverState *from, | ||
61 | * permissions based on new graph. If we fail, we'll roll-back the | ||
62 | * replacement. | ||
63 | */ | ||
64 | - QLIST_FOREACH_SAFE(c, &from->parents, next_parent, next) { | ||
65 | - assert(c->bs == from); | ||
66 | - if (!should_update_child(c, to)) { | ||
67 | - if (auto_skip) { | ||
68 | - continue; | ||
69 | - } | ||
70 | - ret = -EINVAL; | ||
71 | - error_setg(errp, "Should not change '%s' link to '%s'", | ||
72 | - c->name, from->node_name); | ||
73 | - goto out; | ||
74 | - } | ||
75 | - if (c->frozen) { | ||
76 | - ret = -EPERM; | ||
77 | - error_setg(errp, "Cannot change '%s' link to '%s'", | ||
78 | - c->name, from->node_name); | ||
79 | - goto out; | ||
80 | - } | ||
81 | - bdrv_replace_child_safe(c, to, tran); | ||
82 | + ret = bdrv_replace_node_noperm(from, to, auto_skip, tran, errp); | ||
83 | + if (ret < 0) { | ||
84 | + goto out; | ||
85 | } | ||
86 | |||
87 | found = g_hash_table_new(NULL, NULL); | ||
88 | -- | ||
89 | 2.30.2 | ||
90 | |||
91 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | bdrv_append is not very good for inserting filters: it does extra | ||
4 | permission update as part of bdrv_set_backing_hd(). During this update | ||
5 | filter may conflict with other parents of top_bs. | ||
6 | |||
7 | Instead, let's first do all graph modifications and after it update | ||
8 | permissions. | ||
9 | |||
10 | append-greedy-filter test-case in test-bdrv-graph-mod is now works, so | ||
11 | move it out of debug option. | ||
12 | |||
13 | Note: bdrv_append() is still only works for backing-child based | ||
14 | filters. It's something to improve later. | ||
15 | |||
16 | Note2: we use the fact that bdrv_append() is used to append new nodes, | ||
17 | without backing child, so we don't need frozen check and inherits_from | ||
18 | logic from bdrv_set_backing_hd(). | ||
19 | |||
20 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
21 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
22 | Message-Id: <20210428151804.439460-22-vsementsov@virtuozzo.com> | ||
23 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
24 | --- | ||
25 | block.c | 27 ++++++++++++++++++++------- | ||
26 | tests/unit/test-bdrv-graph-mod.c | 17 ++--------------- | ||
27 | 2 files changed, 22 insertions(+), 22 deletions(-) | ||
28 | |||
29 | diff --git a/block.c b/block.c | ||
30 | index XXXXXXX..XXXXXXX 100644 | ||
31 | --- a/block.c | ||
32 | +++ b/block.c | ||
33 | @@ -XXX,XX +XXX,XX @@ int bdrv_replace_node(BlockDriverState *from, BlockDriverState *to, | ||
34 | * This will modify the BlockDriverState fields, and swap contents | ||
35 | * between bs_new and bs_top. Both bs_new and bs_top are modified. | ||
36 | * | ||
37 | - * bs_new must not be attached to a BlockBackend. | ||
38 | + * bs_new must not be attached to a BlockBackend and must not have backing | ||
39 | + * child. | ||
40 | * | ||
41 | * This function does not create any image files. | ||
42 | */ | ||
43 | int bdrv_append(BlockDriverState *bs_new, BlockDriverState *bs_top, | ||
44 | Error **errp) | ||
45 | { | ||
46 | - int ret = bdrv_set_backing_hd(bs_new, bs_top, errp); | ||
47 | + int ret; | ||
48 | + Transaction *tran = tran_new(); | ||
49 | + | ||
50 | + assert(!bs_new->backing); | ||
51 | + | ||
52 | + ret = bdrv_attach_child_noperm(bs_new, bs_top, "backing", | ||
53 | + &child_of_bds, bdrv_backing_role(bs_new), | ||
54 | + &bs_new->backing, tran, errp); | ||
55 | if (ret < 0) { | ||
56 | - return ret; | ||
57 | + goto out; | ||
58 | } | ||
59 | |||
60 | - ret = bdrv_replace_node(bs_top, bs_new, errp); | ||
61 | + ret = bdrv_replace_node_noperm(bs_top, bs_new, true, tran, errp); | ||
62 | if (ret < 0) { | ||
63 | - bdrv_set_backing_hd(bs_new, NULL, &error_abort); | ||
64 | - return ret; | ||
65 | + goto out; | ||
66 | } | ||
67 | |||
68 | - return 0; | ||
69 | + ret = bdrv_refresh_perms(bs_new, errp); | ||
70 | +out: | ||
71 | + tran_finalize(tran, ret); | ||
72 | + | ||
73 | + bdrv_refresh_limits(bs_top, NULL); | ||
74 | + | ||
75 | + return ret; | ||
76 | } | ||
77 | |||
78 | static void bdrv_delete(BlockDriverState *bs) | ||
79 | diff --git a/tests/unit/test-bdrv-graph-mod.c b/tests/unit/test-bdrv-graph-mod.c | ||
80 | index XXXXXXX..XXXXXXX 100644 | ||
81 | --- a/tests/unit/test-bdrv-graph-mod.c | ||
82 | +++ b/tests/unit/test-bdrv-graph-mod.c | ||
83 | @@ -XXX,XX +XXX,XX @@ static void test_append_greedy_filter(void) | ||
84 | |||
85 | int main(int argc, char *argv[]) | ||
86 | { | ||
87 | - int i; | ||
88 | - bool debug = false; | ||
89 | - | ||
90 | - for (i = 1; i < argc; i++) { | ||
91 | - if (!strcmp(argv[i], "-d")) { | ||
92 | - debug = true; | ||
93 | - break; | ||
94 | - } | ||
95 | - } | ||
96 | - | ||
97 | bdrv_init(); | ||
98 | qemu_init_main_loop(&error_abort); | ||
99 | |||
100 | @@ -XXX,XX +XXX,XX @@ int main(int argc, char *argv[]) | ||
101 | test_parallel_perm_update); | ||
102 | g_test_add_func("/bdrv-graph-mod/parallel-exclusive-write", | ||
103 | test_parallel_exclusive_write); | ||
104 | - | ||
105 | - if (debug) { | ||
106 | - g_test_add_func("/bdrv-graph-mod/append-greedy-filter", | ||
107 | - test_append_greedy_filter); | ||
108 | - } | ||
109 | + g_test_add_func("/bdrv-graph-mod/append-greedy-filter", | ||
110 | + test_append_greedy_filter); | ||
111 | |||
112 | return g_test_run(); | ||
113 | } | ||
114 | -- | ||
115 | 2.30.2 | ||
116 | |||
117 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
4 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
5 | Message-Id: <20210428151804.439460-23-vsementsov@virtuozzo.com> | ||
6 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
7 | --- | ||
8 | block.c | 84 +++++++++++++++++++++++++++++++++++++++++++++++++++++++-- | ||
9 | 1 file changed, 82 insertions(+), 2 deletions(-) | ||
10 | |||
11 | diff --git a/block.c b/block.c | ||
12 | index XXXXXXX..XXXXXXX 100644 | ||
13 | --- a/block.c | ||
14 | +++ b/block.c | ||
15 | @@ -XXX,XX +XXX,XX @@ static void bdrv_replace_child(BdrvChild *child, BlockDriverState *new_bs) | ||
16 | } | ||
17 | } | ||
18 | |||
19 | +static void bdrv_child_free(void *opaque) | ||
20 | +{ | ||
21 | + BdrvChild *c = opaque; | ||
22 | + | ||
23 | + g_free(c->name); | ||
24 | + g_free(c); | ||
25 | +} | ||
26 | + | ||
27 | static void bdrv_remove_empty_child(BdrvChild *child) | ||
28 | { | ||
29 | assert(!child->bs); | ||
30 | QLIST_SAFE_REMOVE(child, next); | ||
31 | - g_free(child->name); | ||
32 | - g_free(child); | ||
33 | + bdrv_child_free(child); | ||
34 | } | ||
35 | |||
36 | typedef struct BdrvAttachChildCommonState { | ||
37 | @@ -XXX,XX +XXX,XX @@ static bool should_update_child(BdrvChild *c, BlockDriverState *to) | ||
38 | return ret; | ||
39 | } | ||
40 | |||
41 | +typedef struct BdrvRemoveFilterOrCowChild { | ||
42 | + BdrvChild *child; | ||
43 | + bool is_backing; | ||
44 | +} BdrvRemoveFilterOrCowChild; | ||
45 | + | ||
46 | +static void bdrv_remove_filter_or_cow_child_abort(void *opaque) | ||
47 | +{ | ||
48 | + BdrvRemoveFilterOrCowChild *s = opaque; | ||
49 | + BlockDriverState *parent_bs = s->child->opaque; | ||
50 | + | ||
51 | + QLIST_INSERT_HEAD(&parent_bs->children, s->child, next); | ||
52 | + if (s->is_backing) { | ||
53 | + parent_bs->backing = s->child; | ||
54 | + } else { | ||
55 | + parent_bs->file = s->child; | ||
56 | + } | ||
57 | + | ||
58 | + /* | ||
59 | + * We don't have to restore child->bs here to undo bdrv_replace_child() | ||
60 | + * because that function is transactionable and it registered own completion | ||
61 | + * entries in @tran, so .abort() for bdrv_replace_child_safe() will be | ||
62 | + * called automatically. | ||
63 | + */ | ||
64 | +} | ||
65 | + | ||
66 | +static void bdrv_remove_filter_or_cow_child_commit(void *opaque) | ||
67 | +{ | ||
68 | + BdrvRemoveFilterOrCowChild *s = opaque; | ||
69 | + | ||
70 | + bdrv_child_free(s->child); | ||
71 | +} | ||
72 | + | ||
73 | +static TransactionActionDrv bdrv_remove_filter_or_cow_child_drv = { | ||
74 | + .abort = bdrv_remove_filter_or_cow_child_abort, | ||
75 | + .commit = bdrv_remove_filter_or_cow_child_commit, | ||
76 | + .clean = g_free, | ||
77 | +}; | ||
78 | + | ||
79 | +/* | ||
80 | + * A function to remove backing-chain child of @bs if exists: cow child for | ||
81 | + * format nodes (always .backing) and filter child for filters (may be .file or | ||
82 | + * .backing) | ||
83 | + */ | ||
84 | +__attribute__((unused)) | ||
85 | +static void bdrv_remove_filter_or_cow_child(BlockDriverState *bs, | ||
86 | + Transaction *tran) | ||
87 | +{ | ||
88 | + BdrvRemoveFilterOrCowChild *s; | ||
89 | + BdrvChild *child = bdrv_filter_or_cow_child(bs); | ||
90 | + | ||
91 | + if (!child) { | ||
92 | + return; | ||
93 | + } | ||
94 | + | ||
95 | + if (child->bs) { | ||
96 | + bdrv_replace_child_safe(child, NULL, tran); | ||
97 | + } | ||
98 | + | ||
99 | + s = g_new(BdrvRemoveFilterOrCowChild, 1); | ||
100 | + *s = (BdrvRemoveFilterOrCowChild) { | ||
101 | + .child = child, | ||
102 | + .is_backing = (child == bs->backing), | ||
103 | + }; | ||
104 | + tran_add(tran, &bdrv_remove_filter_or_cow_child_drv, s); | ||
105 | + | ||
106 | + QLIST_SAFE_REMOVE(child, next); | ||
107 | + if (s->is_backing) { | ||
108 | + bs->backing = NULL; | ||
109 | + } else { | ||
110 | + bs->file = NULL; | ||
111 | + } | ||
112 | +} | ||
113 | + | ||
114 | static int bdrv_replace_node_noperm(BlockDriverState *from, | ||
115 | BlockDriverState *to, | ||
116 | bool auto_skip, Transaction *tran, | ||
117 | -- | ||
118 | 2.30.2 | ||
119 | |||
120 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Using bdrv_replace_node() for removing filter is not good enough: it | ||
4 | keeps child reference of the filter, which may conflict with original | ||
5 | top node during permission update. | ||
6 | |||
7 | Instead let's create new interface, which will do all graph | ||
8 | modifications first and then update permissions. | ||
9 | |||
10 | Let's modify bdrv_replace_node_common(), allowing it additionally drop | ||
11 | backing chain child link pointing to new node. This is quite | ||
12 | appropriate for bdrv_drop_intermediate() and makes possible to add | ||
13 | new bdrv_drop_filter() as a simple wrapper. | ||
14 | |||
15 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
16 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
17 | Message-Id: <20210428151804.439460-24-vsementsov@virtuozzo.com> | ||
18 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
19 | --- | ||
20 | include/block/block.h | 1 + | ||
21 | block.c | 43 +++++++++++++++++++++++++++++++++++++++---- | ||
22 | 2 files changed, 40 insertions(+), 4 deletions(-) | ||
23 | |||
24 | diff --git a/include/block/block.h b/include/block/block.h | ||
25 | index XXXXXXX..XXXXXXX 100644 | ||
26 | --- a/include/block/block.h | ||
27 | +++ b/include/block/block.h | ||
28 | @@ -XXX,XX +XXX,XX @@ int bdrv_replace_node(BlockDriverState *from, BlockDriverState *to, | ||
29 | Error **errp); | ||
30 | BlockDriverState *bdrv_insert_node(BlockDriverState *bs, QDict *node_options, | ||
31 | int flags, Error **errp); | ||
32 | +int bdrv_drop_filter(BlockDriverState *bs, Error **errp); | ||
33 | |||
34 | int bdrv_parse_aio(const char *mode, int *flags); | ||
35 | int bdrv_parse_cache_mode(const char *mode, int *flags, bool *writethrough); | ||
36 | diff --git a/block.c b/block.c | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/block.c | ||
39 | +++ b/block.c | ||
40 | @@ -XXX,XX +XXX,XX @@ static TransactionActionDrv bdrv_remove_filter_or_cow_child_drv = { | ||
41 | * format nodes (always .backing) and filter child for filters (may be .file or | ||
42 | * .backing) | ||
43 | */ | ||
44 | -__attribute__((unused)) | ||
45 | static void bdrv_remove_filter_or_cow_child(BlockDriverState *bs, | ||
46 | Transaction *tran) | ||
47 | { | ||
48 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_noperm(BlockDriverState *from, | ||
49 | * | ||
50 | * With auto_skip=false the error is returned if from has a parent which should | ||
51 | * not be updated. | ||
52 | + * | ||
53 | + * With @detach_subchain=true @to must be in a backing chain of @from. In this | ||
54 | + * case backing link of the cow-parent of @to is removed. | ||
55 | */ | ||
56 | static int bdrv_replace_node_common(BlockDriverState *from, | ||
57 | BlockDriverState *to, | ||
58 | - bool auto_skip, Error **errp) | ||
59 | + bool auto_skip, bool detach_subchain, | ||
60 | + Error **errp) | ||
61 | { | ||
62 | Transaction *tran = tran_new(); | ||
63 | g_autoptr(GHashTable) found = NULL; | ||
64 | g_autoptr(GSList) refresh_list = NULL; | ||
65 | + BlockDriverState *to_cow_parent; | ||
66 | int ret; | ||
67 | |||
68 | + if (detach_subchain) { | ||
69 | + assert(bdrv_chain_contains(from, to)); | ||
70 | + assert(from != to); | ||
71 | + for (to_cow_parent = from; | ||
72 | + bdrv_filter_or_cow_bs(to_cow_parent) != to; | ||
73 | + to_cow_parent = bdrv_filter_or_cow_bs(to_cow_parent)) | ||
74 | + { | ||
75 | + ; | ||
76 | + } | ||
77 | + } | ||
78 | + | ||
79 | /* Make sure that @from doesn't go away until we have successfully attached | ||
80 | * all of its parents to @to. */ | ||
81 | bdrv_ref(from); | ||
82 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_common(BlockDriverState *from, | ||
83 | goto out; | ||
84 | } | ||
85 | |||
86 | + if (detach_subchain) { | ||
87 | + bdrv_remove_filter_or_cow_child(to_cow_parent, tran); | ||
88 | + } | ||
89 | + | ||
90 | found = g_hash_table_new(NULL, NULL); | ||
91 | |||
92 | refresh_list = bdrv_topological_dfs(refresh_list, found, to); | ||
93 | @@ -XXX,XX +XXX,XX @@ out: | ||
94 | int bdrv_replace_node(BlockDriverState *from, BlockDriverState *to, | ||
95 | Error **errp) | ||
96 | { | ||
97 | - return bdrv_replace_node_common(from, to, true, errp); | ||
98 | + return bdrv_replace_node_common(from, to, true, false, errp); | ||
99 | +} | ||
100 | + | ||
101 | +int bdrv_drop_filter(BlockDriverState *bs, Error **errp) | ||
102 | +{ | ||
103 | + return bdrv_replace_node_common(bs, bdrv_filter_or_cow_bs(bs), true, true, | ||
104 | + errp); | ||
105 | } | ||
106 | |||
107 | /* | ||
108 | @@ -XXX,XX +XXX,XX @@ int bdrv_drop_intermediate(BlockDriverState *top, BlockDriverState *base, | ||
109 | updated_children = g_slist_prepend(updated_children, c); | ||
110 | } | ||
111 | |||
112 | - bdrv_replace_node_common(top, base, false, &local_err); | ||
113 | + /* | ||
114 | + * It seems correct to pass detach_subchain=true here, but it triggers | ||
115 | + * one more yet not fixed bug, when due to nested aio_poll loop we switch to | ||
116 | + * another drained section, which modify the graph (for example, removing | ||
117 | + * the child, which we keep in updated_children list). So, it's a TODO. | ||
118 | + * | ||
119 | + * Note, bug triggered if pass detach_subchain=true here and run | ||
120 | + * test-bdrv-drain. test_drop_intermediate_poll() test-case will crash. | ||
121 | + * That's a FIXME. | ||
122 | + */ | ||
123 | + bdrv_replace_node_common(top, base, false, false, &local_err); | ||
124 | if (local_err) { | ||
125 | error_report_err(local_err); | ||
126 | goto exit; | ||
127 | -- | ||
128 | 2.30.2 | ||
129 | |||
130 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | We don't need this workaround anymore: bdrv_append is already smart | ||
4 | enough and we can use new bdrv_drop_filter(). | ||
5 | |||
6 | This commit efficiently reverts also recent 705dde27c6c53b73, which | ||
7 | checked .active on io path. Still it said that the problem should be | ||
8 | theoretical. And the logic of filter removement is changed anyway. | ||
9 | |||
10 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
11 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
12 | Message-Id: <20210428151804.439460-25-vsementsov@virtuozzo.com> | ||
13 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
14 | --- | ||
15 | block/backup-top.c | 47 +------------------------------------- | ||
16 | tests/qemu-iotests/283.out | 2 +- | ||
17 | 2 files changed, 2 insertions(+), 47 deletions(-) | ||
18 | |||
19 | diff --git a/block/backup-top.c b/block/backup-top.c | ||
20 | index XXXXXXX..XXXXXXX 100644 | ||
21 | --- a/block/backup-top.c | ||
22 | +++ b/block/backup-top.c | ||
23 | @@ -XXX,XX +XXX,XX @@ | ||
24 | typedef struct BDRVBackupTopState { | ||
25 | BlockCopyState *bcs; | ||
26 | BdrvChild *target; | ||
27 | - bool active; | ||
28 | int64_t cluster_size; | ||
29 | } BDRVBackupTopState; | ||
30 | |||
31 | @@ -XXX,XX +XXX,XX @@ static coroutine_fn int backup_top_co_preadv( | ||
32 | BlockDriverState *bs, uint64_t offset, uint64_t bytes, | ||
33 | QEMUIOVector *qiov, int flags) | ||
34 | { | ||
35 | - BDRVBackupTopState *s = bs->opaque; | ||
36 | - | ||
37 | - if (!s->active) { | ||
38 | - return -EIO; | ||
39 | - } | ||
40 | - | ||
41 | return bdrv_co_preadv(bs->backing, offset, bytes, qiov, flags); | ||
42 | } | ||
43 | |||
44 | @@ -XXX,XX +XXX,XX @@ static coroutine_fn int backup_top_cbw(BlockDriverState *bs, uint64_t offset, | ||
45 | BDRVBackupTopState *s = bs->opaque; | ||
46 | uint64_t off, end; | ||
47 | |||
48 | - if (!s->active) { | ||
49 | - return -EIO; | ||
50 | - } | ||
51 | - | ||
52 | if (flags & BDRV_REQ_WRITE_UNCHANGED) { | ||
53 | return 0; | ||
54 | } | ||
55 | @@ -XXX,XX +XXX,XX @@ static void backup_top_child_perm(BlockDriverState *bs, BdrvChild *c, | ||
56 | uint64_t perm, uint64_t shared, | ||
57 | uint64_t *nperm, uint64_t *nshared) | ||
58 | { | ||
59 | - BDRVBackupTopState *s = bs->opaque; | ||
60 | - | ||
61 | - if (!s->active) { | ||
62 | - /* | ||
63 | - * The filter node may be in process of bdrv_append(), which firstly do | ||
64 | - * bdrv_set_backing_hd() and then bdrv_replace_node(). This means that | ||
65 | - * we can't unshare BLK_PERM_WRITE during bdrv_append() operation. So, | ||
66 | - * let's require nothing during bdrv_append() and refresh permissions | ||
67 | - * after it (see bdrv_backup_top_append()). | ||
68 | - */ | ||
69 | - *nperm = 0; | ||
70 | - *nshared = BLK_PERM_ALL; | ||
71 | - return; | ||
72 | - } | ||
73 | - | ||
74 | if (!(role & BDRV_CHILD_FILTERED)) { | ||
75 | /* | ||
76 | * Target child | ||
77 | @@ -XXX,XX +XXX,XX @@ BlockDriverState *bdrv_backup_top_append(BlockDriverState *source, | ||
78 | } | ||
79 | appended = true; | ||
80 | |||
81 | - /* | ||
82 | - * bdrv_append() finished successfully, now we can require permissions | ||
83 | - * we want. | ||
84 | - */ | ||
85 | - state->active = true; | ||
86 | - ret = bdrv_child_refresh_perms(top, top->backing, errp); | ||
87 | - if (ret < 0) { | ||
88 | - error_prepend(errp, "Cannot set permissions for backup-top filter: "); | ||
89 | - goto fail; | ||
90 | - } | ||
91 | - | ||
92 | state->cluster_size = cluster_size; | ||
93 | state->bcs = block_copy_state_new(top->backing, state->target, | ||
94 | cluster_size, perf->use_copy_range, | ||
95 | @@ -XXX,XX +XXX,XX @@ BlockDriverState *bdrv_backup_top_append(BlockDriverState *source, | ||
96 | |||
97 | fail: | ||
98 | if (appended) { | ||
99 | - state->active = false; | ||
100 | bdrv_backup_top_drop(top); | ||
101 | } else { | ||
102 | bdrv_unref(top); | ||
103 | @@ -XXX,XX +XXX,XX @@ void bdrv_backup_top_drop(BlockDriverState *bs) | ||
104 | { | ||
105 | BDRVBackupTopState *s = bs->opaque; | ||
106 | |||
107 | - bdrv_drained_begin(bs); | ||
108 | + bdrv_drop_filter(bs, &error_abort); | ||
109 | |||
110 | block_copy_state_free(s->bcs); | ||
111 | |||
112 | - s->active = false; | ||
113 | - bdrv_child_refresh_perms(bs, bs->backing, &error_abort); | ||
114 | - bdrv_replace_node(bs, bs->backing->bs, &error_abort); | ||
115 | - bdrv_set_backing_hd(bs, NULL, &error_abort); | ||
116 | - | ||
117 | - bdrv_drained_end(bs); | ||
118 | - | ||
119 | bdrv_unref(bs); | ||
120 | } | ||
121 | diff --git a/tests/qemu-iotests/283.out b/tests/qemu-iotests/283.out | ||
122 | index XXXXXXX..XXXXXXX 100644 | ||
123 | --- a/tests/qemu-iotests/283.out | ||
124 | +++ b/tests/qemu-iotests/283.out | ||
125 | @@ -XXX,XX +XXX,XX @@ | ||
126 | {"execute": "blockdev-add", "arguments": {"driver": "blkdebug", "image": "base", "node-name": "other", "take-child-perms": ["write"]}} | ||
127 | {"return": {}} | ||
128 | {"execute": "blockdev-backup", "arguments": {"device": "source", "sync": "full", "target": "target"}} | ||
129 | -{"error": {"class": "GenericError", "desc": "Cannot set permissions for backup-top filter: Conflicts with use by source as 'image', which does not allow 'write' on base"}} | ||
130 | +{"error": {"class": "GenericError", "desc": "Cannot append backup-top filter: Conflicts with use by source as 'image', which does not allow 'write' on base"}} | ||
131 | |||
132 | === backup-top should be gone after job-finalize === | ||
133 | |||
134 | -- | ||
135 | 2.30.2 | ||
136 | |||
137 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | This argument is always NULL. Drop it. | ||
4 | |||
5 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
6 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
7 | Message-Id: <20210428151804.439460-26-vsementsov@virtuozzo.com> | ||
8 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | --- | ||
10 | block.c | 38 +++++++++++--------------------------- | ||
11 | 1 file changed, 11 insertions(+), 27 deletions(-) | ||
12 | |||
13 | diff --git a/block.c b/block.c | ||
14 | index XXXXXXX..XXXXXXX 100644 | ||
15 | --- a/block.c | ||
16 | +++ b/block.c | ||
17 | @@ -XXX,XX +XXX,XX @@ static int bdrv_fill_options(QDict **options, const char *filename, | ||
18 | static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
19 | uint64_t new_used_perm, | ||
20 | uint64_t new_shared_perm, | ||
21 | - GSList *ignore_children, | ||
22 | Error **errp); | ||
23 | |||
24 | typedef struct BlockReopenQueueEntry { | ||
25 | @@ -XXX,XX +XXX,XX @@ static bool bdrv_a_allow_b(BdrvChild *a, BdrvChild *b, Error **errp) | ||
26 | return false; | ||
27 | } | ||
28 | |||
29 | -static bool bdrv_parent_perms_conflict(BlockDriverState *bs, | ||
30 | - GSList *ignore_children, | ||
31 | - Error **errp) | ||
32 | +static bool bdrv_parent_perms_conflict(BlockDriverState *bs, Error **errp) | ||
33 | { | ||
34 | BdrvChild *a, *b; | ||
35 | |||
36 | @@ -XXX,XX +XXX,XX @@ static bool bdrv_parent_perms_conflict(BlockDriverState *bs, | ||
37 | * directions. | ||
38 | */ | ||
39 | QLIST_FOREACH(a, &bs->parents, next_parent) { | ||
40 | - if (g_slist_find(ignore_children, a)) { | ||
41 | - continue; | ||
42 | - } | ||
43 | - | ||
44 | QLIST_FOREACH(b, &bs->parents, next_parent) { | ||
45 | - if (a == b || g_slist_find(ignore_children, b)) { | ||
46 | + if (a == b) { | ||
47 | continue; | ||
48 | } | ||
49 | |||
50 | @@ -XXX,XX +XXX,XX @@ static void bdrv_replace_child_safe(BdrvChild *child, BlockDriverState *new_bs, | ||
51 | static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
52 | uint64_t cumulative_perms, | ||
53 | uint64_t cumulative_shared_perms, | ||
54 | - GSList *ignore_children, | ||
55 | Transaction *tran, Error **errp) | ||
56 | { | ||
57 | BlockDriver *drv = bs->drv; | ||
58 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
59 | bool use_cumulative_perms, | ||
60 | uint64_t cumulative_perms, | ||
61 | uint64_t cumulative_shared_perms, | ||
62 | - GSList *ignore_children, | ||
63 | Transaction *tran, Error **errp) | ||
64 | { | ||
65 | int ret; | ||
66 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
67 | |||
68 | ret = bdrv_node_check_perm(bs, q, cumulative_perms, | ||
69 | cumulative_shared_perms, | ||
70 | - ignore_children, tran, errp); | ||
71 | + tran, errp); | ||
72 | if (ret < 0) { | ||
73 | return ret; | ||
74 | } | ||
75 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
76 | for ( ; list; list = list->next) { | ||
77 | bs = list->data; | ||
78 | |||
79 | - if (bdrv_parent_perms_conflict(bs, ignore_children, errp)) { | ||
80 | + if (bdrv_parent_perms_conflict(bs, errp)) { | ||
81 | return -EINVAL; | ||
82 | } | ||
83 | |||
84 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
85 | |||
86 | ret = bdrv_node_check_perm(bs, q, cumulative_perms, | ||
87 | cumulative_shared_perms, | ||
88 | - ignore_children, tran, errp); | ||
89 | + tran, errp); | ||
90 | if (ret < 0) { | ||
91 | return ret; | ||
92 | } | ||
93 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
94 | |||
95 | static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
96 | uint64_t cumulative_perms, | ||
97 | - uint64_t cumulative_shared_perms, | ||
98 | - GSList *ignore_children, Error **errp) | ||
99 | + uint64_t cumulative_shared_perms, Error **errp) | ||
100 | { | ||
101 | g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
102 | return bdrv_check_perm_common(list, q, true, cumulative_perms, | ||
103 | - cumulative_shared_perms, ignore_children, | ||
104 | - NULL, errp); | ||
105 | + cumulative_shared_perms, NULL, errp); | ||
106 | } | ||
107 | |||
108 | static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
109 | Transaction *tran, Error **errp) | ||
110 | { | ||
111 | - return bdrv_check_perm_common(list, q, false, 0, 0, NULL, tran, errp); | ||
112 | + return bdrv_check_perm_common(list, q, false, 0, 0, tran, errp); | ||
113 | } | ||
114 | |||
115 | /* | ||
116 | @@ -XXX,XX +XXX,XX @@ char *bdrv_perm_names(uint64_t perm) | ||
117 | static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
118 | uint64_t new_used_perm, | ||
119 | uint64_t new_shared_perm, | ||
120 | - GSList *ignore_children, | ||
121 | Error **errp) | ||
122 | { | ||
123 | BdrvChild *c; | ||
124 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
125 | assert(new_shared_perm & BLK_PERM_WRITE_UNCHANGED); | ||
126 | |||
127 | QLIST_FOREACH(c, &bs->parents, next_parent) { | ||
128 | - if (g_slist_find(ignore_children, c)) { | ||
129 | - continue; | ||
130 | - } | ||
131 | - | ||
132 | if ((new_used_perm & c->shared_perm) != new_used_perm) { | ||
133 | char *user = bdrv_child_user_desc(c); | ||
134 | char *perm_names = bdrv_perm_names(new_used_perm & ~c->shared_perm); | ||
135 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
136 | } | ||
137 | |||
138 | return bdrv_check_perm(bs, q, cumulative_perms, cumulative_shared_perms, | ||
139 | - ignore_children, errp); | ||
140 | + errp); | ||
141 | } | ||
142 | |||
143 | static int bdrv_refresh_perms(BlockDriverState *bs, Error **errp) | ||
144 | @@ -XXX,XX +XXX,XX @@ int bdrv_reopen_multiple(BlockReopenQueue *bs_queue, Error **errp) | ||
145 | QTAILQ_FOREACH(bs_entry, bs_queue, entry) { | ||
146 | BDRVReopenState *state = &bs_entry->state; | ||
147 | ret = bdrv_check_perm(state->bs, bs_queue, state->perm, | ||
148 | - state->shared_perm, NULL, errp); | ||
149 | + state->shared_perm, errp); | ||
150 | if (ret < 0) { | ||
151 | goto cleanup_perm; | ||
152 | } | ||
153 | @@ -XXX,XX +XXX,XX @@ int bdrv_reopen_multiple(BlockReopenQueue *bs_queue, Error **errp) | ||
154 | bs_queue, state->perm, state->shared_perm, | ||
155 | &nperm, &nshared); | ||
156 | ret = bdrv_check_update_perm(state->new_backing_bs, NULL, | ||
157 | - nperm, nshared, NULL, errp); | ||
158 | + nperm, nshared, errp); | ||
159 | if (ret < 0) { | ||
160 | goto cleanup_perm; | ||
161 | } | ||
162 | -- | ||
163 | 2.30.2 | ||
164 | |||
165 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | To be used in the further commit. | ||
4 | |||
5 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
6 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
7 | Message-Id: <20210428151804.439460-27-vsementsov@virtuozzo.com> | ||
8 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | --- | ||
10 | block.c | 46 ++++++++++++++++++++++++++++++++++++++++++---- | ||
11 | 1 file changed, 42 insertions(+), 4 deletions(-) | ||
12 | |||
13 | diff --git a/block.c b/block.c | ||
14 | index XXXXXXX..XXXXXXX 100644 | ||
15 | --- a/block.c | ||
16 | +++ b/block.c | ||
17 | @@ -XXX,XX +XXX,XX @@ void bdrv_root_unref_child(BdrvChild *child) | ||
18 | bdrv_unref(child_bs); | ||
19 | } | ||
20 | |||
21 | +typedef struct BdrvSetInheritsFrom { | ||
22 | + BlockDriverState *bs; | ||
23 | + BlockDriverState *old_inherits_from; | ||
24 | +} BdrvSetInheritsFrom; | ||
25 | + | ||
26 | +static void bdrv_set_inherits_from_abort(void *opaque) | ||
27 | +{ | ||
28 | + BdrvSetInheritsFrom *s = opaque; | ||
29 | + | ||
30 | + s->bs->inherits_from = s->old_inherits_from; | ||
31 | +} | ||
32 | + | ||
33 | +static TransactionActionDrv bdrv_set_inherits_from_drv = { | ||
34 | + .abort = bdrv_set_inherits_from_abort, | ||
35 | + .clean = g_free, | ||
36 | +}; | ||
37 | + | ||
38 | +/* @tran is allowed to be NULL. In this case no rollback is possible */ | ||
39 | +static void bdrv_set_inherits_from(BlockDriverState *bs, | ||
40 | + BlockDriverState *new_inherits_from, | ||
41 | + Transaction *tran) | ||
42 | +{ | ||
43 | + if (tran) { | ||
44 | + BdrvSetInheritsFrom *s = g_new(BdrvSetInheritsFrom, 1); | ||
45 | + | ||
46 | + *s = (BdrvSetInheritsFrom) { | ||
47 | + .bs = bs, | ||
48 | + .old_inherits_from = bs->inherits_from, | ||
49 | + }; | ||
50 | + | ||
51 | + tran_add(tran, &bdrv_set_inherits_from_drv, s); | ||
52 | + } | ||
53 | + | ||
54 | + bs->inherits_from = new_inherits_from; | ||
55 | +} | ||
56 | + | ||
57 | /** | ||
58 | * Clear all inherits_from pointers from children and grandchildren of | ||
59 | * @root that point to @root, where necessary. | ||
60 | + * @tran is allowed to be NULL. In this case no rollback is possible | ||
61 | */ | ||
62 | -static void bdrv_unset_inherits_from(BlockDriverState *root, BdrvChild *child) | ||
63 | +static void bdrv_unset_inherits_from(BlockDriverState *root, BdrvChild *child, | ||
64 | + Transaction *tran) | ||
65 | { | ||
66 | BdrvChild *c; | ||
67 | |||
68 | @@ -XXX,XX +XXX,XX @@ static void bdrv_unset_inherits_from(BlockDriverState *root, BdrvChild *child) | ||
69 | } | ||
70 | } | ||
71 | if (c == NULL) { | ||
72 | - child->bs->inherits_from = NULL; | ||
73 | + bdrv_set_inherits_from(child->bs, NULL, tran); | ||
74 | } | ||
75 | } | ||
76 | |||
77 | QLIST_FOREACH(c, &child->bs->children, next) { | ||
78 | - bdrv_unset_inherits_from(root, c); | ||
79 | + bdrv_unset_inherits_from(root, c, tran); | ||
80 | } | ||
81 | } | ||
82 | |||
83 | @@ -XXX,XX +XXX,XX @@ void bdrv_unref_child(BlockDriverState *parent, BdrvChild *child) | ||
84 | return; | ||
85 | } | ||
86 | |||
87 | - bdrv_unset_inherits_from(parent, child); | ||
88 | + bdrv_unset_inherits_from(parent, child, NULL); | ||
89 | bdrv_root_unref_child(child); | ||
90 | } | ||
91 | |||
92 | -- | ||
93 | 2.30.2 | ||
94 | |||
95 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | To be used in further commit. | ||
4 | |||
5 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
6 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
7 | Message-Id: <20210428151804.439460-28-vsementsov@virtuozzo.com> | ||
8 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | --- | ||
10 | include/block/block.h | 3 ++- | ||
11 | block.c | 9 ++++----- | ||
12 | block/io.c | 31 +++++++++++++++++++++++++++++-- | ||
13 | 3 files changed, 35 insertions(+), 8 deletions(-) | ||
14 | |||
15 | diff --git a/include/block/block.h b/include/block/block.h | ||
16 | index XXXXXXX..XXXXXXX 100644 | ||
17 | --- a/include/block/block.h | ||
18 | +++ b/include/block/block.h | ||
19 | @@ -XXX,XX +XXX,XX @@ | ||
20 | #include "block/dirty-bitmap.h" | ||
21 | #include "block/blockjob.h" | ||
22 | #include "qemu/hbitmap.h" | ||
23 | +#include "qemu/transactions.h" | ||
24 | |||
25 | /* | ||
26 | * generated_co_wrapper | ||
27 | @@ -XXX,XX +XXX,XX @@ int64_t bdrv_get_allocated_file_size(BlockDriverState *bs); | ||
28 | BlockMeasureInfo *bdrv_measure(BlockDriver *drv, QemuOpts *opts, | ||
29 | BlockDriverState *in_bs, Error **errp); | ||
30 | void bdrv_get_geometry(BlockDriverState *bs, uint64_t *nb_sectors_ptr); | ||
31 | -void bdrv_refresh_limits(BlockDriverState *bs, Error **errp); | ||
32 | +void bdrv_refresh_limits(BlockDriverState *bs, Transaction *tran, Error **errp); | ||
33 | int bdrv_commit(BlockDriverState *bs); | ||
34 | int bdrv_make_empty(BdrvChild *c, Error **errp); | ||
35 | int bdrv_change_backing_file(BlockDriverState *bs, const char *backing_file, | ||
36 | diff --git a/block.c b/block.c | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/block.c | ||
39 | +++ b/block.c | ||
40 | @@ -XXX,XX +XXX,XX @@ | ||
41 | #include "qemu/timer.h" | ||
42 | #include "qemu/cutils.h" | ||
43 | #include "qemu/id.h" | ||
44 | -#include "qemu/transactions.h" | ||
45 | #include "block/coroutines.h" | ||
46 | |||
47 | #ifdef CONFIG_BSD | ||
48 | @@ -XXX,XX +XXX,XX @@ static int bdrv_open_driver(BlockDriverState *bs, BlockDriver *drv, | ||
49 | return ret; | ||
50 | } | ||
51 | |||
52 | - bdrv_refresh_limits(bs, &local_err); | ||
53 | + bdrv_refresh_limits(bs, NULL, &local_err); | ||
54 | if (local_err) { | ||
55 | error_propagate(errp, local_err); | ||
56 | return -EINVAL; | ||
57 | @@ -XXX,XX +XXX,XX @@ int bdrv_set_backing_hd(BlockDriverState *bs, BlockDriverState *backing_hd, | ||
58 | } | ||
59 | |||
60 | out: | ||
61 | - bdrv_refresh_limits(bs, NULL); | ||
62 | + bdrv_refresh_limits(bs, NULL, NULL); | ||
63 | |||
64 | return ret; | ||
65 | } | ||
66 | @@ -XXX,XX +XXX,XX @@ static void bdrv_reopen_commit(BDRVReopenState *reopen_state) | ||
67 | bdrv_set_backing_hd(bs, reopen_state->new_backing_bs, &error_abort); | ||
68 | } | ||
69 | |||
70 | - bdrv_refresh_limits(bs, NULL); | ||
71 | + bdrv_refresh_limits(bs, NULL, NULL); | ||
72 | } | ||
73 | |||
74 | /* | ||
75 | @@ -XXX,XX +XXX,XX @@ int bdrv_append(BlockDriverState *bs_new, BlockDriverState *bs_top, | ||
76 | out: | ||
77 | tran_finalize(tran, ret); | ||
78 | |||
79 | - bdrv_refresh_limits(bs_top, NULL); | ||
80 | + bdrv_refresh_limits(bs_top, NULL, NULL); | ||
81 | |||
82 | return ret; | ||
83 | } | ||
84 | diff --git a/block/io.c b/block/io.c | ||
85 | index XXXXXXX..XXXXXXX 100644 | ||
86 | --- a/block/io.c | ||
87 | +++ b/block/io.c | ||
88 | @@ -XXX,XX +XXX,XX @@ static void bdrv_merge_limits(BlockLimits *dst, const BlockLimits *src) | ||
89 | dst->max_iov = MIN_NON_ZERO(dst->max_iov, src->max_iov); | ||
90 | } | ||
91 | |||
92 | -void bdrv_refresh_limits(BlockDriverState *bs, Error **errp) | ||
93 | +typedef struct BdrvRefreshLimitsState { | ||
94 | + BlockDriverState *bs; | ||
95 | + BlockLimits old_bl; | ||
96 | +} BdrvRefreshLimitsState; | ||
97 | + | ||
98 | +static void bdrv_refresh_limits_abort(void *opaque) | ||
99 | +{ | ||
100 | + BdrvRefreshLimitsState *s = opaque; | ||
101 | + | ||
102 | + s->bs->bl = s->old_bl; | ||
103 | +} | ||
104 | + | ||
105 | +static TransactionActionDrv bdrv_refresh_limits_drv = { | ||
106 | + .abort = bdrv_refresh_limits_abort, | ||
107 | + .clean = g_free, | ||
108 | +}; | ||
109 | + | ||
110 | +/* @tran is allowed to be NULL, in this case no rollback is possible. */ | ||
111 | +void bdrv_refresh_limits(BlockDriverState *bs, Transaction *tran, Error **errp) | ||
112 | { | ||
113 | ERRP_GUARD(); | ||
114 | BlockDriver *drv = bs->drv; | ||
115 | BdrvChild *c; | ||
116 | bool have_limits; | ||
117 | |||
118 | + if (tran) { | ||
119 | + BdrvRefreshLimitsState *s = g_new(BdrvRefreshLimitsState, 1); | ||
120 | + *s = (BdrvRefreshLimitsState) { | ||
121 | + .bs = bs, | ||
122 | + .old_bl = bs->bl, | ||
123 | + }; | ||
124 | + tran_add(tran, &bdrv_refresh_limits_drv, s); | ||
125 | + } | ||
126 | + | ||
127 | memset(&bs->bl, 0, sizeof(bs->bl)); | ||
128 | |||
129 | if (!drv) { | ||
130 | @@ -XXX,XX +XXX,XX @@ void bdrv_refresh_limits(BlockDriverState *bs, Error **errp) | ||
131 | QLIST_FOREACH(c, &bs->children, next) { | ||
132 | if (c->role & (BDRV_CHILD_DATA | BDRV_CHILD_FILTERED | BDRV_CHILD_COW)) | ||
133 | { | ||
134 | - bdrv_refresh_limits(c->bs, errp); | ||
135 | + bdrv_refresh_limits(c->bs, tran, errp); | ||
136 | if (*errp) { | ||
137 | return; | ||
138 | } | ||
139 | -- | ||
140 | 2.30.2 | ||
141 | |||
142 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Split out no-perm part of bdrv_set_backing_hd() as a separate | ||
4 | transaction action. Note the in case of existing BdrvChild we reuse it, | ||
5 | not recreate, just to do less actions. | ||
6 | |||
7 | We don't need to create extra reference to backing_hd as we don't lose | ||
8 | it in bdrv_attach_child(). | ||
9 | |||
10 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
11 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
12 | Message-Id: <20210428151804.439460-29-vsementsov@virtuozzo.com> | ||
13 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
14 | --- | ||
15 | block.c | 54 +++++++++++++++++++++++++++++++++++++----------------- | ||
16 | 1 file changed, 37 insertions(+), 17 deletions(-) | ||
17 | |||
18 | diff --git a/block.c b/block.c | ||
19 | index XXXXXXX..XXXXXXX 100644 | ||
20 | --- a/block.c | ||
21 | +++ b/block.c | ||
22 | @@ -XXX,XX +XXX,XX @@ static int bdrv_attach_child_noperm(BlockDriverState *parent_bs, | ||
23 | BdrvChild **child, | ||
24 | Transaction *tran, | ||
25 | Error **errp); | ||
26 | +static void bdrv_remove_filter_or_cow_child(BlockDriverState *bs, | ||
27 | + Transaction *tran); | ||
28 | |||
29 | static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, BlockReopenQueue | ||
30 | *queue, Error **errp); | ||
31 | @@ -XXX,XX +XXX,XX @@ static BdrvChildRole bdrv_backing_role(BlockDriverState *bs) | ||
32 | * Sets the bs->backing link of a BDS. A new reference is created; callers | ||
33 | * which don't need their own reference any more must call bdrv_unref(). | ||
34 | */ | ||
35 | -int bdrv_set_backing_hd(BlockDriverState *bs, BlockDriverState *backing_hd, | ||
36 | - Error **errp) | ||
37 | +static int bdrv_set_backing_noperm(BlockDriverState *bs, | ||
38 | + BlockDriverState *backing_hd, | ||
39 | + Transaction *tran, Error **errp) | ||
40 | { | ||
41 | int ret = 0; | ||
42 | bool update_inherits_from = bdrv_chain_contains(bs, backing_hd) && | ||
43 | @@ -XXX,XX +XXX,XX @@ int bdrv_set_backing_hd(BlockDriverState *bs, BlockDriverState *backing_hd, | ||
44 | return -EPERM; | ||
45 | } | ||
46 | |||
47 | - if (backing_hd) { | ||
48 | - bdrv_ref(backing_hd); | ||
49 | - } | ||
50 | - | ||
51 | if (bs->backing) { | ||
52 | /* Cannot be frozen, we checked that above */ | ||
53 | - bdrv_unref_child(bs, bs->backing); | ||
54 | - bs->backing = NULL; | ||
55 | + bdrv_unset_inherits_from(bs, bs->backing, tran); | ||
56 | + bdrv_remove_filter_or_cow_child(bs, tran); | ||
57 | } | ||
58 | |||
59 | if (!backing_hd) { | ||
60 | goto out; | ||
61 | } | ||
62 | |||
63 | - bs->backing = bdrv_attach_child(bs, backing_hd, "backing", &child_of_bds, | ||
64 | - bdrv_backing_role(bs), errp); | ||
65 | - if (!bs->backing) { | ||
66 | - ret = -EPERM; | ||
67 | - goto out; | ||
68 | + ret = bdrv_attach_child_noperm(bs, backing_hd, "backing", | ||
69 | + &child_of_bds, bdrv_backing_role(bs), | ||
70 | + &bs->backing, tran, errp); | ||
71 | + if (ret < 0) { | ||
72 | + return ret; | ||
73 | } | ||
74 | |||
75 | - /* If backing_hd was already part of bs's backing chain, and | ||
76 | + | ||
77 | + /* | ||
78 | + * If backing_hd was already part of bs's backing chain, and | ||
79 | * inherits_from pointed recursively to bs then let's update it to | ||
80 | - * point directly to bs (else it will become NULL). */ | ||
81 | + * point directly to bs (else it will become NULL). | ||
82 | + */ | ||
83 | if (update_inherits_from) { | ||
84 | - backing_hd->inherits_from = bs; | ||
85 | + bdrv_set_inherits_from(backing_hd, bs, tran); | ||
86 | } | ||
87 | |||
88 | out: | ||
89 | - bdrv_refresh_limits(bs, NULL, NULL); | ||
90 | + bdrv_refresh_limits(bs, tran, NULL); | ||
91 | + | ||
92 | + return 0; | ||
93 | +} | ||
94 | + | ||
95 | +int bdrv_set_backing_hd(BlockDriverState *bs, BlockDriverState *backing_hd, | ||
96 | + Error **errp) | ||
97 | +{ | ||
98 | + int ret; | ||
99 | + Transaction *tran = tran_new(); | ||
100 | + | ||
101 | + ret = bdrv_set_backing_noperm(bs, backing_hd, tran, errp); | ||
102 | + if (ret < 0) { | ||
103 | + goto out; | ||
104 | + } | ||
105 | + | ||
106 | + ret = bdrv_refresh_perms(bs, errp); | ||
107 | +out: | ||
108 | + tran_finalize(tran, ret); | ||
109 | |||
110 | return ret; | ||
111 | } | ||
112 | -- | ||
113 | 2.30.2 | ||
114 | |||
115 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | During reopen we may add backing bs from other aio context, which may | ||
4 | lead to changing original context of top bs. | ||
5 | |||
6 | We are going to move graph modification to prepare stage. So, it will | ||
7 | be possible that bdrv_flush() in bdrv_reopen_prepare called on bs in | ||
8 | non-original aio context, which we didn't aquire which leads to crash. | ||
9 | |||
10 | To avoid this problem move bdrv_flush() to be a separate reopen stage | ||
11 | before bdrv_reopen_prepare(). | ||
12 | |||
13 | This doesn't seem correct to acquire only one aio context and not all | ||
14 | contexts participating in reopen. But it's not obvious how to do it | ||
15 | correctly, keeping in mind: | ||
16 | |||
17 | 1. rules of bdrv_set_aio_context_ignore() that requires new_context | ||
18 | lock not being held | ||
19 | |||
20 | 2. possible deadlocks because of holding all (or several?) AioContext | ||
21 | locks | ||
22 | |||
23 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
24 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
25 | Message-Id: <20210428151804.439460-30-vsementsov@virtuozzo.com> | ||
26 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
27 | --- | ||
28 | block.c | 14 ++++++++------ | ||
29 | 1 file changed, 8 insertions(+), 6 deletions(-) | ||
30 | |||
31 | diff --git a/block.c b/block.c | ||
32 | index XXXXXXX..XXXXXXX 100644 | ||
33 | --- a/block.c | ||
34 | +++ b/block.c | ||
35 | @@ -XXX,XX +XXX,XX @@ int bdrv_reopen_multiple(BlockReopenQueue *bs_queue, Error **errp) | ||
36 | |||
37 | assert(bs_queue != NULL); | ||
38 | |||
39 | + QTAILQ_FOREACH(bs_entry, bs_queue, entry) { | ||
40 | + ret = bdrv_flush(bs_entry->state.bs); | ||
41 | + if (ret < 0) { | ||
42 | + error_setg_errno(errp, -ret, "Error flushing drive"); | ||
43 | + goto cleanup; | ||
44 | + } | ||
45 | + } | ||
46 | + | ||
47 | QTAILQ_FOREACH(bs_entry, bs_queue, entry) { | ||
48 | assert(bs_entry->state.bs->quiesce_counter > 0); | ||
49 | if (bdrv_reopen_prepare(&bs_entry->state, bs_queue, errp)) { | ||
50 | @@ -XXX,XX +XXX,XX @@ static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, | ||
51 | bdrv_reopen_perm(queue, reopen_state->bs, | ||
52 | &reopen_state->perm, &reopen_state->shared_perm); | ||
53 | |||
54 | - ret = bdrv_flush(reopen_state->bs); | ||
55 | - if (ret) { | ||
56 | - error_setg_errno(errp, -ret, "Error flushing drive"); | ||
57 | - goto error; | ||
58 | - } | ||
59 | - | ||
60 | if (drv->bdrv_reopen_prepare) { | ||
61 | /* | ||
62 | * If a driver-specific option is missing, it means that we | ||
63 | -- | ||
64 | 2.30.2 | ||
65 | |||
66 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Move bdrv_reopen_multiple to new paradigm of permission update: | ||
4 | first update graph relations, then do refresh the permissions. | ||
5 | |||
6 | We have to modify reopen process in file-posix driver: with new scheme | ||
7 | we don't have prepared permissions in raw_reopen_prepare(), so we | ||
8 | should reconfigure fd in raw_check_perm(). Still this seems more native | ||
9 | and simple anyway. | ||
10 | |||
11 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
12 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
13 | Message-Id: <20210428151804.439460-31-vsementsov@virtuozzo.com> | ||
14 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
15 | --- | ||
16 | include/block/block.h | 3 +- | ||
17 | block.c | 187 ++++++++++++------------------------------ | ||
18 | block/file-posix.c | 91 +++++++------------- | ||
19 | 3 files changed, 84 insertions(+), 197 deletions(-) | ||
20 | |||
21 | diff --git a/include/block/block.h b/include/block/block.h | ||
22 | index XXXXXXX..XXXXXXX 100644 | ||
23 | --- a/include/block/block.h | ||
24 | +++ b/include/block/block.h | ||
25 | @@ -XXX,XX +XXX,XX @@ typedef struct BDRVReopenState { | ||
26 | BlockdevDetectZeroesOptions detect_zeroes; | ||
27 | bool backing_missing; | ||
28 | bool replace_backing_bs; /* new_backing_bs is ignored if this is false */ | ||
29 | - BlockDriverState *new_backing_bs; /* If NULL then detach the current bs */ | ||
30 | - uint64_t perm, shared_perm; | ||
31 | + BlockDriverState *old_backing_bs; /* keep pointer for permissions update */ | ||
32 | QDict *options; | ||
33 | QDict *explicit_options; | ||
34 | void *opaque; | ||
35 | diff --git a/block.c b/block.c | ||
36 | index XXXXXXX..XXXXXXX 100644 | ||
37 | --- a/block.c | ||
38 | +++ b/block.c | ||
39 | @@ -XXX,XX +XXX,XX @@ static int bdrv_attach_child_noperm(BlockDriverState *parent_bs, | ||
40 | static void bdrv_remove_filter_or_cow_child(BlockDriverState *bs, | ||
41 | Transaction *tran); | ||
42 | |||
43 | -static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, BlockReopenQueue | ||
44 | - *queue, Error **errp); | ||
45 | +static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, | ||
46 | + BlockReopenQueue *queue, | ||
47 | + Transaction *set_backings_tran, Error **errp); | ||
48 | static void bdrv_reopen_commit(BDRVReopenState *reopen_state); | ||
49 | static void bdrv_reopen_abort(BDRVReopenState *reopen_state); | ||
50 | |||
51 | @@ -XXX,XX +XXX,XX @@ static void bdrv_list_abort_perm_update(GSList *list) | ||
52 | } | ||
53 | } | ||
54 | |||
55 | +__attribute__((unused)) | ||
56 | static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
57 | { | ||
58 | g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
59 | @@ -XXX,XX +XXX,XX @@ char *bdrv_perm_names(uint64_t perm) | ||
60 | * | ||
61 | * Needs to be followed by a call to either bdrv_set_perm() or | ||
62 | * bdrv_abort_perm_update(). */ | ||
63 | +__attribute__((unused)) | ||
64 | static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
65 | uint64_t new_used_perm, | ||
66 | uint64_t new_shared_perm, | ||
67 | @@ -XXX,XX +XXX,XX @@ static BlockReopenQueue *bdrv_reopen_queue_child(BlockReopenQueue *bs_queue, | ||
68 | bs_entry->state.explicit_options = explicit_options; | ||
69 | bs_entry->state.flags = flags; | ||
70 | |||
71 | - /* This needs to be overwritten in bdrv_reopen_prepare() */ | ||
72 | - bs_entry->state.perm = UINT64_MAX; | ||
73 | - bs_entry->state.shared_perm = 0; | ||
74 | - | ||
75 | /* | ||
76 | * If keep_old_opts is false then it means that unspecified | ||
77 | * options must be reset to their original value. We don't allow | ||
78 | @@ -XXX,XX +XXX,XX @@ int bdrv_reopen_multiple(BlockReopenQueue *bs_queue, Error **errp) | ||
79 | { | ||
80 | int ret = -1; | ||
81 | BlockReopenQueueEntry *bs_entry, *next; | ||
82 | + Transaction *tran = tran_new(); | ||
83 | + g_autoptr(GHashTable) found = NULL; | ||
84 | + g_autoptr(GSList) refresh_list = NULL; | ||
85 | |||
86 | assert(bs_queue != NULL); | ||
87 | |||
88 | @@ -XXX,XX +XXX,XX @@ int bdrv_reopen_multiple(BlockReopenQueue *bs_queue, Error **errp) | ||
89 | |||
90 | QTAILQ_FOREACH(bs_entry, bs_queue, entry) { | ||
91 | assert(bs_entry->state.bs->quiesce_counter > 0); | ||
92 | - if (bdrv_reopen_prepare(&bs_entry->state, bs_queue, errp)) { | ||
93 | - goto cleanup; | ||
94 | + ret = bdrv_reopen_prepare(&bs_entry->state, bs_queue, tran, errp); | ||
95 | + if (ret < 0) { | ||
96 | + goto abort; | ||
97 | } | ||
98 | bs_entry->prepared = true; | ||
99 | } | ||
100 | |||
101 | + found = g_hash_table_new(NULL, NULL); | ||
102 | QTAILQ_FOREACH(bs_entry, bs_queue, entry) { | ||
103 | BDRVReopenState *state = &bs_entry->state; | ||
104 | - ret = bdrv_check_perm(state->bs, bs_queue, state->perm, | ||
105 | - state->shared_perm, errp); | ||
106 | - if (ret < 0) { | ||
107 | - goto cleanup_perm; | ||
108 | - } | ||
109 | - /* Check if new_backing_bs would accept the new permissions */ | ||
110 | - if (state->replace_backing_bs && state->new_backing_bs) { | ||
111 | - uint64_t nperm, nshared; | ||
112 | - bdrv_child_perm(state->bs, state->new_backing_bs, | ||
113 | - NULL, bdrv_backing_role(state->bs), | ||
114 | - bs_queue, state->perm, state->shared_perm, | ||
115 | - &nperm, &nshared); | ||
116 | - ret = bdrv_check_update_perm(state->new_backing_bs, NULL, | ||
117 | - nperm, nshared, errp); | ||
118 | - if (ret < 0) { | ||
119 | - goto cleanup_perm; | ||
120 | - } | ||
121 | + | ||
122 | + refresh_list = bdrv_topological_dfs(refresh_list, found, state->bs); | ||
123 | + if (state->old_backing_bs) { | ||
124 | + refresh_list = bdrv_topological_dfs(refresh_list, found, | ||
125 | + state->old_backing_bs); | ||
126 | } | ||
127 | - bs_entry->perms_checked = true; | ||
128 | + } | ||
129 | + | ||
130 | + /* | ||
131 | + * Note that file-posix driver rely on permission update done during reopen | ||
132 | + * (even if no permission changed), because it wants "new" permissions for | ||
133 | + * reconfiguring the fd and that's why it does it in raw_check_perm(), not | ||
134 | + * in raw_reopen_prepare() which is called with "old" permissions. | ||
135 | + */ | ||
136 | + ret = bdrv_list_refresh_perms(refresh_list, bs_queue, tran, errp); | ||
137 | + if (ret < 0) { | ||
138 | + goto abort; | ||
139 | } | ||
140 | |||
141 | /* | ||
142 | @@ -XXX,XX +XXX,XX @@ int bdrv_reopen_multiple(BlockReopenQueue *bs_queue, Error **errp) | ||
143 | bdrv_reopen_commit(&bs_entry->state); | ||
144 | } | ||
145 | |||
146 | - ret = 0; | ||
147 | -cleanup_perm: | ||
148 | - QTAILQ_FOREACH_SAFE(bs_entry, bs_queue, entry, next) { | ||
149 | - BDRVReopenState *state = &bs_entry->state; | ||
150 | - | ||
151 | - if (!bs_entry->perms_checked) { | ||
152 | - continue; | ||
153 | - } | ||
154 | - | ||
155 | - if (ret == 0) { | ||
156 | - uint64_t perm, shared; | ||
157 | + tran_commit(tran); | ||
158 | |||
159 | - bdrv_get_cumulative_perm(state->bs, &perm, &shared); | ||
160 | - assert(perm == state->perm); | ||
161 | - assert(shared == state->shared_perm); | ||
162 | + QTAILQ_FOREACH_REVERSE(bs_entry, bs_queue, entry) { | ||
163 | + BlockDriverState *bs = bs_entry->state.bs; | ||
164 | |||
165 | - bdrv_set_perm(state->bs); | ||
166 | - } else { | ||
167 | - bdrv_abort_perm_update(state->bs); | ||
168 | - if (state->replace_backing_bs && state->new_backing_bs) { | ||
169 | - bdrv_abort_perm_update(state->new_backing_bs); | ||
170 | - } | ||
171 | + if (bs->drv->bdrv_reopen_commit_post) { | ||
172 | + bs->drv->bdrv_reopen_commit_post(&bs_entry->state); | ||
173 | } | ||
174 | } | ||
175 | |||
176 | - if (ret == 0) { | ||
177 | - QTAILQ_FOREACH_REVERSE(bs_entry, bs_queue, entry) { | ||
178 | - BlockDriverState *bs = bs_entry->state.bs; | ||
179 | + ret = 0; | ||
180 | + goto cleanup; | ||
181 | |||
182 | - if (bs->drv->bdrv_reopen_commit_post) | ||
183 | - bs->drv->bdrv_reopen_commit_post(&bs_entry->state); | ||
184 | +abort: | ||
185 | + tran_abort(tran); | ||
186 | + QTAILQ_FOREACH_SAFE(bs_entry, bs_queue, entry, next) { | ||
187 | + if (bs_entry->prepared) { | ||
188 | + bdrv_reopen_abort(&bs_entry->state); | ||
189 | } | ||
190 | + qobject_unref(bs_entry->state.explicit_options); | ||
191 | + qobject_unref(bs_entry->state.options); | ||
192 | } | ||
193 | + | ||
194 | cleanup: | ||
195 | QTAILQ_FOREACH_SAFE(bs_entry, bs_queue, entry, next) { | ||
196 | - if (ret) { | ||
197 | - if (bs_entry->prepared) { | ||
198 | - bdrv_reopen_abort(&bs_entry->state); | ||
199 | - } | ||
200 | - qobject_unref(bs_entry->state.explicit_options); | ||
201 | - qobject_unref(bs_entry->state.options); | ||
202 | - } | ||
203 | - if (bs_entry->state.new_backing_bs) { | ||
204 | - bdrv_unref(bs_entry->state.new_backing_bs); | ||
205 | - } | ||
206 | g_free(bs_entry); | ||
207 | } | ||
208 | g_free(bs_queue); | ||
209 | @@ -XXX,XX +XXX,XX @@ int bdrv_reopen_set_read_only(BlockDriverState *bs, bool read_only, | ||
210 | return ret; | ||
211 | } | ||
212 | |||
213 | -static BlockReopenQueueEntry *find_parent_in_reopen_queue(BlockReopenQueue *q, | ||
214 | - BdrvChild *c) | ||
215 | -{ | ||
216 | - BlockReopenQueueEntry *entry; | ||
217 | - | ||
218 | - QTAILQ_FOREACH(entry, q, entry) { | ||
219 | - BlockDriverState *bs = entry->state.bs; | ||
220 | - BdrvChild *child; | ||
221 | - | ||
222 | - QLIST_FOREACH(child, &bs->children, next) { | ||
223 | - if (child == c) { | ||
224 | - return entry; | ||
225 | - } | ||
226 | - } | ||
227 | - } | ||
228 | - | ||
229 | - return NULL; | ||
230 | -} | ||
231 | - | ||
232 | -static void bdrv_reopen_perm(BlockReopenQueue *q, BlockDriverState *bs, | ||
233 | - uint64_t *perm, uint64_t *shared) | ||
234 | -{ | ||
235 | - BdrvChild *c; | ||
236 | - BlockReopenQueueEntry *parent; | ||
237 | - uint64_t cumulative_perms = 0; | ||
238 | - uint64_t cumulative_shared_perms = BLK_PERM_ALL; | ||
239 | - | ||
240 | - QLIST_FOREACH(c, &bs->parents, next_parent) { | ||
241 | - parent = find_parent_in_reopen_queue(q, c); | ||
242 | - if (!parent) { | ||
243 | - cumulative_perms |= c->perm; | ||
244 | - cumulative_shared_perms &= c->shared_perm; | ||
245 | - } else { | ||
246 | - uint64_t nperm, nshared; | ||
247 | - | ||
248 | - bdrv_child_perm(parent->state.bs, bs, c, c->role, q, | ||
249 | - parent->state.perm, parent->state.shared_perm, | ||
250 | - &nperm, &nshared); | ||
251 | - | ||
252 | - cumulative_perms |= nperm; | ||
253 | - cumulative_shared_perms &= nshared; | ||
254 | - } | ||
255 | - } | ||
256 | - *perm = cumulative_perms; | ||
257 | - *shared = cumulative_shared_perms; | ||
258 | -} | ||
259 | - | ||
260 | static bool bdrv_reopen_can_attach(BlockDriverState *parent, | ||
261 | BdrvChild *child, | ||
262 | BlockDriverState *new_child, | ||
263 | @@ -XXX,XX +XXX,XX @@ static bool bdrv_reopen_can_attach(BlockDriverState *parent, | ||
264 | * Return 0 on success, otherwise return < 0 and set @errp. | ||
265 | */ | ||
266 | static int bdrv_reopen_parse_backing(BDRVReopenState *reopen_state, | ||
267 | + Transaction *set_backings_tran, | ||
268 | Error **errp) | ||
269 | { | ||
270 | BlockDriverState *bs = reopen_state->bs; | ||
271 | @@ -XXX,XX +XXX,XX @@ static int bdrv_reopen_parse_backing(BDRVReopenState *reopen_state, | ||
272 | |||
273 | /* If we want to replace the backing file we need some extra checks */ | ||
274 | if (new_backing_bs != bdrv_filter_or_cow_bs(overlay_bs)) { | ||
275 | + int ret; | ||
276 | + | ||
277 | /* Check for implicit nodes between bs and its backing file */ | ||
278 | if (bs != overlay_bs) { | ||
279 | error_setg(errp, "Cannot change backing link if '%s' has " | ||
280 | @@ -XXX,XX +XXX,XX @@ static int bdrv_reopen_parse_backing(BDRVReopenState *reopen_state, | ||
281 | return -EPERM; | ||
282 | } | ||
283 | reopen_state->replace_backing_bs = true; | ||
284 | - if (new_backing_bs) { | ||
285 | - bdrv_ref(new_backing_bs); | ||
286 | - reopen_state->new_backing_bs = new_backing_bs; | ||
287 | + reopen_state->old_backing_bs = bs->backing ? bs->backing->bs : NULL; | ||
288 | + ret = bdrv_set_backing_noperm(bs, new_backing_bs, set_backings_tran, | ||
289 | + errp); | ||
290 | + if (ret < 0) { | ||
291 | + return ret; | ||
292 | } | ||
293 | } | ||
294 | |||
295 | @@ -XXX,XX +XXX,XX @@ static int bdrv_reopen_parse_backing(BDRVReopenState *reopen_state, | ||
296 | * | ||
297 | */ | ||
298 | static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, | ||
299 | - BlockReopenQueue *queue, Error **errp) | ||
300 | + BlockReopenQueue *queue, | ||
301 | + Transaction *set_backings_tran, Error **errp) | ||
302 | { | ||
303 | int ret = -1; | ||
304 | int old_flags; | ||
305 | @@ -XXX,XX +XXX,XX @@ static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, | ||
306 | goto error; | ||
307 | } | ||
308 | |||
309 | - /* Calculate required permissions after reopening */ | ||
310 | - bdrv_reopen_perm(queue, reopen_state->bs, | ||
311 | - &reopen_state->perm, &reopen_state->shared_perm); | ||
312 | - | ||
313 | if (drv->bdrv_reopen_prepare) { | ||
314 | /* | ||
315 | * If a driver-specific option is missing, it means that we | ||
316 | @@ -XXX,XX +XXX,XX @@ static int bdrv_reopen_prepare(BDRVReopenState *reopen_state, | ||
317 | * either a reference to an existing node (using its node name) | ||
318 | * or NULL to simply detach the current backing file. | ||
319 | */ | ||
320 | - ret = bdrv_reopen_parse_backing(reopen_state, errp); | ||
321 | + ret = bdrv_reopen_parse_backing(reopen_state, set_backings_tran, errp); | ||
322 | if (ret < 0) { | ||
323 | goto error; | ||
324 | } | ||
325 | @@ -XXX,XX +XXX,XX @@ static void bdrv_reopen_commit(BDRVReopenState *reopen_state) | ||
326 | qdict_del(bs->explicit_options, child->name); | ||
327 | qdict_del(bs->options, child->name); | ||
328 | } | ||
329 | - | ||
330 | - /* | ||
331 | - * Change the backing file if a new one was specified. We do this | ||
332 | - * after updating bs->options, so bdrv_refresh_filename() (called | ||
333 | - * from bdrv_set_backing_hd()) has the new values. | ||
334 | - */ | ||
335 | - if (reopen_state->replace_backing_bs) { | ||
336 | - BlockDriverState *old_backing_bs = child_bs(bs->backing); | ||
337 | - assert(!old_backing_bs || !old_backing_bs->implicit); | ||
338 | - /* Abort the permission update on the backing bs we're detaching */ | ||
339 | - if (old_backing_bs) { | ||
340 | - bdrv_abort_perm_update(old_backing_bs); | ||
341 | - } | ||
342 | - bdrv_set_backing_hd(bs, reopen_state->new_backing_bs, &error_abort); | ||
343 | - } | ||
344 | - | ||
345 | bdrv_refresh_limits(bs, NULL, NULL); | ||
346 | } | ||
347 | |||
348 | diff --git a/block/file-posix.c b/block/file-posix.c | ||
349 | index XXXXXXX..XXXXXXX 100644 | ||
350 | --- a/block/file-posix.c | ||
351 | +++ b/block/file-posix.c | ||
352 | @@ -XXX,XX +XXX,XX @@ typedef struct BDRVRawState { | ||
353 | } BDRVRawState; | ||
354 | |||
355 | typedef struct BDRVRawReopenState { | ||
356 | - int fd; | ||
357 | int open_flags; | ||
358 | bool drop_cache; | ||
359 | bool check_cache_dropped; | ||
360 | @@ -XXX,XX +XXX,XX @@ static int raw_reopen_prepare(BDRVReopenState *state, | ||
361 | BDRVRawReopenState *rs; | ||
362 | QemuOpts *opts; | ||
363 | int ret; | ||
364 | - Error *local_err = NULL; | ||
365 | |||
366 | assert(state != NULL); | ||
367 | assert(state->bs != NULL); | ||
368 | @@ -XXX,XX +XXX,XX @@ static int raw_reopen_prepare(BDRVReopenState *state, | ||
369 | * bdrv_reopen_prepare() will detect changes and complain. */ | ||
370 | qemu_opts_to_qdict(opts, state->options); | ||
371 | |||
372 | - rs->fd = raw_reconfigure_getfd(state->bs, state->flags, &rs->open_flags, | ||
373 | - state->perm, true, &local_err); | ||
374 | - if (local_err) { | ||
375 | - error_propagate(errp, local_err); | ||
376 | - ret = -1; | ||
377 | - goto out; | ||
378 | - } | ||
379 | - | ||
380 | - /* Fail already reopen_prepare() if we can't get a working O_DIRECT | ||
381 | - * alignment with the new fd. */ | ||
382 | - if (rs->fd != -1) { | ||
383 | - raw_probe_alignment(state->bs, rs->fd, &local_err); | ||
384 | - if (local_err) { | ||
385 | - error_propagate(errp, local_err); | ||
386 | - ret = -EINVAL; | ||
387 | - goto out_fd; | ||
388 | - } | ||
389 | - } | ||
390 | + /* | ||
391 | + * As part of reopen prepare we also want to create new fd by | ||
392 | + * raw_reconfigure_getfd(). But it wants updated "perm", when in | ||
393 | + * bdrv_reopen_multiple() .bdrv_reopen_prepare() callback called prior to | ||
394 | + * permission update. Happily, permission update is always a part (a seprate | ||
395 | + * stage) of bdrv_reopen_multiple() so we can rely on this fact and | ||
396 | + * reconfigure fd in raw_check_perm(). | ||
397 | + */ | ||
398 | |||
399 | s->reopen_state = state; | ||
400 | ret = 0; | ||
401 | -out_fd: | ||
402 | - if (ret < 0) { | ||
403 | - qemu_close(rs->fd); | ||
404 | - rs->fd = -1; | ||
405 | - } | ||
406 | + | ||
407 | out: | ||
408 | qemu_opts_del(opts); | ||
409 | return ret; | ||
410 | @@ -XXX,XX +XXX,XX @@ static void raw_reopen_commit(BDRVReopenState *state) | ||
411 | s->drop_cache = rs->drop_cache; | ||
412 | s->check_cache_dropped = rs->check_cache_dropped; | ||
413 | s->open_flags = rs->open_flags; | ||
414 | - | ||
415 | - qemu_close(s->fd); | ||
416 | - s->fd = rs->fd; | ||
417 | - | ||
418 | g_free(state->opaque); | ||
419 | state->opaque = NULL; | ||
420 | |||
421 | @@ -XXX,XX +XXX,XX @@ static void raw_reopen_abort(BDRVReopenState *state) | ||
422 | return; | ||
423 | } | ||
424 | |||
425 | - if (rs->fd >= 0) { | ||
426 | - qemu_close(rs->fd); | ||
427 | - rs->fd = -1; | ||
428 | - } | ||
429 | g_free(state->opaque); | ||
430 | state->opaque = NULL; | ||
431 | |||
432 | @@ -XXX,XX +XXX,XX @@ static int raw_check_perm(BlockDriverState *bs, uint64_t perm, uint64_t shared, | ||
433 | Error **errp) | ||
434 | { | ||
435 | BDRVRawState *s = bs->opaque; | ||
436 | - BDRVRawReopenState *rs = NULL; | ||
437 | + int input_flags = s->reopen_state ? s->reopen_state->flags : bs->open_flags; | ||
438 | int open_flags; | ||
439 | int ret; | ||
440 | |||
441 | - if (s->perm_change_fd) { | ||
442 | + /* We may need a new fd if auto-read-only switches the mode */ | ||
443 | + ret = raw_reconfigure_getfd(bs, input_flags, &open_flags, perm, | ||
444 | + false, errp); | ||
445 | + if (ret < 0) { | ||
446 | + return ret; | ||
447 | + } else if (ret != s->fd) { | ||
448 | + Error *local_err = NULL; | ||
449 | + | ||
450 | /* | ||
451 | - * In the context of reopen, this function may be called several times | ||
452 | - * (directly and recursively while change permissions of the parent). | ||
453 | - * This is even true for children that don't inherit from the original | ||
454 | - * reopen node, so s->reopen_state is not set. | ||
455 | - * | ||
456 | - * Ignore all but the first call. | ||
457 | + * Fail already check_perm() if we can't get a working O_DIRECT | ||
458 | + * alignment with the new fd. | ||
459 | */ | ||
460 | - return 0; | ||
461 | - } | ||
462 | - | ||
463 | - if (s->reopen_state) { | ||
464 | - /* We already have a new file descriptor to set permissions for */ | ||
465 | - assert(s->reopen_state->perm == perm); | ||
466 | - assert(s->reopen_state->shared_perm == shared); | ||
467 | - rs = s->reopen_state->opaque; | ||
468 | - s->perm_change_fd = rs->fd; | ||
469 | - s->perm_change_flags = rs->open_flags; | ||
470 | - } else { | ||
471 | - /* We may need a new fd if auto-read-only switches the mode */ | ||
472 | - ret = raw_reconfigure_getfd(bs, bs->open_flags, &open_flags, perm, | ||
473 | - false, errp); | ||
474 | - if (ret < 0) { | ||
475 | - return ret; | ||
476 | - } else if (ret != s->fd) { | ||
477 | - s->perm_change_fd = ret; | ||
478 | - s->perm_change_flags = open_flags; | ||
479 | + raw_probe_alignment(bs, ret, &local_err); | ||
480 | + if (local_err) { | ||
481 | + error_propagate(errp, local_err); | ||
482 | + return -EINVAL; | ||
483 | } | ||
484 | + | ||
485 | + s->perm_change_fd = ret; | ||
486 | + s->perm_change_flags = open_flags; | ||
487 | } | ||
488 | |||
489 | /* Prepare permissions on old fd to avoid conflicts between old and new, | ||
490 | @@ -XXX,XX +XXX,XX @@ static int raw_check_perm(BlockDriverState *bs, uint64_t perm, uint64_t shared, | ||
491 | return 0; | ||
492 | |||
493 | fail: | ||
494 | - if (s->perm_change_fd && !s->reopen_state) { | ||
495 | + if (s->perm_change_fd) { | ||
496 | qemu_close(s->perm_change_fd); | ||
497 | } | ||
498 | s->perm_change_fd = 0; | ||
499 | @@ -XXX,XX +XXX,XX @@ static void raw_abort_perm_update(BlockDriverState *bs) | ||
500 | |||
501 | /* For reopen, .bdrv_reopen_abort is called afterwards and will close | ||
502 | * the file descriptor. */ | ||
503 | - if (s->perm_change_fd && !s->reopen_state) { | ||
504 | + if (s->perm_change_fd) { | ||
505 | qemu_close(s->perm_change_fd); | ||
506 | } | ||
507 | s->perm_change_fd = 0; | ||
508 | -- | ||
509 | 2.30.2 | ||
510 | |||
511 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
4 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
5 | Message-Id: <20210428151804.439460-32-vsementsov@virtuozzo.com> | ||
6 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
7 | --- | ||
8 | block.c | 103 -------------------------------------------------------- | ||
9 | 1 file changed, 103 deletions(-) | ||
10 | |||
11 | diff --git a/block.c b/block.c | ||
12 | index XXXXXXX..XXXXXXX 100644 | ||
13 | --- a/block.c | ||
14 | +++ b/block.c | ||
15 | @@ -XXX,XX +XXX,XX @@ static int bdrv_fill_options(QDict **options, const char *filename, | ||
16 | return 0; | ||
17 | } | ||
18 | |||
19 | -static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
20 | - uint64_t new_used_perm, | ||
21 | - uint64_t new_shared_perm, | ||
22 | - Error **errp); | ||
23 | - | ||
24 | typedef struct BlockReopenQueueEntry { | ||
25 | bool prepared; | ||
26 | bool perms_checked; | ||
27 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
28 | return 0; | ||
29 | } | ||
30 | |||
31 | -static int bdrv_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
32 | - uint64_t cumulative_perms, | ||
33 | - uint64_t cumulative_shared_perms, Error **errp) | ||
34 | -{ | ||
35 | - g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
36 | - return bdrv_check_perm_common(list, q, true, cumulative_perms, | ||
37 | - cumulative_shared_perms, NULL, errp); | ||
38 | -} | ||
39 | - | ||
40 | static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
41 | Transaction *tran, Error **errp) | ||
42 | { | ||
43 | return bdrv_check_perm_common(list, q, false, 0, 0, tran, errp); | ||
44 | } | ||
45 | |||
46 | -/* | ||
47 | - * Notifies drivers that after a previous bdrv_check_perm() call, the | ||
48 | - * permission update is not performed and any preparations made for it (e.g. | ||
49 | - * taken file locks) need to be undone. | ||
50 | - */ | ||
51 | -static void bdrv_node_abort_perm_update(BlockDriverState *bs) | ||
52 | -{ | ||
53 | - BlockDriver *drv = bs->drv; | ||
54 | - BdrvChild *c; | ||
55 | - | ||
56 | - if (!drv) { | ||
57 | - return; | ||
58 | - } | ||
59 | - | ||
60 | - bdrv_drv_set_perm_abort(bs); | ||
61 | - | ||
62 | - QLIST_FOREACH(c, &bs->children, next) { | ||
63 | - bdrv_child_set_perm_abort(c); | ||
64 | - } | ||
65 | -} | ||
66 | - | ||
67 | -static void bdrv_list_abort_perm_update(GSList *list) | ||
68 | -{ | ||
69 | - for ( ; list; list = list->next) { | ||
70 | - bdrv_node_abort_perm_update((BlockDriverState *)list->data); | ||
71 | - } | ||
72 | -} | ||
73 | - | ||
74 | -__attribute__((unused)) | ||
75 | -static void bdrv_abort_perm_update(BlockDriverState *bs) | ||
76 | -{ | ||
77 | - g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
78 | - return bdrv_list_abort_perm_update(list); | ||
79 | -} | ||
80 | - | ||
81 | static void bdrv_node_set_perm(BlockDriverState *bs) | ||
82 | { | ||
83 | BlockDriver *drv = bs->drv; | ||
84 | @@ -XXX,XX +XXX,XX @@ char *bdrv_perm_names(uint64_t perm) | ||
85 | return g_string_free(result, FALSE); | ||
86 | } | ||
87 | |||
88 | -/* | ||
89 | - * Checks whether a new reference to @bs can be added if the new user requires | ||
90 | - * @new_used_perm/@new_shared_perm as its permissions. If @ignore_children is | ||
91 | - * set, the BdrvChild objects in this list are ignored in the calculations; | ||
92 | - * this allows checking permission updates for an existing reference. | ||
93 | - * | ||
94 | - * Needs to be followed by a call to either bdrv_set_perm() or | ||
95 | - * bdrv_abort_perm_update(). */ | ||
96 | -__attribute__((unused)) | ||
97 | -static int bdrv_check_update_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
98 | - uint64_t new_used_perm, | ||
99 | - uint64_t new_shared_perm, | ||
100 | - Error **errp) | ||
101 | -{ | ||
102 | - BdrvChild *c; | ||
103 | - uint64_t cumulative_perms = new_used_perm; | ||
104 | - uint64_t cumulative_shared_perms = new_shared_perm; | ||
105 | - | ||
106 | - | ||
107 | - /* There is no reason why anyone couldn't tolerate write_unchanged */ | ||
108 | - assert(new_shared_perm & BLK_PERM_WRITE_UNCHANGED); | ||
109 | - | ||
110 | - QLIST_FOREACH(c, &bs->parents, next_parent) { | ||
111 | - if ((new_used_perm & c->shared_perm) != new_used_perm) { | ||
112 | - char *user = bdrv_child_user_desc(c); | ||
113 | - char *perm_names = bdrv_perm_names(new_used_perm & ~c->shared_perm); | ||
114 | - | ||
115 | - error_setg(errp, "Conflicts with use by %s as '%s', which does not " | ||
116 | - "allow '%s' on %s", | ||
117 | - user, c->name, perm_names, bdrv_get_node_name(c->bs)); | ||
118 | - g_free(user); | ||
119 | - g_free(perm_names); | ||
120 | - return -EPERM; | ||
121 | - } | ||
122 | - | ||
123 | - if ((c->perm & new_shared_perm) != c->perm) { | ||
124 | - char *user = bdrv_child_user_desc(c); | ||
125 | - char *perm_names = bdrv_perm_names(c->perm & ~new_shared_perm); | ||
126 | - | ||
127 | - error_setg(errp, "Conflicts with use by %s as '%s', which uses " | ||
128 | - "'%s' on %s", | ||
129 | - user, c->name, perm_names, bdrv_get_node_name(c->bs)); | ||
130 | - g_free(user); | ||
131 | - g_free(perm_names); | ||
132 | - return -EPERM; | ||
133 | - } | ||
134 | - | ||
135 | - cumulative_perms |= c->perm; | ||
136 | - cumulative_shared_perms &= c->shared_perm; | ||
137 | - } | ||
138 | - | ||
139 | - return bdrv_check_perm(bs, q, cumulative_perms, cumulative_shared_perms, | ||
140 | - errp); | ||
141 | -} | ||
142 | |||
143 | static int bdrv_refresh_perms(BlockDriverState *bs, Error **errp) | ||
144 | { | ||
145 | -- | ||
146 | 2.30.2 | ||
147 | |||
148 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | bdrv_check_perm_common() has only one caller, so no more sense in | ||
4 | "common". | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
8 | Message-Id: <20210428151804.439460-33-vsementsov@virtuozzo.com> | ||
9 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | --- | ||
11 | block.c | 32 +++----------------------------- | ||
12 | 1 file changed, 3 insertions(+), 29 deletions(-) | ||
13 | |||
14 | diff --git a/block.c b/block.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/block.c | ||
17 | +++ b/block.c | ||
18 | @@ -XXX,XX +XXX,XX @@ static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
19 | return 0; | ||
20 | } | ||
21 | |||
22 | -/* | ||
23 | - * If use_cumulative_perms is true, use cumulative_perms and | ||
24 | - * cumulative_shared_perms for first element of the list. Otherwise just refresh | ||
25 | - * all permissions. | ||
26 | - */ | ||
27 | -static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
28 | - bool use_cumulative_perms, | ||
29 | - uint64_t cumulative_perms, | ||
30 | - uint64_t cumulative_shared_perms, | ||
31 | - Transaction *tran, Error **errp) | ||
32 | +static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
33 | + Transaction *tran, Error **errp) | ||
34 | { | ||
35 | int ret; | ||
36 | + uint64_t cumulative_perms, cumulative_shared_perms; | ||
37 | BlockDriverState *bs; | ||
38 | |||
39 | - if (use_cumulative_perms) { | ||
40 | - bs = list->data; | ||
41 | - | ||
42 | - ret = bdrv_node_check_perm(bs, q, cumulative_perms, | ||
43 | - cumulative_shared_perms, | ||
44 | - tran, errp); | ||
45 | - if (ret < 0) { | ||
46 | - return ret; | ||
47 | - } | ||
48 | - | ||
49 | - list = list->next; | ||
50 | - } | ||
51 | - | ||
52 | for ( ; list; list = list->next) { | ||
53 | bs = list->data; | ||
54 | |||
55 | @@ -XXX,XX +XXX,XX @@ static int bdrv_check_perm_common(GSList *list, BlockReopenQueue *q, | ||
56 | return 0; | ||
57 | } | ||
58 | |||
59 | -static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
60 | - Transaction *tran, Error **errp) | ||
61 | -{ | ||
62 | - return bdrv_check_perm_common(list, q, false, 0, 0, tran, errp); | ||
63 | -} | ||
64 | - | ||
65 | static void bdrv_node_set_perm(BlockDriverState *bs) | ||
66 | { | ||
67 | BlockDriver *drv = bs->drv; | ||
68 | -- | ||
69 | 2.30.2 | ||
70 | |||
71 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | bdrv_replace_child() has only one caller, the second argument is | ||
4 | unused. Inline it now. This triggers deletion of some more unused | ||
5 | interfaces. | ||
6 | |||
7 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
8 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
9 | Message-Id: <20210428151804.439460-34-vsementsov@virtuozzo.com> | ||
10 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
11 | --- | ||
12 | block.c | 101 ++++++++++---------------------------------------------- | ||
13 | 1 file changed, 18 insertions(+), 83 deletions(-) | ||
14 | |||
15 | diff --git a/block.c b/block.c | ||
16 | index XXXXXXX..XXXXXXX 100644 | ||
17 | --- a/block.c | ||
18 | +++ b/block.c | ||
19 | @@ -XXX,XX +XXX,XX @@ static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
20 | return 0; | ||
21 | } | ||
22 | |||
23 | -static void bdrv_node_set_perm(BlockDriverState *bs) | ||
24 | -{ | ||
25 | - BlockDriver *drv = bs->drv; | ||
26 | - BdrvChild *c; | ||
27 | - | ||
28 | - if (!drv) { | ||
29 | - return; | ||
30 | - } | ||
31 | - | ||
32 | - bdrv_drv_set_perm_commit(bs); | ||
33 | - | ||
34 | - /* Drivers that never have children can omit .bdrv_child_perm() */ | ||
35 | - if (!drv->bdrv_child_perm) { | ||
36 | - assert(QLIST_EMPTY(&bs->children)); | ||
37 | - return; | ||
38 | - } | ||
39 | - | ||
40 | - /* Update all children */ | ||
41 | - QLIST_FOREACH(c, &bs->children, next) { | ||
42 | - bdrv_child_set_perm_commit(c); | ||
43 | - } | ||
44 | -} | ||
45 | - | ||
46 | -static void bdrv_list_set_perm(GSList *list) | ||
47 | -{ | ||
48 | - for ( ; list; list = list->next) { | ||
49 | - bdrv_node_set_perm((BlockDriverState *)list->data); | ||
50 | - } | ||
51 | -} | ||
52 | - | ||
53 | -static void bdrv_set_perm(BlockDriverState *bs) | ||
54 | -{ | ||
55 | - g_autoptr(GSList) list = bdrv_topological_dfs(NULL, NULL, bs); | ||
56 | - return bdrv_list_set_perm(list); | ||
57 | -} | ||
58 | - | ||
59 | void bdrv_get_cumulative_perm(BlockDriverState *bs, uint64_t *perm, | ||
60 | uint64_t *shared_perm) | ||
61 | { | ||
62 | @@ -XXX,XX +XXX,XX @@ static void bdrv_replace_child_noperm(BdrvChild *child, | ||
63 | } | ||
64 | } | ||
65 | |||
66 | -/* | ||
67 | - * Updates @child to change its reference to point to @new_bs, including | ||
68 | - * checking and applying the necessary permission updates both to the old node | ||
69 | - * and to @new_bs. | ||
70 | - * | ||
71 | - * NULL is passed as @new_bs for removing the reference before freeing @child. | ||
72 | - * | ||
73 | - * If @new_bs is not NULL, bdrv_check_perm() must be called beforehand, as this | ||
74 | - * function uses bdrv_set_perm() to update the permissions according to the new | ||
75 | - * reference that @new_bs gets. | ||
76 | - * | ||
77 | - * Callers must ensure that child->frozen is false. | ||
78 | - */ | ||
79 | -static void bdrv_replace_child(BdrvChild *child, BlockDriverState *new_bs) | ||
80 | -{ | ||
81 | - BlockDriverState *old_bs = child->bs; | ||
82 | - | ||
83 | - /* Asserts that child->frozen == false */ | ||
84 | - bdrv_replace_child_noperm(child, new_bs); | ||
85 | - | ||
86 | - /* | ||
87 | - * Start with the new node's permissions. If @new_bs is a (direct | ||
88 | - * or indirect) child of @old_bs, we must complete the permission | ||
89 | - * update on @new_bs before we loosen the restrictions on @old_bs. | ||
90 | - * Otherwise, bdrv_check_perm() on @old_bs would re-initiate | ||
91 | - * updating the permissions of @new_bs, and thus not purely loosen | ||
92 | - * restrictions. | ||
93 | - */ | ||
94 | - if (new_bs) { | ||
95 | - bdrv_set_perm(new_bs); | ||
96 | - } | ||
97 | - | ||
98 | - if (old_bs) { | ||
99 | - /* | ||
100 | - * Update permissions for old node. We're just taking a parent away, so | ||
101 | - * we're loosening restrictions. Errors of permission update are not | ||
102 | - * fatal in this case, ignore them. | ||
103 | - */ | ||
104 | - bdrv_refresh_perms(old_bs, NULL); | ||
105 | - | ||
106 | - /* When the parent requiring a non-default AioContext is removed, the | ||
107 | - * node moves back to the main AioContext */ | ||
108 | - bdrv_try_set_aio_context(old_bs, qemu_get_aio_context(), NULL); | ||
109 | - } | ||
110 | -} | ||
111 | - | ||
112 | static void bdrv_child_free(void *opaque) | ||
113 | { | ||
114 | BdrvChild *c = opaque; | ||
115 | @@ -XXX,XX +XXX,XX @@ static int bdrv_attach_child_noperm(BlockDriverState *parent_bs, | ||
116 | |||
117 | static void bdrv_detach_child(BdrvChild *child) | ||
118 | { | ||
119 | - bdrv_replace_child(child, NULL); | ||
120 | + BlockDriverState *old_bs = child->bs; | ||
121 | + | ||
122 | + bdrv_replace_child_noperm(child, NULL); | ||
123 | bdrv_remove_empty_child(child); | ||
124 | + | ||
125 | + if (old_bs) { | ||
126 | + /* | ||
127 | + * Update permissions for old node. We're just taking a parent away, so | ||
128 | + * we're loosening restrictions. Errors of permission update are not | ||
129 | + * fatal in this case, ignore them. | ||
130 | + */ | ||
131 | + bdrv_refresh_perms(old_bs, NULL); | ||
132 | + | ||
133 | + /* | ||
134 | + * When the parent requiring a non-default AioContext is removed, the | ||
135 | + * node moves back to the main AioContext | ||
136 | + */ | ||
137 | + bdrv_try_set_aio_context(old_bs, qemu_get_aio_context(), NULL); | ||
138 | + } | ||
139 | } | ||
140 | |||
141 | /* | ||
142 | -- | ||
143 | 2.30.2 | ||
144 | |||
145 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Old interfaces dropped, nobody directly calls | ||
4 | bdrv_child_set_perm_abort() and bdrv_child_set_perm_commit(), so we can | ||
5 | use personal state structure for the action and stop exploiting | ||
6 | BdrvChild structure. Also, drop "_safe" suffix which is redundant now. | ||
7 | |||
8 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
9 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | Message-Id: <20210428151804.439460-35-vsementsov@virtuozzo.com> | ||
11 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
12 | --- | ||
13 | include/block/block_int.h | 5 ---- | ||
14 | block.c | 63 ++++++++++++++------------------------- | ||
15 | 2 files changed, 22 insertions(+), 46 deletions(-) | ||
16 | |||
17 | diff --git a/include/block/block_int.h b/include/block/block_int.h | ||
18 | index XXXXXXX..XXXXXXX 100644 | ||
19 | --- a/include/block/block_int.h | ||
20 | +++ b/include/block/block_int.h | ||
21 | @@ -XXX,XX +XXX,XX @@ struct BdrvChild { | ||
22 | */ | ||
23 | uint64_t shared_perm; | ||
24 | |||
25 | - /* backup of permissions during permission update procedure */ | ||
26 | - bool has_backup_perm; | ||
27 | - uint64_t backup_perm; | ||
28 | - uint64_t backup_shared_perm; | ||
29 | - | ||
30 | /* | ||
31 | * This link is frozen: the child can neither be replaced nor | ||
32 | * detached from the parent. | ||
33 | diff --git a/block.c b/block.c | ||
34 | index XXXXXXX..XXXXXXX 100644 | ||
35 | --- a/block.c | ||
36 | +++ b/block.c | ||
37 | @@ -XXX,XX +XXX,XX @@ static GSList *bdrv_topological_dfs(GSList *list, GHashTable *found, | ||
38 | return g_slist_prepend(list, bs); | ||
39 | } | ||
40 | |||
41 | -static void bdrv_child_set_perm_commit(void *opaque) | ||
42 | -{ | ||
43 | - BdrvChild *c = opaque; | ||
44 | - | ||
45 | - c->has_backup_perm = false; | ||
46 | -} | ||
47 | +typedef struct BdrvChildSetPermState { | ||
48 | + BdrvChild *child; | ||
49 | + uint64_t old_perm; | ||
50 | + uint64_t old_shared_perm; | ||
51 | +} BdrvChildSetPermState; | ||
52 | |||
53 | static void bdrv_child_set_perm_abort(void *opaque) | ||
54 | { | ||
55 | - BdrvChild *c = opaque; | ||
56 | - /* | ||
57 | - * We may have child->has_backup_perm unset at this point, as in case of | ||
58 | - * _check_ stage of permission update failure we may _check_ not the whole | ||
59 | - * subtree. Still, _abort_ is called on the whole subtree anyway. | ||
60 | - */ | ||
61 | - if (c->has_backup_perm) { | ||
62 | - c->perm = c->backup_perm; | ||
63 | - c->shared_perm = c->backup_shared_perm; | ||
64 | - c->has_backup_perm = false; | ||
65 | - } | ||
66 | + BdrvChildSetPermState *s = opaque; | ||
67 | + | ||
68 | + s->child->perm = s->old_perm; | ||
69 | + s->child->shared_perm = s->old_shared_perm; | ||
70 | } | ||
71 | |||
72 | static TransactionActionDrv bdrv_child_set_pem_drv = { | ||
73 | .abort = bdrv_child_set_perm_abort, | ||
74 | - .commit = bdrv_child_set_perm_commit, | ||
75 | + .clean = g_free, | ||
76 | }; | ||
77 | |||
78 | -/* | ||
79 | - * With tran=NULL needs to be followed by direct call to either | ||
80 | - * bdrv_child_set_perm_commit() or bdrv_child_set_perm_abort(). | ||
81 | - * | ||
82 | - * With non-NULL tran needs to be followed by tran_abort() or tran_commit() | ||
83 | - * instead. | ||
84 | - */ | ||
85 | -static void bdrv_child_set_perm_safe(BdrvChild *c, uint64_t perm, | ||
86 | - uint64_t shared, Transaction *tran) | ||
87 | +static void bdrv_child_set_perm(BdrvChild *c, uint64_t perm, | ||
88 | + uint64_t shared, Transaction *tran) | ||
89 | { | ||
90 | - if (!c->has_backup_perm) { | ||
91 | - c->has_backup_perm = true; | ||
92 | - c->backup_perm = c->perm; | ||
93 | - c->backup_shared_perm = c->shared_perm; | ||
94 | - } | ||
95 | - /* | ||
96 | - * Note: it's OK if c->has_backup_perm was already set, as we can find the | ||
97 | - * same c twice during check_perm procedure | ||
98 | - */ | ||
99 | + BdrvChildSetPermState *s = g_new(BdrvChildSetPermState, 1); | ||
100 | + | ||
101 | + *s = (BdrvChildSetPermState) { | ||
102 | + .child = c, | ||
103 | + .old_perm = c->perm, | ||
104 | + .old_shared_perm = c->shared_perm, | ||
105 | + }; | ||
106 | |||
107 | c->perm = perm; | ||
108 | c->shared_perm = shared; | ||
109 | |||
110 | - if (tran) { | ||
111 | - tran_add(tran, &bdrv_child_set_pem_drv, c); | ||
112 | - } | ||
113 | + tran_add(tran, &bdrv_child_set_pem_drv, s); | ||
114 | } | ||
115 | |||
116 | static void bdrv_drv_set_perm_commit(void *opaque) | ||
117 | @@ -XXX,XX +XXX,XX @@ static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
118 | bdrv_child_perm(bs, c->bs, c, c->role, q, | ||
119 | cumulative_perms, cumulative_shared_perms, | ||
120 | &cur_perm, &cur_shared); | ||
121 | - bdrv_child_set_perm_safe(c, cur_perm, cur_shared, tran); | ||
122 | + bdrv_child_set_perm(c, cur_perm, cur_shared, tran); | ||
123 | } | ||
124 | |||
125 | return 0; | ||
126 | @@ -XXX,XX +XXX,XX @@ int bdrv_child_try_set_perm(BdrvChild *c, uint64_t perm, uint64_t shared, | ||
127 | Transaction *tran = tran_new(); | ||
128 | int ret; | ||
129 | |||
130 | - bdrv_child_set_perm_safe(c, perm, shared, tran); | ||
131 | + bdrv_child_set_perm(c, perm, shared, tran); | ||
132 | |||
133 | ret = bdrv_refresh_perms(c->bs, &local_err); | ||
134 | |||
135 | -- | ||
136 | 2.30.2 | ||
137 | |||
138 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | We don't have bdrv_replace_child(), so it's time for | ||
4 | bdrv_replace_child_safe() to take its place. | ||
5 | |||
6 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
7 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
8 | Message-Id: <20210428151804.439460-36-vsementsov@virtuozzo.com> | ||
9 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
10 | --- | ||
11 | block.c | 10 +++++----- | ||
12 | 1 file changed, 5 insertions(+), 5 deletions(-) | ||
13 | |||
14 | diff --git a/block.c b/block.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/block.c | ||
17 | +++ b/block.c | ||
18 | @@ -XXX,XX +XXX,XX @@ static TransactionActionDrv bdrv_replace_child_drv = { | ||
19 | }; | ||
20 | |||
21 | /* | ||
22 | - * bdrv_replace_child_safe | ||
23 | + * bdrv_replace_child | ||
24 | * | ||
25 | * Note: real unref of old_bs is done only on commit. | ||
26 | */ | ||
27 | -static void bdrv_replace_child_safe(BdrvChild *child, BlockDriverState *new_bs, | ||
28 | - Transaction *tran) | ||
29 | +static void bdrv_replace_child(BdrvChild *child, BlockDriverState *new_bs, | ||
30 | + Transaction *tran) | ||
31 | { | ||
32 | BdrvReplaceChildState *s = g_new(BdrvReplaceChildState, 1); | ||
33 | *s = (BdrvReplaceChildState) { | ||
34 | @@ -XXX,XX +XXX,XX @@ static void bdrv_remove_filter_or_cow_child(BlockDriverState *bs, | ||
35 | } | ||
36 | |||
37 | if (child->bs) { | ||
38 | - bdrv_replace_child_safe(child, NULL, tran); | ||
39 | + bdrv_replace_child(child, NULL, tran); | ||
40 | } | ||
41 | |||
42 | s = g_new(BdrvRemoveFilterOrCowChild, 1); | ||
43 | @@ -XXX,XX +XXX,XX @@ static int bdrv_replace_node_noperm(BlockDriverState *from, | ||
44 | c->name, from->node_name); | ||
45 | return -EPERM; | ||
46 | } | ||
47 | - bdrv_replace_child_safe(c, to, tran); | ||
48 | + bdrv_replace_child(c, to, tran); | ||
49 | } | ||
50 | |||
51 | return 0; | ||
52 | -- | ||
53 | 2.30.2 | ||
54 | |||
55 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | From: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
2 | 1 | ||
3 | Now, bdrv_node_check_perm() is called only with fresh cumulative | ||
4 | permissions, so its actually "refresh_perm". | ||
5 | |||
6 | Move permission calculation to the function. Also, drop unreachable | ||
7 | error message and rewrite the remaining one to be more generic (as now | ||
8 | we don't know which node is added and which was already here). | ||
9 | |||
10 | Add also Virtuozzo copyright, as big work is done at this point. | ||
11 | |||
12 | Signed-off-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
13 | Reviewed-by: Kevin Wolf <kwolf@redhat.com> | ||
14 | Message-Id: <20210428151804.439460-37-vsementsov@virtuozzo.com> | ||
15 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
16 | --- | ||
17 | block.c | 38 +++++++++++--------------------------- | ||
18 | tests/qemu-iotests/245 | 2 +- | ||
19 | 2 files changed, 12 insertions(+), 28 deletions(-) | ||
20 | |||
21 | diff --git a/block.c b/block.c | ||
22 | index XXXXXXX..XXXXXXX 100644 | ||
23 | --- a/block.c | ||
24 | +++ b/block.c | ||
25 | @@ -XXX,XX +XXX,XX @@ | ||
26 | * QEMU System Emulator block driver | ||
27 | * | ||
28 | * Copyright (c) 2003 Fabrice Bellard | ||
29 | + * Copyright (c) 2020 Virtuozzo International GmbH. | ||
30 | * | ||
31 | * Permission is hereby granted, free of charge, to any person obtaining a copy | ||
32 | * of this software and associated documentation files (the "Software"), to deal | ||
33 | @@ -XXX,XX +XXX,XX @@ static void bdrv_replace_child(BdrvChild *child, BlockDriverState *new_bs, | ||
34 | } | ||
35 | |||
36 | /* | ||
37 | - * Check whether permissions on this node can be changed in a way that | ||
38 | - * @cumulative_perms and @cumulative_shared_perms are the new cumulative | ||
39 | - * permissions of all its parents. This involves checking whether all necessary | ||
40 | - * permission changes to child nodes can be performed. | ||
41 | - * | ||
42 | - * A call to this function must always be followed by a call to bdrv_set_perm() | ||
43 | - * or bdrv_abort_perm_update(). | ||
44 | + * Refresh permissions in @bs subtree. The function is intended to be called | ||
45 | + * after some graph modification that was done without permission update. | ||
46 | */ | ||
47 | -static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
48 | - uint64_t cumulative_perms, | ||
49 | - uint64_t cumulative_shared_perms, | ||
50 | - Transaction *tran, Error **errp) | ||
51 | +static int bdrv_node_refresh_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
52 | + Transaction *tran, Error **errp) | ||
53 | { | ||
54 | BlockDriver *drv = bs->drv; | ||
55 | BdrvChild *c; | ||
56 | int ret; | ||
57 | + uint64_t cumulative_perms, cumulative_shared_perms; | ||
58 | + | ||
59 | + bdrv_get_cumulative_perm(bs, &cumulative_perms, &cumulative_shared_perms); | ||
60 | |||
61 | /* Write permissions never work with read-only images */ | ||
62 | if ((cumulative_perms & (BLK_PERM_WRITE | BLK_PERM_WRITE_UNCHANGED)) && | ||
63 | @@ -XXX,XX +XXX,XX @@ static int bdrv_node_check_perm(BlockDriverState *bs, BlockReopenQueue *q, | ||
64 | if (!bdrv_is_writable_after_reopen(bs, NULL)) { | ||
65 | error_setg(errp, "Block node is read-only"); | ||
66 | } else { | ||
67 | - uint64_t current_perms, current_shared; | ||
68 | - bdrv_get_cumulative_perm(bs, ¤t_perms, ¤t_shared); | ||
69 | - if (current_perms & (BLK_PERM_WRITE | BLK_PERM_WRITE_UNCHANGED)) { | ||
70 | - error_setg(errp, "Cannot make block node read-only, there is " | ||
71 | - "a writer on it"); | ||
72 | - } else { | ||
73 | - error_setg(errp, "Cannot make block node read-only and create " | ||
74 | - "a writer on it"); | ||
75 | - } | ||
76 | + error_setg(errp, "Read-only block node '%s' cannot support " | ||
77 | + "read-write users", bdrv_get_node_name(bs)); | ||
78 | } | ||
79 | |||
80 | return -EPERM; | ||
81 | @@ -XXX,XX +XXX,XX @@ static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
82 | Transaction *tran, Error **errp) | ||
83 | { | ||
84 | int ret; | ||
85 | - uint64_t cumulative_perms, cumulative_shared_perms; | ||
86 | BlockDriverState *bs; | ||
87 | |||
88 | for ( ; list; list = list->next) { | ||
89 | @@ -XXX,XX +XXX,XX @@ static int bdrv_list_refresh_perms(GSList *list, BlockReopenQueue *q, | ||
90 | return -EINVAL; | ||
91 | } | ||
92 | |||
93 | - bdrv_get_cumulative_perm(bs, &cumulative_perms, | ||
94 | - &cumulative_shared_perms); | ||
95 | - | ||
96 | - ret = bdrv_node_check_perm(bs, q, cumulative_perms, | ||
97 | - cumulative_shared_perms, | ||
98 | - tran, errp); | ||
99 | + ret = bdrv_node_refresh_perm(bs, q, tran, errp); | ||
100 | if (ret < 0) { | ||
101 | return ret; | ||
102 | } | ||
103 | diff --git a/tests/qemu-iotests/245 b/tests/qemu-iotests/245 | ||
104 | index XXXXXXX..XXXXXXX 100755 | ||
105 | --- a/tests/qemu-iotests/245 | ||
106 | +++ b/tests/qemu-iotests/245 | ||
107 | @@ -XXX,XX +XXX,XX @@ class TestBlockdevReopen(iotests.QMPTestCase): | ||
108 | # We can't reopen hd1 to read-only, as block-stream requires it to be | ||
109 | # read-write | ||
110 | self.reopen(opts['backing'], {'read-only': True}, | ||
111 | - "Cannot make block node read-only, there is a writer on it") | ||
112 | + "Read-only block node 'hd1' cannot support read-write users") | ||
113 | |||
114 | # We can't remove hd2 while the stream job is ongoing | ||
115 | opts['backing']['backing'] = None | ||
116 | -- | ||
117 | 2.30.2 | ||
118 | |||
119 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | Normally, blk_new_open() just shares all permissions. This was fine | ||
2 | originally when permissions only protected against uses in the same | ||
3 | process because no other part of the code would actually get to access | ||
4 | the block nodes opened with blk_new_open(). However, since we use it for | ||
5 | file locking now, unsharing permissions becomes desirable. | ||
6 | 1 | ||
7 | Add a new BDRV_O_NO_SHARE flag that is used in blk_new_open() to unshare | ||
8 | any permissions that can be unshared. | ||
9 | |||
10 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
11 | Message-Id: <20210422164344.283389-2-kwolf@redhat.com> | ||
12 | Reviewed-by: Eric Blake <eblake@redhat.com> | ||
13 | Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
14 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
15 | --- | ||
16 | include/block/block.h | 1 + | ||
17 | block/block-backend.c | 19 +++++++++++++------ | ||
18 | 2 files changed, 14 insertions(+), 6 deletions(-) | ||
19 | |||
20 | diff --git a/include/block/block.h b/include/block/block.h | ||
21 | index XXXXXXX..XXXXXXX 100644 | ||
22 | --- a/include/block/block.h | ||
23 | +++ b/include/block/block.h | ||
24 | @@ -XXX,XX +XXX,XX @@ typedef struct HDGeometry { | ||
25 | uint32_t cylinders; | ||
26 | } HDGeometry; | ||
27 | |||
28 | +#define BDRV_O_NO_SHARE 0x0001 /* don't share permissions */ | ||
29 | #define BDRV_O_RDWR 0x0002 | ||
30 | #define BDRV_O_RESIZE 0x0004 /* request permission for resizing the node */ | ||
31 | #define BDRV_O_SNAPSHOT 0x0008 /* open the file read only and save writes in a snapshot */ | ||
32 | diff --git a/block/block-backend.c b/block/block-backend.c | ||
33 | index XXXXXXX..XXXXXXX 100644 | ||
34 | --- a/block/block-backend.c | ||
35 | +++ b/block/block-backend.c | ||
36 | @@ -XXX,XX +XXX,XX @@ BlockBackend *blk_new_open(const char *filename, const char *reference, | ||
37 | BlockBackend *blk; | ||
38 | BlockDriverState *bs; | ||
39 | uint64_t perm = 0; | ||
40 | + uint64_t shared = BLK_PERM_ALL; | ||
41 | |||
42 | - /* blk_new_open() is mainly used in .bdrv_create implementations and the | ||
43 | - * tools where sharing isn't a concern because the BDS stays private, so we | ||
44 | - * just request permission according to the flags. | ||
45 | + /* | ||
46 | + * blk_new_open() is mainly used in .bdrv_create implementations and the | ||
47 | + * tools where sharing isn't a major concern because the BDS stays private | ||
48 | + * and the file is generally not supposed to be used by a second process, | ||
49 | + * so we just request permission according to the flags. | ||
50 | * | ||
51 | * The exceptions are xen_disk and blockdev_init(); in these cases, the | ||
52 | * caller of blk_new_open() doesn't make use of the permissions, but they | ||
53 | * shouldn't hurt either. We can still share everything here because the | ||
54 | - * guest devices will add their own blockers if they can't share. */ | ||
55 | + * guest devices will add their own blockers if they can't share. | ||
56 | + */ | ||
57 | if ((flags & BDRV_O_NO_IO) == 0) { | ||
58 | perm |= BLK_PERM_CONSISTENT_READ; | ||
59 | if (flags & BDRV_O_RDWR) { | ||
60 | @@ -XXX,XX +XXX,XX @@ BlockBackend *blk_new_open(const char *filename, const char *reference, | ||
61 | if (flags & BDRV_O_RESIZE) { | ||
62 | perm |= BLK_PERM_RESIZE; | ||
63 | } | ||
64 | + if (flags & BDRV_O_NO_SHARE) { | ||
65 | + shared = BLK_PERM_CONSISTENT_READ | BLK_PERM_WRITE_UNCHANGED; | ||
66 | + } | ||
67 | |||
68 | - blk = blk_new(qemu_get_aio_context(), perm, BLK_PERM_ALL); | ||
69 | + blk = blk_new(qemu_get_aio_context(), perm, shared); | ||
70 | bs = bdrv_open(filename, reference, options, flags, errp); | ||
71 | if (!bs) { | ||
72 | blk_unref(blk); | ||
73 | @@ -XXX,XX +XXX,XX @@ BlockBackend *blk_new_open(const char *filename, const char *reference, | ||
74 | |||
75 | blk->root = bdrv_root_attach_child(bs, "root", &child_root, | ||
76 | BDRV_CHILD_FILTERED | BDRV_CHILD_PRIMARY, | ||
77 | - perm, BLK_PERM_ALL, blk, errp); | ||
78 | + perm, shared, blk, errp); | ||
79 | if (!blk->root) { | ||
80 | blk_unref(blk); | ||
81 | return NULL; | ||
82 | -- | ||
83 | 2.30.2 | ||
84 | |||
85 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | For a successful conversion of an image, we must make sure that its | ||
2 | content doesn't change during the conversion. | ||
3 | 1 | ||
4 | A special case of this is using the same image file both as the source | ||
5 | and as the destination. If both input and output format are raw, the | ||
6 | operation would just be useless work, with other formats it is a sure | ||
7 | way to destroy the image. This will now fail because the image file | ||
8 | can't be opened a second time for the output when opening it for the | ||
9 | input has already acquired file locks to unshare BLK_PERM_WRITE. | ||
10 | |||
11 | Nevertheless, if there is some reason in a special case why it is | ||
12 | actually okay to allow writes to the image while it is being converted, | ||
13 | -U can still be used to force sharing all permissions. | ||
14 | |||
15 | Note that for most image formats, BLK_PERM_WRITE would already be | ||
16 | unshared by the format driver, so this only really makes a difference | ||
17 | for raw source images (but any output format). | ||
18 | |||
19 | Reported-by: Xueqiang Wei <xuwei@redhat.com> | ||
20 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
21 | Reviewed-by: Eric Blake <eblake@redhat.com> | ||
22 | Message-Id: <20210422164344.283389-3-kwolf@redhat.com> | ||
23 | Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com> | ||
24 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
25 | --- | ||
26 | qemu-img.c | 2 +- | ||
27 | 1 file changed, 1 insertion(+), 1 deletion(-) | ||
28 | |||
29 | diff --git a/qemu-img.c b/qemu-img.c | ||
30 | index XXXXXXX..XXXXXXX 100644 | ||
31 | --- a/qemu-img.c | ||
32 | +++ b/qemu-img.c | ||
33 | @@ -XXX,XX +XXX,XX @@ static void set_rate_limit(BlockBackend *blk, int64_t rate_limit) | ||
34 | |||
35 | static int img_convert(int argc, char **argv) | ||
36 | { | ||
37 | - int c, bs_i, flags, src_flags = 0; | ||
38 | + int c, bs_i, flags, src_flags = BDRV_O_NO_SHARE; | ||
39 | const char *fmt = NULL, *out_fmt = NULL, *cache = "unsafe", | ||
40 | *src_cache = BDRV_DEFAULT_CACHE, *out_baseimg = NULL, | ||
41 | *out_filename, *out_baseimg_param, *snapshot_name = NULL; | ||
42 | -- | ||
43 | 2.30.2 | ||
44 | |||
45 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | virtio_add_queue() aborts when queue_size > VIRTQUEUE_MAX_SIZE, so | ||
2 | vhost_user_blk_device_realize() should check this before calling it. | ||
3 | 1 | ||
4 | Simple reproducer: | ||
5 | |||
6 | qemu-system-x86_64 \ | ||
7 | -chardev null,id=foo \ | ||
8 | -device vhost-user-blk-pci,queue-size=4096,chardev=foo | ||
9 | |||
10 | Fixes: https://bugzilla.redhat.com/show_bug.cgi?id=1935014 | ||
11 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
12 | Message-Id: <20210413165654.50810-1-kwolf@redhat.com> | ||
13 | Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com> | ||
14 | Reviewed-by: Raphael Norwitz <raphael.norwitz@nutanix.com> | ||
15 | Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
16 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
17 | Signed-off-by: Kevin Wolf <kwolf@redhat.com> | ||
18 | --- | ||
19 | hw/block/vhost-user-blk.c | 5 +++++ | ||
20 | 1 file changed, 5 insertions(+) | ||
21 | |||
22 | diff --git a/hw/block/vhost-user-blk.c b/hw/block/vhost-user-blk.c | ||
23 | index XXXXXXX..XXXXXXX 100644 | ||
24 | --- a/hw/block/vhost-user-blk.c | ||
25 | +++ b/hw/block/vhost-user-blk.c | ||
26 | @@ -XXX,XX +XXX,XX @@ static void vhost_user_blk_device_realize(DeviceState *dev, Error **errp) | ||
27 | error_setg(errp, "vhost-user-blk: queue size must be non-zero"); | ||
28 | return; | ||
29 | } | ||
30 | + if (s->queue_size > VIRTQUEUE_MAX_SIZE) { | ||
31 | + error_setg(errp, "vhost-user-blk: queue size must not exceed %d", | ||
32 | + VIRTQUEUE_MAX_SIZE); | ||
33 | + return; | ||
34 | + } | ||
35 | |||
36 | if (!vhost_user_init(&s->vhost_user, &s->chardev, errp)) { | ||
37 | return; | ||
38 | -- | ||
39 | 2.30.2 | ||
40 | |||
41 | diff view generated by jsdifflib |