2 * preallocate filter driver
4 * The driver performs preallocate operation: it is injected above
5 * some node, and before each write over EOF it does additional preallocating
6 * write-zeroes request.
8 * Copyright (c) 2020 Virtuozzo International GmbH.
11 * Sementsov-Ogievskiy Vladimir <vsementsov@virtuozzo.com>
13 * This program is free software; you can redistribute it and/or modify
14 * it under the terms of the GNU General Public License as published by
15 * the Free Software Foundation; either version 2 of the License, or
16 * (at your option) any later version.
18 * This program is distributed in the hope that it will be useful,
19 * but WITHOUT ANY WARRANTY; without even the implied warranty of
20 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21 * GNU General Public License for more details.
23 * You should have received a copy of the GNU General Public License
24 * along with this program. If not, see <http://www.gnu.org/licenses/>.
27 #include "qemu/osdep.h"
29 #include "qapi/error.h"
30 #include "qemu/module.h"
31 #include "qemu/option.h"
32 #include "qemu/units.h"
33 #include "block/block-io.h"
34 #include "block/block_int.h"
37 typedef struct PreallocateOpts
{
38 int64_t prealloc_size
;
39 int64_t prealloc_align
;
42 typedef struct BDRVPreallocateState
{
46 * Track real data end, to crop preallocation on close. If < 0 the status is
49 * @data_end is a maximum of file size on open (or when we get write/resize
50 * permissions) and all write request ends after it. So it's safe to
51 * truncate to data_end if it is valid.
56 * Start of trailing preallocated area which reads as zero. May be smaller
57 * than data_end, if user does over-EOF write zero operation. If < 0 the
60 * If both @zero_start and @file_end are valid, the region
61 * [@zero_start, @file_end) is known to be preallocated zeroes. If @file_end
62 * is not valid, @zero_start doesn't make much sense.
67 * Real end of file. Actually the cache for bdrv_getlength(bs->file->bs),
68 * to avoid extra lseek() calls on each write operation. If < 0 the status
74 * All three states @data_end, @zero_start and @file_end are guaranteed to
75 * be invalid (< 0) when we don't have both exclusive BLK_PERM_RESIZE and
76 * BLK_PERM_WRITE permissions on file child.
78 } BDRVPreallocateState
;
80 #define PREALLOCATE_OPT_PREALLOC_ALIGN "prealloc-align"
81 #define PREALLOCATE_OPT_PREALLOC_SIZE "prealloc-size"
82 static QemuOptsList runtime_opts
= {
83 .name
= "preallocate",
84 .head
= QTAILQ_HEAD_INITIALIZER(runtime_opts
.head
),
87 .name
= PREALLOCATE_OPT_PREALLOC_ALIGN
,
88 .type
= QEMU_OPT_SIZE
,
89 .help
= "on preallocation, align file length to this number, "
93 .name
= PREALLOCATE_OPT_PREALLOC_SIZE
,
94 .type
= QEMU_OPT_SIZE
,
95 .help
= "how much to preallocate, default 128M",
101 static bool preallocate_absorb_opts(PreallocateOpts
*dest
, QDict
*options
,
102 BlockDriverState
*child_bs
, Error
**errp
)
104 QemuOpts
*opts
= qemu_opts_create(&runtime_opts
, NULL
, 0, &error_abort
);
106 if (!qemu_opts_absorb_qdict(opts
, options
, errp
)) {
110 dest
->prealloc_align
=
111 qemu_opt_get_size(opts
, PREALLOCATE_OPT_PREALLOC_ALIGN
, 1 * MiB
);
112 dest
->prealloc_size
=
113 qemu_opt_get_size(opts
, PREALLOCATE_OPT_PREALLOC_SIZE
, 128 * MiB
);
117 if (!QEMU_IS_ALIGNED(dest
->prealloc_align
, BDRV_SECTOR_SIZE
)) {
118 error_setg(errp
, "prealloc-align parameter of preallocate filter "
119 "is not aligned to %llu", BDRV_SECTOR_SIZE
);
123 if (!QEMU_IS_ALIGNED(dest
->prealloc_align
,
124 child_bs
->bl
.request_alignment
)) {
125 error_setg(errp
, "prealloc-align parameter of preallocate filter "
126 "is not aligned to underlying node request alignment "
127 "(%" PRIi32
")", child_bs
->bl
.request_alignment
);
134 static int preallocate_open(BlockDriverState
*bs
, QDict
*options
, int flags
,
137 BDRVPreallocateState
*s
= bs
->opaque
;
141 * s->data_end and friends should be initialized on permission update.
142 * For this to work, mark them invalid.
144 s
->file_end
= s
->zero_start
= s
->data_end
= -EINVAL
;
146 ret
= bdrv_open_file_child(NULL
, options
, "file", bs
, errp
);
151 if (!preallocate_absorb_opts(&s
->opts
, options
, bs
->file
->bs
, errp
)) {
155 bs
->supported_write_flags
= BDRV_REQ_WRITE_UNCHANGED
|
156 (BDRV_REQ_FUA
& bs
->file
->bs
->supported_write_flags
);
158 bs
->supported_zero_flags
= BDRV_REQ_WRITE_UNCHANGED
|
159 ((BDRV_REQ_FUA
| BDRV_REQ_MAY_UNMAP
| BDRV_REQ_NO_FALLBACK
) &
160 bs
->file
->bs
->supported_zero_flags
);
165 static void preallocate_close(BlockDriverState
*bs
)
168 BDRVPreallocateState
*s
= bs
->opaque
;
170 if (s
->data_end
< 0) {
174 if (s
->file_end
< 0) {
175 s
->file_end
= bdrv_getlength(bs
->file
->bs
);
176 if (s
->file_end
< 0) {
181 if (s
->data_end
< s
->file_end
) {
182 ret
= bdrv_truncate(bs
->file
, s
->data_end
, true, PREALLOC_MODE_OFF
, 0,
184 s
->file_end
= ret
< 0 ? ret
: s
->data_end
;
192 * We must implement reopen handlers, otherwise reopen just don't work. Handle
193 * new options and don't care about preallocation state, as it is handled in
194 * set/check permission handlers.
197 static int preallocate_reopen_prepare(BDRVReopenState
*reopen_state
,
198 BlockReopenQueue
*queue
, Error
**errp
)
200 PreallocateOpts
*opts
= g_new0(PreallocateOpts
, 1);
202 if (!preallocate_absorb_opts(opts
, reopen_state
->options
,
203 reopen_state
->bs
->file
->bs
, errp
)) {
208 reopen_state
->opaque
= opts
;
213 static void preallocate_reopen_commit(BDRVReopenState
*state
)
215 BDRVPreallocateState
*s
= state
->bs
->opaque
;
217 s
->opts
= *(PreallocateOpts
*)state
->opaque
;
219 g_free(state
->opaque
);
220 state
->opaque
= NULL
;
223 static void preallocate_reopen_abort(BDRVReopenState
*state
)
225 g_free(state
->opaque
);
226 state
->opaque
= NULL
;
229 static int coroutine_fn GRAPH_RDLOCK
230 preallocate_co_preadv_part(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
231 QEMUIOVector
*qiov
, size_t qiov_offset
,
232 BdrvRequestFlags flags
)
234 return bdrv_co_preadv_part(bs
->file
, offset
, bytes
, qiov
, qiov_offset
,
238 static int coroutine_fn GRAPH_RDLOCK
239 preallocate_co_pdiscard(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
)
241 return bdrv_co_pdiscard(bs
->file
, offset
, bytes
);
244 static bool can_write_resize(uint64_t perm
)
246 return (perm
& BLK_PERM_WRITE
) && (perm
& BLK_PERM_RESIZE
);
249 static bool has_prealloc_perms(BlockDriverState
*bs
)
251 BDRVPreallocateState
*s
= bs
->opaque
;
253 if (can_write_resize(bs
->file
->perm
)) {
254 assert(!(bs
->file
->shared_perm
& BLK_PERM_WRITE
));
255 assert(!(bs
->file
->shared_perm
& BLK_PERM_RESIZE
));
259 assert(s
->data_end
< 0);
260 assert(s
->zero_start
< 0);
261 assert(s
->file_end
< 0);
266 * Call on each write. Returns true if @want_merge_zero is true and the region
267 * [offset, offset + bytes) is zeroed (as a result of this call or earlier
270 * want_merge_zero is used to merge write-zero request with preallocation in
271 * one bdrv_co_pwrite_zeroes() call.
273 static bool coroutine_fn GRAPH_RDLOCK
274 handle_write(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
275 bool want_merge_zero
)
277 BDRVPreallocateState
*s
= bs
->opaque
;
278 int64_t end
= offset
+ bytes
;
279 int64_t prealloc_start
, prealloc_end
;
281 uint32_t file_align
= bs
->file
->bs
->bl
.request_alignment
;
282 uint32_t prealloc_align
= MAX(s
->opts
.prealloc_align
, file_align
);
284 assert(QEMU_IS_ALIGNED(prealloc_align
, file_align
));
286 if (!has_prealloc_perms(bs
)) {
287 /* We don't have state neither should try to recover it */
291 if (s
->data_end
< 0) {
292 s
->data_end
= bdrv_co_getlength(bs
->file
->bs
);
293 if (s
->data_end
< 0) {
297 if (s
->file_end
< 0) {
298 s
->file_end
= s
->data_end
;
302 if (end
<= s
->data_end
) {
306 /* We have valid s->data_end, and request writes beyond it. */
309 if (s
->zero_start
< 0 || !want_merge_zero
) {
313 if (s
->file_end
< 0) {
314 s
->file_end
= bdrv_co_getlength(bs
->file
->bs
);
315 if (s
->file_end
< 0) {
320 /* Now s->data_end, s->zero_start and s->file_end are valid. */
322 if (end
<= s
->file_end
) {
323 /* No preallocation needed. */
324 return want_merge_zero
&& offset
>= s
->zero_start
;
327 /* Now we want new preallocation, as request writes beyond s->file_end. */
329 prealloc_start
= QEMU_ALIGN_UP(
330 want_merge_zero
? MIN(offset
, s
->file_end
) : s
->file_end
,
332 prealloc_end
= QEMU_ALIGN_UP(
333 MAX(prealloc_start
, end
) + s
->opts
.prealloc_size
,
336 want_merge_zero
= want_merge_zero
&& (prealloc_start
<= offset
);
338 ret
= bdrv_co_pwrite_zeroes(
339 bs
->file
, prealloc_start
, prealloc_end
- prealloc_start
,
340 BDRV_REQ_NO_FALLBACK
| BDRV_REQ_SERIALISING
| BDRV_REQ_NO_WAIT
);
346 s
->file_end
= prealloc_end
;
347 return want_merge_zero
;
350 static int coroutine_fn GRAPH_RDLOCK
351 preallocate_co_pwrite_zeroes(BlockDriverState
*bs
, int64_t offset
,
352 int64_t bytes
, BdrvRequestFlags flags
)
354 bool want_merge_zero
=
355 !(flags
& ~(BDRV_REQ_ZERO_WRITE
| BDRV_REQ_NO_FALLBACK
));
356 if (handle_write(bs
, offset
, bytes
, want_merge_zero
)) {
360 return bdrv_co_pwrite_zeroes(bs
->file
, offset
, bytes
, flags
);
363 static int coroutine_fn GRAPH_RDLOCK
364 preallocate_co_pwritev_part(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
365 QEMUIOVector
*qiov
, size_t qiov_offset
,
366 BdrvRequestFlags flags
)
368 handle_write(bs
, offset
, bytes
, false);
370 return bdrv_co_pwritev_part(bs
->file
, offset
, bytes
, qiov
, qiov_offset
,
374 static int coroutine_fn GRAPH_RDLOCK
375 preallocate_co_truncate(BlockDriverState
*bs
, int64_t offset
,
376 bool exact
, PreallocMode prealloc
,
377 BdrvRequestFlags flags
, Error
**errp
)
380 BDRVPreallocateState
*s
= bs
->opaque
;
383 if (s
->data_end
>= 0 && offset
> s
->data_end
) {
384 if (s
->file_end
< 0) {
385 s
->file_end
= bdrv_co_getlength(bs
->file
->bs
);
386 if (s
->file_end
< 0) {
387 error_setg(errp
, "failed to get file length");
392 if (prealloc
== PREALLOC_MODE_FALLOC
) {
394 * If offset <= s->file_end, the task is already done, just
395 * update s->data_end, to move part of "filter preallocation"
396 * to "preallocation requested by user".
397 * Otherwise just proceed to preallocate missing part.
399 if (offset
<= s
->file_end
) {
400 s
->data_end
= offset
;
405 * We have to drop our preallocation, to
406 * - avoid "Cannot use preallocation for shrinking files" in
407 * case of offset < file_end
408 * - give PREALLOC_MODE_OFF a chance to keep small disk
410 * - give PREALLOC_MODE_FULL a chance to actually write the
411 * whole region as user expects
413 if (s
->file_end
> s
->data_end
) {
414 ret
= bdrv_co_truncate(bs
->file
, s
->data_end
, true,
415 PREALLOC_MODE_OFF
, 0, errp
);
418 error_prepend(errp
, "preallocate-filter: failed to drop "
419 "write-zero preallocation: ");
422 s
->file_end
= s
->data_end
;
426 s
->data_end
= offset
;
429 ret
= bdrv_co_truncate(bs
->file
, offset
, exact
, prealloc
, flags
, errp
);
431 s
->file_end
= s
->zero_start
= s
->data_end
= ret
;
435 if (has_prealloc_perms(bs
)) {
436 s
->file_end
= s
->zero_start
= s
->data_end
= offset
;
441 static int coroutine_fn GRAPH_RDLOCK
preallocate_co_flush(BlockDriverState
*bs
)
443 return bdrv_co_flush(bs
->file
->bs
);
446 static int64_t coroutine_fn GRAPH_RDLOCK
447 preallocate_co_getlength(BlockDriverState
*bs
)
450 BDRVPreallocateState
*s
= bs
->opaque
;
452 if (s
->data_end
>= 0) {
456 ret
= bdrv_co_getlength(bs
->file
->bs
);
458 if (has_prealloc_perms(bs
)) {
459 s
->file_end
= s
->zero_start
= s
->data_end
= ret
;
465 static int preallocate_check_perm(BlockDriverState
*bs
,
466 uint64_t perm
, uint64_t shared
, Error
**errp
)
468 BDRVPreallocateState
*s
= bs
->opaque
;
470 if (s
->data_end
>= 0 && !can_write_resize(perm
)) {
473 * We should truncate in check_perm, as in set_perm bs->file->perm will
474 * be already changed, and we should not violate it.
476 if (s
->file_end
< 0) {
477 s
->file_end
= bdrv_getlength(bs
->file
->bs
);
478 if (s
->file_end
< 0) {
479 error_setg(errp
, "Failed to get file length");
484 if (s
->data_end
< s
->file_end
) {
485 int ret
= bdrv_truncate(bs
->file
, s
->data_end
, true,
486 PREALLOC_MODE_OFF
, 0, NULL
);
488 error_setg(errp
, "Failed to drop preallocation");
492 s
->file_end
= s
->data_end
;
499 static void preallocate_set_perm(BlockDriverState
*bs
,
500 uint64_t perm
, uint64_t shared
)
502 BDRVPreallocateState
*s
= bs
->opaque
;
504 if (can_write_resize(perm
)) {
505 if (s
->data_end
< 0) {
506 s
->data_end
= s
->file_end
= s
->zero_start
=
507 bdrv_getlength(bs
->file
->bs
);
511 * We drop our permissions, as well as allow shared
512 * permissions (see preallocate_child_perm), anyone will be able to
513 * change the child, so mark all states invalid. We'll regain control if
514 * get good permissions back.
516 s
->data_end
= s
->file_end
= s
->zero_start
= -EINVAL
;
520 static void preallocate_child_perm(BlockDriverState
*bs
, BdrvChild
*c
,
521 BdrvChildRole role
, BlockReopenQueue
*reopen_queue
,
522 uint64_t perm
, uint64_t shared
, uint64_t *nperm
, uint64_t *nshared
)
524 bdrv_default_perms(bs
, c
, role
, reopen_queue
, perm
, shared
, nperm
, nshared
);
526 if (can_write_resize(perm
)) {
527 /* This should come by default, but let's enforce: */
528 *nperm
|= BLK_PERM_WRITE
| BLK_PERM_RESIZE
;
531 * Don't share, to keep our states s->file_end, s->data_end and
532 * s->zero_start valid.
534 *nshared
&= ~(BLK_PERM_WRITE
| BLK_PERM_RESIZE
);
538 BlockDriver bdrv_preallocate_filter
= {
539 .format_name
= "preallocate",
540 .instance_size
= sizeof(BDRVPreallocateState
),
542 .bdrv_co_getlength
= preallocate_co_getlength
,
543 .bdrv_open
= preallocate_open
,
544 .bdrv_close
= preallocate_close
,
546 .bdrv_reopen_prepare
= preallocate_reopen_prepare
,
547 .bdrv_reopen_commit
= preallocate_reopen_commit
,
548 .bdrv_reopen_abort
= preallocate_reopen_abort
,
550 .bdrv_co_preadv_part
= preallocate_co_preadv_part
,
551 .bdrv_co_pwritev_part
= preallocate_co_pwritev_part
,
552 .bdrv_co_pwrite_zeroes
= preallocate_co_pwrite_zeroes
,
553 .bdrv_co_pdiscard
= preallocate_co_pdiscard
,
554 .bdrv_co_flush
= preallocate_co_flush
,
555 .bdrv_co_truncate
= preallocate_co_truncate
,
557 .bdrv_check_perm
= preallocate_check_perm
,
558 .bdrv_set_perm
= preallocate_set_perm
,
559 .bdrv_child_perm
= preallocate_child_perm
,
564 static void bdrv_preallocate_init(void)
566 bdrv_register(&bdrv_preallocate_filter
);
569 block_init(bdrv_preallocate_init
);