coroutine: Move coroutine_fn to qemu/osdep.h, trim includes
[qemu.git] / include / block / block-common.h
blob434ffc5d347be0c0013c13737672fe97baf05be7
1 /*
2 * QEMU System Emulator block driver
4 * Copyright (c) 2003 Fabrice Bellard
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
24 #ifndef BLOCK_COMMON_H
25 #define BLOCK_COMMON_H
27 #include "block/aio.h"
28 #include "block/aio-wait.h"
29 #include "qemu/iov.h"
30 #include "block/accounting.h"
31 #include "qemu/hbitmap.h"
32 #include "qemu/transactions.h"
35 * co_wrapper{*}: Function specifiers used by block-coroutine-wrapper.py
37 * Function specifiers, which do nothing but mark functions to be
38 * generated by scripts/block-coroutine-wrapper.py
40 * Usage: read docs/devel/block-coroutine-wrapper.rst
42 * There are 4 kind of specifiers:
43 * - co_wrapper functions can be called by only non-coroutine context, because
44 * they always generate a new coroutine.
45 * - co_wrapper_mixed functions can be called by both coroutine and
46 * non-coroutine context.
47 * - co_wrapper_bdrv_rdlock are co_wrapper functions but automatically take and
48 * release the graph rdlock when creating a new coroutine
49 * - co_wrapper_mixed_bdrv_rdlock are co_wrapper_mixed functions but
50 * automatically take and release the graph rdlock when creating a new
51 * coroutine.
53 #define co_wrapper
54 #define co_wrapper_mixed
55 #define co_wrapper_bdrv_rdlock
56 #define co_wrapper_mixed_bdrv_rdlock
58 #include "block/dirty-bitmap.h"
59 #include "block/blockjob.h"
61 /* block.c */
62 typedef struct BlockDriver BlockDriver;
63 typedef struct BdrvChild BdrvChild;
64 typedef struct BdrvChildClass BdrvChildClass;
66 typedef struct BlockDriverInfo {
67 /* in bytes, 0 if irrelevant */
68 int cluster_size;
69 /* offset at which the VM state can be saved (0 if not possible) */
70 int64_t vm_state_offset;
71 bool is_dirty;
73 * True if this block driver only supports compressed writes
75 bool needs_compressed_writes;
76 } BlockDriverInfo;
78 typedef struct BlockFragInfo {
79 uint64_t allocated_clusters;
80 uint64_t total_clusters;
81 uint64_t fragmented_clusters;
82 uint64_t compressed_clusters;
83 } BlockFragInfo;
85 typedef enum {
86 BDRV_REQ_COPY_ON_READ = 0x1,
87 BDRV_REQ_ZERO_WRITE = 0x2,
90 * The BDRV_REQ_MAY_UNMAP flag is used in write_zeroes requests to indicate
91 * that the block driver should unmap (discard) blocks if it is guaranteed
92 * that the result will read back as zeroes. The flag is only passed to the
93 * driver if the block device is opened with BDRV_O_UNMAP.
95 BDRV_REQ_MAY_UNMAP = 0x4,
98 * An optimization hint when all QEMUIOVector elements are within
99 * previously registered bdrv_register_buf() memory ranges.
101 * Code that replaces the user's QEMUIOVector elements with bounce buffers
102 * must take care to clear this flag.
104 BDRV_REQ_REGISTERED_BUF = 0x8,
106 BDRV_REQ_FUA = 0x10,
107 BDRV_REQ_WRITE_COMPRESSED = 0x20,
110 * Signifies that this write request will not change the visible disk
111 * content.
113 BDRV_REQ_WRITE_UNCHANGED = 0x40,
116 * Forces request serialisation. Use only with write requests.
118 BDRV_REQ_SERIALISING = 0x80,
121 * Execute the request only if the operation can be offloaded or otherwise
122 * be executed efficiently, but return an error instead of using a slow
123 * fallback.
125 BDRV_REQ_NO_FALLBACK = 0x100,
128 * BDRV_REQ_PREFETCH makes sense only in the context of copy-on-read
129 * (i.e., together with the BDRV_REQ_COPY_ON_READ flag or when a COR
130 * filter is involved), in which case it signals that the COR operation
131 * need not read the data into memory (qiov) but only ensure they are
132 * copied to the top layer (i.e., that COR operation is done).
134 BDRV_REQ_PREFETCH = 0x200,
137 * If we need to wait for other requests, just fail immediately. Used
138 * only together with BDRV_REQ_SERIALISING. Used only with requests aligned
139 * to request_alignment (corresponding assertions are in block/io.c).
141 BDRV_REQ_NO_WAIT = 0x400,
143 /* Mask of valid flags */
144 BDRV_REQ_MASK = 0x7ff,
145 } BdrvRequestFlags;
147 #define BDRV_O_NO_SHARE 0x0001 /* don't share permissions */
148 #define BDRV_O_RDWR 0x0002
149 #define BDRV_O_RESIZE 0x0004 /* request permission for resizing the node */
150 #define BDRV_O_SNAPSHOT 0x0008 /* open the file read only and save
151 writes in a snapshot */
152 #define BDRV_O_TEMPORARY 0x0010 /* delete the file after use */
153 #define BDRV_O_NOCACHE 0x0020 /* do not use the host page cache */
154 #define BDRV_O_NATIVE_AIO 0x0080 /* use native AIO instead of the
155 thread pool */
156 #define BDRV_O_NO_BACKING 0x0100 /* don't open the backing file */
157 #define BDRV_O_NO_FLUSH 0x0200 /* disable flushing on this disk */
158 #define BDRV_O_COPY_ON_READ 0x0400 /* copy read backing sectors into image */
159 #define BDRV_O_INACTIVE 0x0800 /* consistency hint for migration handoff */
160 #define BDRV_O_CHECK 0x1000 /* open solely for consistency check */
161 #define BDRV_O_ALLOW_RDWR 0x2000 /* allow reopen to change from r/o to r/w */
162 #define BDRV_O_UNMAP 0x4000 /* execute guest UNMAP/TRIM operations */
163 #define BDRV_O_PROTOCOL 0x8000 /* if no block driver is explicitly given:
164 select an appropriate protocol driver,
165 ignoring the format layer */
166 #define BDRV_O_NO_IO 0x10000 /* don't initialize for I/O */
167 #define BDRV_O_AUTO_RDONLY 0x20000 /* degrade to read-only if opening
168 read-write fails */
169 #define BDRV_O_IO_URING 0x40000 /* use io_uring instead of the thread pool */
171 #define BDRV_O_CACHE_MASK (BDRV_O_NOCACHE | BDRV_O_NO_FLUSH)
174 /* Option names of options parsed by the block layer */
176 #define BDRV_OPT_CACHE_WB "cache.writeback"
177 #define BDRV_OPT_CACHE_DIRECT "cache.direct"
178 #define BDRV_OPT_CACHE_NO_FLUSH "cache.no-flush"
179 #define BDRV_OPT_READ_ONLY "read-only"
180 #define BDRV_OPT_AUTO_READ_ONLY "auto-read-only"
181 #define BDRV_OPT_DISCARD "discard"
182 #define BDRV_OPT_FORCE_SHARE "force-share"
185 #define BDRV_SECTOR_BITS 9
186 #define BDRV_SECTOR_SIZE (1ULL << BDRV_SECTOR_BITS)
188 #define BDRV_REQUEST_MAX_SECTORS MIN_CONST(SIZE_MAX >> BDRV_SECTOR_BITS, \
189 INT_MAX >> BDRV_SECTOR_BITS)
190 #define BDRV_REQUEST_MAX_BYTES (BDRV_REQUEST_MAX_SECTORS << BDRV_SECTOR_BITS)
193 * We want allow aligning requests and disk length up to any 32bit alignment
194 * and don't afraid of overflow.
195 * To achieve it, and in the same time use some pretty number as maximum disk
196 * size, let's define maximum "length" (a limit for any offset/bytes request and
197 * for disk size) to be the greatest power of 2 less than INT64_MAX.
199 #define BDRV_MAX_ALIGNMENT (1L << 30)
200 #define BDRV_MAX_LENGTH (QEMU_ALIGN_DOWN(INT64_MAX, BDRV_MAX_ALIGNMENT))
203 * Allocation status flags for bdrv_block_status() and friends.
205 * Public flags:
206 * BDRV_BLOCK_DATA: allocation for data at offset is tied to this layer
207 * BDRV_BLOCK_ZERO: offset reads as zero
208 * BDRV_BLOCK_OFFSET_VALID: an associated offset exists for accessing raw data
209 * BDRV_BLOCK_ALLOCATED: the content of the block is determined by this
210 * layer rather than any backing, set by block layer
211 * BDRV_BLOCK_EOF: the returned pnum covers through end of file for this
212 * layer, set by block layer
214 * Internal flags:
215 * BDRV_BLOCK_RAW: for use by passthrough drivers, such as raw, to request
216 * that the block layer recompute the answer from the returned
217 * BDS; must be accompanied by just BDRV_BLOCK_OFFSET_VALID.
218 * BDRV_BLOCK_RECURSE: request that the block layer will recursively search for
219 * zeroes in file child of current block node inside
220 * returned region. Only valid together with both
221 * BDRV_BLOCK_DATA and BDRV_BLOCK_OFFSET_VALID. Should not
222 * appear with BDRV_BLOCK_ZERO.
224 * If BDRV_BLOCK_OFFSET_VALID is set, the map parameter represents the
225 * host offset within the returned BDS that is allocated for the
226 * corresponding raw guest data. However, whether that offset
227 * actually contains data also depends on BDRV_BLOCK_DATA, as follows:
229 * DATA ZERO OFFSET_VALID
230 * t t t sectors read as zero, returned file is zero at offset
231 * t f t sectors read as valid from file at offset
232 * f t t sectors preallocated, read as zero, returned file not
233 * necessarily zero at offset
234 * f f t sectors preallocated but read from backing_hd,
235 * returned file contains garbage at offset
236 * t t f sectors preallocated, read as zero, unknown offset
237 * t f f sectors read from unknown file or offset
238 * f t f not allocated or unknown offset, read as zero
239 * f f f not allocated or unknown offset, read from backing_hd
241 #define BDRV_BLOCK_DATA 0x01
242 #define BDRV_BLOCK_ZERO 0x02
243 #define BDRV_BLOCK_OFFSET_VALID 0x04
244 #define BDRV_BLOCK_RAW 0x08
245 #define BDRV_BLOCK_ALLOCATED 0x10
246 #define BDRV_BLOCK_EOF 0x20
247 #define BDRV_BLOCK_RECURSE 0x40
249 typedef QTAILQ_HEAD(BlockReopenQueue, BlockReopenQueueEntry) BlockReopenQueue;
251 typedef struct BDRVReopenState {
252 BlockDriverState *bs;
253 int flags;
254 BlockdevDetectZeroesOptions detect_zeroes;
255 bool backing_missing;
256 BlockDriverState *old_backing_bs; /* keep pointer for permissions update */
257 BlockDriverState *old_file_bs; /* keep pointer for permissions update */
258 QDict *options;
259 QDict *explicit_options;
260 void *opaque;
261 } BDRVReopenState;
264 * Block operation types
266 typedef enum BlockOpType {
267 BLOCK_OP_TYPE_BACKUP_SOURCE,
268 BLOCK_OP_TYPE_BACKUP_TARGET,
269 BLOCK_OP_TYPE_CHANGE,
270 BLOCK_OP_TYPE_COMMIT_SOURCE,
271 BLOCK_OP_TYPE_COMMIT_TARGET,
272 BLOCK_OP_TYPE_DATAPLANE,
273 BLOCK_OP_TYPE_DRIVE_DEL,
274 BLOCK_OP_TYPE_EJECT,
275 BLOCK_OP_TYPE_EXTERNAL_SNAPSHOT,
276 BLOCK_OP_TYPE_INTERNAL_SNAPSHOT,
277 BLOCK_OP_TYPE_INTERNAL_SNAPSHOT_DELETE,
278 BLOCK_OP_TYPE_MIRROR_SOURCE,
279 BLOCK_OP_TYPE_MIRROR_TARGET,
280 BLOCK_OP_TYPE_RESIZE,
281 BLOCK_OP_TYPE_STREAM,
282 BLOCK_OP_TYPE_REPLACE,
283 BLOCK_OP_TYPE_MAX,
284 } BlockOpType;
286 /* Block node permission constants */
287 enum {
289 * A user that has the "permission" of consistent reads is guaranteed that
290 * their view of the contents of the block device is complete and
291 * self-consistent, representing the contents of a disk at a specific
292 * point.
294 * For most block devices (including their backing files) this is true, but
295 * the property cannot be maintained in a few situations like for
296 * intermediate nodes of a commit block job.
298 BLK_PERM_CONSISTENT_READ = 0x01,
300 /** This permission is required to change the visible disk contents. */
301 BLK_PERM_WRITE = 0x02,
304 * This permission (which is weaker than BLK_PERM_WRITE) is both enough and
305 * required for writes to the block node when the caller promises that
306 * the visible disk content doesn't change.
308 * As the BLK_PERM_WRITE permission is strictly stronger, either is
309 * sufficient to perform an unchanging write.
311 BLK_PERM_WRITE_UNCHANGED = 0x04,
313 /** This permission is required to change the size of a block node. */
314 BLK_PERM_RESIZE = 0x08,
317 * There was a now-removed bit BLK_PERM_GRAPH_MOD, with value of 0x10. QEMU
318 * 6.1 and earlier may still lock the corresponding byte in block/file-posix
319 * locking. So, implementing some new permission should be very careful to
320 * not interfere with this old unused thing.
323 BLK_PERM_ALL = 0x0f,
325 DEFAULT_PERM_PASSTHROUGH = BLK_PERM_CONSISTENT_READ
326 | BLK_PERM_WRITE
327 | BLK_PERM_WRITE_UNCHANGED
328 | BLK_PERM_RESIZE,
330 DEFAULT_PERM_UNCHANGED = BLK_PERM_ALL & ~DEFAULT_PERM_PASSTHROUGH,
334 * Flags that parent nodes assign to child nodes to specify what kind of
335 * role(s) they take.
337 * At least one of DATA, METADATA, FILTERED, or COW must be set for
338 * every child.
341 * = Connection with bs->children, bs->file and bs->backing fields =
343 * 1. Filters
345 * Filter drivers have drv->is_filter = true.
347 * Filter node has exactly one FILTERED|PRIMARY child, and may have other
348 * children which must not have these bits (one example is the
349 * copy-before-write filter, which also has its target DATA child).
351 * Filter nodes never have COW children.
353 * For most filters, the filtered child is linked in bs->file, bs->backing is
354 * NULL. For some filters (as an exception), it is the other way around; those
355 * drivers will have drv->filtered_child_is_backing set to true (see that
356 * field’s documentation for what drivers this concerns)
358 * 2. "raw" driver (block/raw-format.c)
360 * Formally it's not a filter (drv->is_filter = false)
362 * bs->backing is always NULL
364 * Only has one child, linked in bs->file. Its role is either FILTERED|PRIMARY
365 * (like filter) or DATA|PRIMARY depending on options.
367 * 3. Other drivers
369 * Don't have any FILTERED children.
371 * May have at most one COW child. In this case it's linked in bs->backing.
372 * Otherwise bs->backing is NULL. COW child is never PRIMARY.
374 * May have at most one PRIMARY child. In this case it's linked in bs->file.
375 * Otherwise bs->file is NULL.
377 * May also have some other children that don't have the PRIMARY or COW bit set.
379 enum BdrvChildRoleBits {
381 * This child stores data.
382 * Any node may have an arbitrary number of such children.
384 BDRV_CHILD_DATA = (1 << 0),
387 * This child stores metadata.
388 * Any node may have an arbitrary number of metadata-storing
389 * children.
391 BDRV_CHILD_METADATA = (1 << 1),
394 * A child that always presents exactly the same visible data as
395 * the parent, e.g. by virtue of the parent forwarding all reads
396 * and writes.
397 * This flag is mutually exclusive with DATA, METADATA, and COW.
398 * Any node may have at most one filtered child at a time.
400 BDRV_CHILD_FILTERED = (1 << 2),
403 * Child from which to read all data that isn't allocated in the
404 * parent (i.e., the backing child); such data is copied to the
405 * parent through COW (and optionally COR).
406 * This field is mutually exclusive with DATA, METADATA, and
407 * FILTERED.
408 * Any node may have at most one such backing child at a time.
410 BDRV_CHILD_COW = (1 << 3),
413 * The primary child. For most drivers, this is the child whose
414 * filename applies best to the parent node.
415 * Any node may have at most one primary child at a time.
417 BDRV_CHILD_PRIMARY = (1 << 4),
419 /* Useful combination of flags */
420 BDRV_CHILD_IMAGE = BDRV_CHILD_DATA
421 | BDRV_CHILD_METADATA
422 | BDRV_CHILD_PRIMARY,
425 /* Mask of BdrvChildRoleBits values */
426 typedef unsigned int BdrvChildRole;
428 typedef struct BdrvCheckResult {
429 int corruptions;
430 int leaks;
431 int check_errors;
432 int corruptions_fixed;
433 int leaks_fixed;
434 int64_t image_end_offset;
435 BlockFragInfo bfi;
436 } BdrvCheckResult;
438 typedef enum {
439 BDRV_FIX_LEAKS = 1,
440 BDRV_FIX_ERRORS = 2,
441 } BdrvCheckMode;
443 typedef struct BlockSizes {
444 uint32_t phys;
445 uint32_t log;
446 } BlockSizes;
448 typedef struct HDGeometry {
449 uint32_t heads;
450 uint32_t sectors;
451 uint32_t cylinders;
452 } HDGeometry;
455 * Common functions that are neither I/O nor Global State.
457 * These functions must never call any function from other categories
458 * (I/O, "I/O or GS", Global State) except this one, but can be invoked by
459 * all of them.
462 char *bdrv_perm_names(uint64_t perm);
463 uint64_t bdrv_qapi_perm_to_blk_perm(BlockPermission qapi_perm);
465 void bdrv_init_with_whitelist(void);
466 bool bdrv_uses_whitelist(void);
467 int bdrv_is_whitelisted(BlockDriver *drv, bool read_only);
469 int bdrv_parse_aio(const char *mode, int *flags);
470 int bdrv_parse_cache_mode(const char *mode, int *flags, bool *writethrough);
471 int bdrv_parse_discard_flags(const char *mode, int *flags);
473 int path_has_protocol(const char *path);
474 int path_is_absolute(const char *path);
475 char *path_combine(const char *base_path, const char *filename);
477 char *bdrv_get_full_backing_filename_from_filename(const char *backed,
478 const char *backing,
479 Error **errp);
481 #endif /* BLOCK_COMMON_H */