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_int.h"
36 typedef struct PreallocateOpts
{
37 int64_t prealloc_size
;
38 int64_t prealloc_align
;
41 typedef struct BDRVPreallocateState
{
45 * Track real data end, to crop preallocation on close. If < 0 the status is
48 * @data_end is a maximum of file size on open (or when we get write/resize
49 * permissions) and all write request ends after it. So it's safe to
50 * truncate to data_end if it is valid.
55 * Start of trailing preallocated area which reads as zero. May be smaller
56 * than data_end, if user does over-EOF write zero operation. If < 0 the
59 * If both @zero_start and @file_end are valid, the region
60 * [@zero_start, @file_end) is known to be preallocated zeroes. If @file_end
61 * is not valid, @zero_start doesn't make much sense.
66 * Real end of file. Actually the cache for bdrv_getlength(bs->file->bs),
67 * to avoid extra lseek() calls on each write operation. If < 0 the status
73 * All three states @data_end, @zero_start and @file_end are guaranteed to
74 * be invalid (< 0) when we don't have both exclusive BLK_PERM_RESIZE and
75 * BLK_PERM_WRITE permissions on file child.
77 } BDRVPreallocateState
;
79 #define PREALLOCATE_OPT_PREALLOC_ALIGN "prealloc-align"
80 #define PREALLOCATE_OPT_PREALLOC_SIZE "prealloc-size"
81 static QemuOptsList runtime_opts
= {
82 .name
= "preallocate",
83 .head
= QTAILQ_HEAD_INITIALIZER(runtime_opts
.head
),
86 .name
= PREALLOCATE_OPT_PREALLOC_ALIGN
,
87 .type
= QEMU_OPT_SIZE
,
88 .help
= "on preallocation, align file length to this number, "
92 .name
= PREALLOCATE_OPT_PREALLOC_SIZE
,
93 .type
= QEMU_OPT_SIZE
,
94 .help
= "how much to preallocate, default 128M",
100 static bool preallocate_absorb_opts(PreallocateOpts
*dest
, QDict
*options
,
101 BlockDriverState
*child_bs
, Error
**errp
)
103 QemuOpts
*opts
= qemu_opts_create(&runtime_opts
, NULL
, 0, &error_abort
);
105 if (!qemu_opts_absorb_qdict(opts
, options
, errp
)) {
109 dest
->prealloc_align
=
110 qemu_opt_get_size(opts
, PREALLOCATE_OPT_PREALLOC_ALIGN
, 1 * MiB
);
111 dest
->prealloc_size
=
112 qemu_opt_get_size(opts
, PREALLOCATE_OPT_PREALLOC_SIZE
, 128 * MiB
);
116 if (!QEMU_IS_ALIGNED(dest
->prealloc_align
, BDRV_SECTOR_SIZE
)) {
117 error_setg(errp
, "prealloc-align parameter of preallocate filter "
118 "is not aligned to %llu", BDRV_SECTOR_SIZE
);
122 if (!QEMU_IS_ALIGNED(dest
->prealloc_align
,
123 child_bs
->bl
.request_alignment
)) {
124 error_setg(errp
, "prealloc-align parameter of preallocate filter "
125 "is not aligned to underlying node request alignment "
126 "(%" PRIi32
")", child_bs
->bl
.request_alignment
);
133 static int preallocate_open(BlockDriverState
*bs
, QDict
*options
, int flags
,
136 BDRVPreallocateState
*s
= bs
->opaque
;
140 * s->data_end and friends should be initialized on permission update.
141 * For this to work, mark them invalid.
143 s
->file_end
= s
->zero_start
= s
->data_end
= -EINVAL
;
145 ret
= bdrv_open_file_child(NULL
, options
, "file", bs
, errp
);
150 if (!preallocate_absorb_opts(&s
->opts
, options
, bs
->file
->bs
, errp
)) {
154 bs
->supported_write_flags
= BDRV_REQ_WRITE_UNCHANGED
|
155 (BDRV_REQ_FUA
& bs
->file
->bs
->supported_write_flags
);
157 bs
->supported_zero_flags
= BDRV_REQ_WRITE_UNCHANGED
|
158 ((BDRV_REQ_FUA
| BDRV_REQ_MAY_UNMAP
| BDRV_REQ_NO_FALLBACK
) &
159 bs
->file
->bs
->supported_zero_flags
);
164 static void preallocate_close(BlockDriverState
*bs
)
167 BDRVPreallocateState
*s
= bs
->opaque
;
169 if (s
->data_end
< 0) {
173 if (s
->file_end
< 0) {
174 s
->file_end
= bdrv_getlength(bs
->file
->bs
);
175 if (s
->file_end
< 0) {
180 if (s
->data_end
< s
->file_end
) {
181 ret
= bdrv_truncate(bs
->file
, s
->data_end
, true, PREALLOC_MODE_OFF
, 0,
183 s
->file_end
= ret
< 0 ? ret
: s
->data_end
;
191 * We must implement reopen handlers, otherwise reopen just don't work. Handle
192 * new options and don't care about preallocation state, as it is handled in
193 * set/check permission handlers.
196 static int preallocate_reopen_prepare(BDRVReopenState
*reopen_state
,
197 BlockReopenQueue
*queue
, Error
**errp
)
199 PreallocateOpts
*opts
= g_new0(PreallocateOpts
, 1);
201 if (!preallocate_absorb_opts(opts
, reopen_state
->options
,
202 reopen_state
->bs
->file
->bs
, errp
)) {
207 reopen_state
->opaque
= opts
;
212 static void preallocate_reopen_commit(BDRVReopenState
*state
)
214 BDRVPreallocateState
*s
= state
->bs
->opaque
;
216 s
->opts
= *(PreallocateOpts
*)state
->opaque
;
218 g_free(state
->opaque
);
219 state
->opaque
= NULL
;
222 static void preallocate_reopen_abort(BDRVReopenState
*state
)
224 g_free(state
->opaque
);
225 state
->opaque
= NULL
;
228 static coroutine_fn
int preallocate_co_preadv_part(
229 BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
230 QEMUIOVector
*qiov
, size_t qiov_offset
, BdrvRequestFlags flags
)
232 return bdrv_co_preadv_part(bs
->file
, offset
, bytes
, qiov
, qiov_offset
,
236 static int coroutine_fn
preallocate_co_pdiscard(BlockDriverState
*bs
,
237 int64_t offset
, int64_t bytes
)
239 return bdrv_co_pdiscard(bs
->file
, offset
, bytes
);
242 static bool can_write_resize(uint64_t perm
)
244 return (perm
& BLK_PERM_WRITE
) && (perm
& BLK_PERM_RESIZE
);
247 static bool has_prealloc_perms(BlockDriverState
*bs
)
249 BDRVPreallocateState
*s
= bs
->opaque
;
251 if (can_write_resize(bs
->file
->perm
)) {
252 assert(!(bs
->file
->shared_perm
& BLK_PERM_WRITE
));
253 assert(!(bs
->file
->shared_perm
& BLK_PERM_RESIZE
));
257 assert(s
->data_end
< 0);
258 assert(s
->zero_start
< 0);
259 assert(s
->file_end
< 0);
264 * Call on each write. Returns true if @want_merge_zero is true and the region
265 * [offset, offset + bytes) is zeroed (as a result of this call or earlier
268 * want_merge_zero is used to merge write-zero request with preallocation in
269 * one bdrv_co_pwrite_zeroes() call.
271 static bool coroutine_fn
handle_write(BlockDriverState
*bs
, int64_t offset
,
272 int64_t bytes
, bool want_merge_zero
)
274 BDRVPreallocateState
*s
= bs
->opaque
;
275 int64_t end
= offset
+ bytes
;
276 int64_t prealloc_start
, prealloc_end
;
278 uint32_t file_align
= bs
->file
->bs
->bl
.request_alignment
;
279 uint32_t prealloc_align
= MAX(s
->opts
.prealloc_align
, file_align
);
281 assert(QEMU_IS_ALIGNED(prealloc_align
, file_align
));
283 if (!has_prealloc_perms(bs
)) {
284 /* We don't have state neither should try to recover it */
288 if (s
->data_end
< 0) {
289 s
->data_end
= bdrv_getlength(bs
->file
->bs
);
290 if (s
->data_end
< 0) {
294 if (s
->file_end
< 0) {
295 s
->file_end
= s
->data_end
;
299 if (end
<= s
->data_end
) {
303 /* We have valid s->data_end, and request writes beyond it. */
306 if (s
->zero_start
< 0 || !want_merge_zero
) {
310 if (s
->file_end
< 0) {
311 s
->file_end
= bdrv_getlength(bs
->file
->bs
);
312 if (s
->file_end
< 0) {
317 /* Now s->data_end, s->zero_start and s->file_end are valid. */
319 if (end
<= s
->file_end
) {
320 /* No preallocation needed. */
321 return want_merge_zero
&& offset
>= s
->zero_start
;
324 /* Now we want new preallocation, as request writes beyond s->file_end. */
326 prealloc_start
= QEMU_ALIGN_UP(
327 want_merge_zero
? MIN(offset
, s
->file_end
) : s
->file_end
,
329 prealloc_end
= QEMU_ALIGN_UP(
330 MAX(prealloc_start
, end
) + s
->opts
.prealloc_size
,
333 want_merge_zero
= want_merge_zero
&& (prealloc_start
<= offset
);
335 ret
= bdrv_co_pwrite_zeroes(
336 bs
->file
, prealloc_start
, prealloc_end
- prealloc_start
,
337 BDRV_REQ_NO_FALLBACK
| BDRV_REQ_SERIALISING
| BDRV_REQ_NO_WAIT
);
343 s
->file_end
= prealloc_end
;
344 return want_merge_zero
;
347 static int coroutine_fn
preallocate_co_pwrite_zeroes(BlockDriverState
*bs
,
348 int64_t offset
, int64_t bytes
, BdrvRequestFlags flags
)
350 bool want_merge_zero
=
351 !(flags
& ~(BDRV_REQ_ZERO_WRITE
| BDRV_REQ_NO_FALLBACK
));
352 if (handle_write(bs
, offset
, bytes
, want_merge_zero
)) {
356 return bdrv_co_pwrite_zeroes(bs
->file
, offset
, bytes
, flags
);
359 static coroutine_fn
int preallocate_co_pwritev_part(BlockDriverState
*bs
,
364 BdrvRequestFlags flags
)
366 handle_write(bs
, offset
, bytes
, false);
368 return bdrv_co_pwritev_part(bs
->file
, offset
, bytes
, qiov
, qiov_offset
,
372 static int coroutine_fn
373 preallocate_co_truncate(BlockDriverState
*bs
, int64_t offset
,
374 bool exact
, PreallocMode prealloc
,
375 BdrvRequestFlags flags
, Error
**errp
)
378 BDRVPreallocateState
*s
= bs
->opaque
;
381 if (s
->data_end
>= 0 && offset
> s
->data_end
) {
382 if (s
->file_end
< 0) {
383 s
->file_end
= bdrv_getlength(bs
->file
->bs
);
384 if (s
->file_end
< 0) {
385 error_setg(errp
, "failed to get file length");
390 if (prealloc
== PREALLOC_MODE_FALLOC
) {
392 * If offset <= s->file_end, the task is already done, just
393 * update s->data_end, to move part of "filter preallocation"
394 * to "preallocation requested by user".
395 * Otherwise just proceed to preallocate missing part.
397 if (offset
<= s
->file_end
) {
398 s
->data_end
= offset
;
403 * We have to drop our preallocation, to
404 * - avoid "Cannot use preallocation for shrinking files" in
405 * case of offset < file_end
406 * - give PREALLOC_MODE_OFF a chance to keep small disk
408 * - give PREALLOC_MODE_FULL a chance to actually write the
409 * whole region as user expects
411 if (s
->file_end
> s
->data_end
) {
412 ret
= bdrv_co_truncate(bs
->file
, s
->data_end
, true,
413 PREALLOC_MODE_OFF
, 0, errp
);
416 error_prepend(errp
, "preallocate-filter: failed to drop "
417 "write-zero preallocation: ");
420 s
->file_end
= s
->data_end
;
424 s
->data_end
= offset
;
427 ret
= bdrv_co_truncate(bs
->file
, offset
, exact
, prealloc
, flags
, errp
);
429 s
->file_end
= s
->zero_start
= s
->data_end
= ret
;
433 if (has_prealloc_perms(bs
)) {
434 s
->file_end
= s
->zero_start
= s
->data_end
= offset
;
439 static int coroutine_fn
preallocate_co_flush(BlockDriverState
*bs
)
441 return bdrv_co_flush(bs
->file
->bs
);
444 static int64_t preallocate_getlength(BlockDriverState
*bs
)
447 BDRVPreallocateState
*s
= bs
->opaque
;
449 if (s
->data_end
>= 0) {
453 ret
= bdrv_getlength(bs
->file
->bs
);
455 if (has_prealloc_perms(bs
)) {
456 s
->file_end
= s
->zero_start
= s
->data_end
= ret
;
462 static int preallocate_check_perm(BlockDriverState
*bs
,
463 uint64_t perm
, uint64_t shared
, Error
**errp
)
465 BDRVPreallocateState
*s
= bs
->opaque
;
467 if (s
->data_end
>= 0 && !can_write_resize(perm
)) {
470 * We should truncate in check_perm, as in set_perm bs->file->perm will
471 * be already changed, and we should not violate it.
473 if (s
->file_end
< 0) {
474 s
->file_end
= bdrv_getlength(bs
->file
->bs
);
475 if (s
->file_end
< 0) {
476 error_setg(errp
, "Failed to get file length");
481 if (s
->data_end
< s
->file_end
) {
482 int ret
= bdrv_truncate(bs
->file
, s
->data_end
, true,
483 PREALLOC_MODE_OFF
, 0, NULL
);
485 error_setg(errp
, "Failed to drop preallocation");
489 s
->file_end
= s
->data_end
;
496 static void preallocate_set_perm(BlockDriverState
*bs
,
497 uint64_t perm
, uint64_t shared
)
499 BDRVPreallocateState
*s
= bs
->opaque
;
501 if (can_write_resize(perm
)) {
502 if (s
->data_end
< 0) {
503 s
->data_end
= s
->file_end
= s
->zero_start
=
504 bdrv_getlength(bs
->file
->bs
);
508 * We drop our permissions, as well as allow shared
509 * permissions (see preallocate_child_perm), anyone will be able to
510 * change the child, so mark all states invalid. We'll regain control if
511 * get good permissions back.
513 s
->data_end
= s
->file_end
= s
->zero_start
= -EINVAL
;
517 static void preallocate_child_perm(BlockDriverState
*bs
, BdrvChild
*c
,
518 BdrvChildRole role
, BlockReopenQueue
*reopen_queue
,
519 uint64_t perm
, uint64_t shared
, uint64_t *nperm
, uint64_t *nshared
)
521 bdrv_default_perms(bs
, c
, role
, reopen_queue
, perm
, shared
, nperm
, nshared
);
523 if (can_write_resize(perm
)) {
524 /* This should come by default, but let's enforce: */
525 *nperm
|= BLK_PERM_WRITE
| BLK_PERM_RESIZE
;
528 * Don't share, to keep our states s->file_end, s->data_end and
529 * s->zero_start valid.
531 *nshared
&= ~(BLK_PERM_WRITE
| BLK_PERM_RESIZE
);
535 BlockDriver bdrv_preallocate_filter
= {
536 .format_name
= "preallocate",
537 .instance_size
= sizeof(BDRVPreallocateState
),
539 .bdrv_getlength
= preallocate_getlength
,
540 .bdrv_open
= preallocate_open
,
541 .bdrv_close
= preallocate_close
,
543 .bdrv_reopen_prepare
= preallocate_reopen_prepare
,
544 .bdrv_reopen_commit
= preallocate_reopen_commit
,
545 .bdrv_reopen_abort
= preallocate_reopen_abort
,
547 .bdrv_co_preadv_part
= preallocate_co_preadv_part
,
548 .bdrv_co_pwritev_part
= preallocate_co_pwritev_part
,
549 .bdrv_co_pwrite_zeroes
= preallocate_co_pwrite_zeroes
,
550 .bdrv_co_pdiscard
= preallocate_co_pdiscard
,
551 .bdrv_co_flush
= preallocate_co_flush
,
552 .bdrv_co_truncate
= preallocate_co_truncate
,
554 .bdrv_check_perm
= preallocate_check_perm
,
555 .bdrv_set_perm
= preallocate_set_perm
,
556 .bdrv_child_perm
= preallocate_child_perm
,
558 .has_variable_length
= true,
562 static void bdrv_preallocate_init(void)
564 bdrv_register(&bdrv_preallocate_filter
);
567 block_init(bdrv_preallocate_init
);