xref: /openbmc/qemu/block/blklogwrites.c (revision cf70966523fd6c13ce1fff764eac0e1bfdf785a3)
1bfcc224eSAapo Vienamo /*
2bfcc224eSAapo Vienamo  * Write logging blk driver based on blkverify and blkdebug.
3bfcc224eSAapo Vienamo  *
4bfcc224eSAapo Vienamo  * Copyright (c) 2017 Tuomas Tynkkynen <tuomas@tuxera.com>
5bfcc224eSAapo Vienamo  * Copyright (c) 2018 Aapo Vienamo <aapo@tuxera.com>
6bfcc224eSAapo Vienamo  * Copyright (c) 2018-2024 Ari Sundholm <ari@tuxera.com>
7bfcc224eSAapo Vienamo  *
8bfcc224eSAapo Vienamo  * This work is licensed under the terms of the GNU GPL, version 2 or later.
9bfcc224eSAapo Vienamo  * See the COPYING file in the top-level directory.
10bfcc224eSAapo Vienamo  */
11bfcc224eSAapo Vienamo 
12bfcc224eSAapo Vienamo #include "qemu/osdep.h"
13bfcc224eSAapo Vienamo #include "qapi/error.h"
14bfcc224eSAapo Vienamo #include "qemu/sockets.h" /* for EINPROGRESS on Windows */
15e2c1c34fSMarkus Armbruster #include "block/block-io.h"
16bfcc224eSAapo Vienamo #include "block/block_int.h"
17bfcc224eSAapo Vienamo #include "qapi/qmp/qdict.h"
18bfcc224eSAapo Vienamo #include "qapi/qmp/qstring.h"
19bfcc224eSAapo Vienamo #include "qemu/cutils.h"
200b8fa32fSMarkus Armbruster #include "qemu/module.h"
21bfcc224eSAapo Vienamo #include "qemu/option.h"
22bfcc224eSAapo Vienamo 
23bfcc224eSAapo Vienamo /* Disk format stuff - taken from Linux drivers/md/dm-log-writes.c */
24bfcc224eSAapo Vienamo 
25bfcc224eSAapo Vienamo #define LOG_FLUSH_FLAG   (1 << 0)
26bfcc224eSAapo Vienamo #define LOG_FUA_FLAG     (1 << 1)
27bfcc224eSAapo Vienamo #define LOG_DISCARD_FLAG (1 << 2)
28bfcc224eSAapo Vienamo #define LOG_MARK_FLAG    (1 << 3)
290878b3c1SAri Sundholm #define LOG_FLAG_MASK    (LOG_FLUSH_FLAG \
300878b3c1SAri Sundholm                          | LOG_FUA_FLAG \
310878b3c1SAri Sundholm                          | LOG_DISCARD_FLAG \
320878b3c1SAri Sundholm                          | LOG_MARK_FLAG)
33bfcc224eSAapo Vienamo 
34bfcc224eSAapo Vienamo #define WRITE_LOG_VERSION 1ULL
35bfcc224eSAapo Vienamo #define WRITE_LOG_MAGIC 0x6a736677736872ULL
36bfcc224eSAapo Vienamo 
37bfcc224eSAapo Vienamo /* All fields are little-endian. */
38bfcc224eSAapo Vienamo struct log_write_super {
39bfcc224eSAapo Vienamo     uint64_t magic;
40bfcc224eSAapo Vienamo     uint64_t version;
41bfcc224eSAapo Vienamo     uint64_t nr_entries;
42bfcc224eSAapo Vienamo     uint32_t sectorsize;
43bfcc224eSAapo Vienamo } QEMU_PACKED;
44bfcc224eSAapo Vienamo 
45bfcc224eSAapo Vienamo struct log_write_entry {
46bfcc224eSAapo Vienamo     uint64_t sector;
47bfcc224eSAapo Vienamo     uint64_t nr_sectors;
48bfcc224eSAapo Vienamo     uint64_t flags;
49bfcc224eSAapo Vienamo     uint64_t data_len;
50bfcc224eSAapo Vienamo } QEMU_PACKED;
51bfcc224eSAapo Vienamo 
52bfcc224eSAapo Vienamo /* End of disk format structures. */
53bfcc224eSAapo Vienamo 
54bfcc224eSAapo Vienamo typedef struct {
55bfcc224eSAapo Vienamo     BdrvChild *log_file;
56bfcc224eSAapo Vienamo     uint32_t sectorsize;
57bfcc224eSAapo Vienamo     uint32_t sectorbits;
58bfcc224eSAapo Vienamo     uint64_t update_interval;
59bfcc224eSAapo Vienamo 
601dce698eSAri Sundholm     /*
61bfcc224eSAapo Vienamo      * The mutable state of the driver, consisting of the current log sector
62bfcc224eSAapo Vienamo      * and the number of log entries.
63bfcc224eSAapo Vienamo      *
64bfcc224eSAapo Vienamo      * May be read and/or written from multiple threads, and the mutex must be
65bfcc224eSAapo Vienamo      * held when accessing these fields.
66bfcc224eSAapo Vienamo      */
67bfcc224eSAapo Vienamo     uint64_t cur_log_sector;
680878b3c1SAri Sundholm     uint64_t nr_entries;
690878b3c1SAri Sundholm     QemuMutex mutex;
700878b3c1SAri Sundholm 
710878b3c1SAri Sundholm     /*
720878b3c1SAri Sundholm      * The super block sequence number. Non-zero if a super block update is in
73bfcc224eSAapo Vienamo      * progress.
74bfcc224eSAapo Vienamo      *
75bfcc224eSAapo Vienamo      * The mutex must be held when accessing this field.
76bfcc224eSAapo Vienamo      */
771dce698eSAri Sundholm     uint64_t super_update_seq;
781dce698eSAri Sundholm 
791dce698eSAri Sundholm     /*
801dce698eSAri Sundholm      * A coroutine-aware queue to serialize super block updates.
811dce698eSAri Sundholm      *
82bfcc224eSAapo Vienamo      * Used with the mutex to ensure that only one thread be updating the super
83bfcc224eSAapo Vienamo      * block at a time.
84bfcc224eSAapo Vienamo      */
85bfcc224eSAapo Vienamo     CoQueue super_update_queue;
86bfcc224eSAapo Vienamo } BDRVBlkLogWritesState;
87bfcc224eSAapo Vienamo 
88bfcc224eSAapo Vienamo static QemuOptsList runtime_opts = {
89bfcc224eSAapo Vienamo     .name = "blklogwrites",
90bfcc224eSAapo Vienamo     .head = QTAILQ_HEAD_INITIALIZER(runtime_opts.head),
91bfcc224eSAapo Vienamo     .desc = {
920878b3c1SAri Sundholm         {
930878b3c1SAri Sundholm             .name = "log-append",
94ba814c82SAri Sundholm             .type = QEMU_OPT_BOOL,
95ba814c82SAri Sundholm             .help = "Append to an existing log",
96ba814c82SAri Sundholm         },
97ba814c82SAri Sundholm         {
980878b3c1SAri Sundholm             .name = "log-sector-size",
990878b3c1SAri Sundholm             .type = QEMU_OPT_SIZE,
1000878b3c1SAri Sundholm             .help = "Log sector size",
1010878b3c1SAri Sundholm         },
1020878b3c1SAri Sundholm         {
1030878b3c1SAri Sundholm             .name = "log-super-update-interval",
1040878b3c1SAri Sundholm             .type = QEMU_OPT_NUMBER,
1050878b3c1SAri Sundholm             .help = "Log superblock update interval (# of write requests)",
1060878b3c1SAri Sundholm         },
1070878b3c1SAri Sundholm         { /* end of list */ }
1080878b3c1SAri Sundholm     },
1090878b3c1SAri Sundholm };
1100878b3c1SAri Sundholm 
blk_log_writes_log2(uint32_t value)11132cc71deSAlberto Faria static inline uint32_t blk_log_writes_log2(uint32_t value)
11232cc71deSAlberto Faria {
1130878b3c1SAri Sundholm     assert(value > 0);
1140878b3c1SAri Sundholm     return 31 - clz32(value);
1150878b3c1SAri Sundholm }
1160878b3c1SAri Sundholm 
blk_log_writes_sector_size_valid(uint32_t sector_size)1170878b3c1SAri Sundholm static inline bool blk_log_writes_sector_size_valid(uint32_t sector_size)
1180878b3c1SAri Sundholm {
1190878b3c1SAri Sundholm     return is_power_of_2(sector_size) &&
1200878b3c1SAri Sundholm         sector_size >= sizeof(struct log_write_super) &&
1210878b3c1SAri Sundholm         sector_size >= sizeof(struct log_write_entry) &&
1220878b3c1SAri Sundholm         sector_size < (1ull << 24);
1230878b3c1SAri Sundholm }
1240878b3c1SAri Sundholm 
blk_log_writes_find_cur_log_sector(BdrvChild * log,uint32_t sector_size,uint64_t nr_entries,Error ** errp)1250878b3c1SAri Sundholm static uint64_t blk_log_writes_find_cur_log_sector(BdrvChild *log,
1260878b3c1SAri Sundholm                                                    uint32_t sector_size,
1270878b3c1SAri Sundholm                                                    uint64_t nr_entries,
1280878b3c1SAri Sundholm                                                    Error **errp)
1290878b3c1SAri Sundholm {
1300878b3c1SAri Sundholm     uint64_t cur_sector = 1;
1310878b3c1SAri Sundholm     uint64_t cur_idx = 0;
1320878b3c1SAri Sundholm     uint32_t sector_bits = blk_log_writes_log2(sector_size);
1330878b3c1SAri Sundholm     struct log_write_entry cur_entry;
1340878b3c1SAri Sundholm 
1350878b3c1SAri Sundholm     while (cur_idx < nr_entries) {
1360878b3c1SAri Sundholm         int read_ret = bdrv_pread(log, cur_sector << sector_bits,
1370878b3c1SAri Sundholm                                   sizeof(cur_entry), &cur_entry, 0);
1380878b3c1SAri Sundholm         if (read_ret < 0) {
1390878b3c1SAri Sundholm             error_setg_errno(errp, -read_ret,
1400878b3c1SAri Sundholm                              "Failed to read log entry %"PRIu64, cur_idx);
1410878b3c1SAri Sundholm             return (uint64_t)-1ull;
142bfcc224eSAapo Vienamo         }
143bfcc224eSAapo Vienamo 
144bfcc224eSAapo Vienamo         if (cur_entry.flags & ~cpu_to_le64(LOG_FLAG_MASK)) {
145bfcc224eSAapo Vienamo             error_setg(errp, "Invalid flags 0x%"PRIx64" in log entry %"PRIu64,
146bfcc224eSAapo Vienamo                        le64_to_cpu(cur_entry.flags), cur_idx);
147bfcc224eSAapo Vienamo             return (uint64_t)-1ull;
148bfcc224eSAapo Vienamo         }
1492dacaf7cSAri Sundholm 
1500878b3c1SAri Sundholm         /* Account for the sector of the entry itself */
151bfcc224eSAapo Vienamo         ++cur_sector;
152bfcc224eSAapo Vienamo 
153af175e85SMarkus Armbruster         /*
154bfcc224eSAapo Vienamo          * Account for the data of the write.
155bfcc224eSAapo Vienamo          * For discards, this data is not present.
156bfcc224eSAapo Vienamo          */
157bfcc224eSAapo Vienamo         if (!(cur_entry.flags & cpu_to_le64(LOG_DISCARD_FLAG))) {
158bfcc224eSAapo Vienamo             cur_sector += le64_to_cpu(cur_entry.nr_sectors);
15983930780SVladimir Sementsov-Ogievskiy         }
16083930780SVladimir Sementsov-Ogievskiy 
161bfcc224eSAapo Vienamo         ++cur_idx;
162bfcc224eSAapo Vienamo     }
163bfcc224eSAapo Vienamo 
164bfcc224eSAapo Vienamo     return cur_sector;
16558944401SMax Reitz }
166bc520249SVladimir Sementsov-Ogievskiy 
blk_log_writes_open(BlockDriverState * bs,QDict * options,int flags,Error ** errp)167bc520249SVladimir Sementsov-Ogievskiy static int blk_log_writes_open(BlockDriverState *bs, QDict *options, int flags,
168bfcc224eSAapo Vienamo                                Error **errp)
169bfcc224eSAapo Vienamo {
170bfcc224eSAapo Vienamo     BDRVBlkLogWritesState *s = bs->opaque;
171bfcc224eSAapo Vienamo     QemuOpts *opts;
1720878b3c1SAri Sundholm     Error *local_err = NULL;
1730878b3c1SAri Sundholm     int ret;
1740878b3c1SAri Sundholm     uint64_t log_sector_size;
1750878b3c1SAri Sundholm     bool log_append;
1760878b3c1SAri Sundholm 
1770878b3c1SAri Sundholm     opts = qemu_opts_create(&runtime_opts, NULL, 0, &error_abort);
1780878b3c1SAri Sundholm     if (!qemu_opts_absorb_qdict(opts, options, errp)) {
1790878b3c1SAri Sundholm         ret = -EINVAL;
1800878b3c1SAri Sundholm         goto fail;
1810878b3c1SAri Sundholm     }
1820878b3c1SAri Sundholm 
1830878b3c1SAri Sundholm     /* Open the file */
1840878b3c1SAri Sundholm     ret = bdrv_open_file_child(NULL, options, "file", bs, errp);
1850878b3c1SAri Sundholm     if (ret < 0) {
1860878b3c1SAri Sundholm         goto fail;
1870878b3c1SAri Sundholm     }
1880878b3c1SAri Sundholm 
1890878b3c1SAri Sundholm     /* Open the log file */
1900878b3c1SAri Sundholm     s->log_file = bdrv_open_child(NULL, options, "log", bs, &child_of_bds,
19132cc71deSAlberto Faria                                   BDRV_CHILD_METADATA, false, errp);
1920878b3c1SAri Sundholm     if (!s->log_file) {
1930878b3c1SAri Sundholm         ret = -EINVAL;
1940878b3c1SAri Sundholm         goto fail;
1950878b3c1SAri Sundholm     }
1960878b3c1SAri Sundholm 
1970878b3c1SAri Sundholm     qemu_mutex_init(&s->mutex);
1980878b3c1SAri Sundholm     qemu_co_queue_init(&s->super_update_queue);
1990878b3c1SAri Sundholm 
2000878b3c1SAri Sundholm     log_append = qemu_opt_get_bool(opts, "log-append", false);
2010878b3c1SAri Sundholm 
2020878b3c1SAri Sundholm     if (log_append) {
2030878b3c1SAri Sundholm         struct log_write_super log_sb = { 0, 0, 0, 0 };
2040878b3c1SAri Sundholm 
2050878b3c1SAri Sundholm         if (qemu_opt_find(opts, "log-sector-size")) {
2060878b3c1SAri Sundholm             ret = -EINVAL;
2070878b3c1SAri Sundholm             error_setg(errp, "log-append and log-sector-size are mutually "
2080878b3c1SAri Sundholm                        "exclusive");
2090878b3c1SAri Sundholm             goto fail_log;
2100878b3c1SAri Sundholm         }
2110878b3c1SAri Sundholm 
2120878b3c1SAri Sundholm         /* Read log superblock or fake one for an empty log */
2130878b3c1SAri Sundholm         if (!bdrv_getlength(s->log_file->bs)) {
2140878b3c1SAri Sundholm             log_sb.magic      = cpu_to_le64(WRITE_LOG_MAGIC);
2150878b3c1SAri Sundholm             log_sb.version    = cpu_to_le64(WRITE_LOG_VERSION);
2160878b3c1SAri Sundholm             log_sb.nr_entries = cpu_to_le64(0);
2170878b3c1SAri Sundholm             log_sb.sectorsize = cpu_to_le32(BDRV_SECTOR_SIZE);
2180878b3c1SAri Sundholm         } else {
2190878b3c1SAri Sundholm             ret = bdrv_pread(s->log_file, 0, sizeof(log_sb), &log_sb, 0);
2200878b3c1SAri Sundholm             if (ret < 0) {
2210878b3c1SAri Sundholm                 error_setg_errno(errp, -ret, "Could not read log superblock");
2220878b3c1SAri Sundholm                 goto fail_log;
2230878b3c1SAri Sundholm             }
2240878b3c1SAri Sundholm         }
2250878b3c1SAri Sundholm 
2260878b3c1SAri Sundholm         if (log_sb.magic != cpu_to_le64(WRITE_LOG_MAGIC)) {
2270878b3c1SAri Sundholm             ret = -EINVAL;
2280878b3c1SAri Sundholm             error_setg(errp, "Invalid log superblock magic");
2290878b3c1SAri Sundholm             goto fail_log;
2300878b3c1SAri Sundholm         }
2310878b3c1SAri Sundholm 
2320878b3c1SAri Sundholm         if (log_sb.version != cpu_to_le64(WRITE_LOG_VERSION)) {
2330878b3c1SAri Sundholm             ret = -EINVAL;
2340878b3c1SAri Sundholm             error_setg(errp, "Unsupported log version %"PRIu64,
2350878b3c1SAri Sundholm                        le64_to_cpu(log_sb.version));
2360878b3c1SAri Sundholm             goto fail_log;
2370878b3c1SAri Sundholm         }
2380878b3c1SAri Sundholm 
2390878b3c1SAri Sundholm         log_sector_size = le32_to_cpu(log_sb.sectorsize);
2400878b3c1SAri Sundholm         s->cur_log_sector = 1;
2410878b3c1SAri Sundholm         s->nr_entries = 0;
2421dce698eSAri Sundholm 
2431dce698eSAri Sundholm         if (blk_log_writes_sector_size_valid(log_sector_size)) {
2441dce698eSAri Sundholm             s->cur_log_sector =
2451dce698eSAri Sundholm                 blk_log_writes_find_cur_log_sector(s->log_file, log_sector_size,
2461dce698eSAri Sundholm                                     le64_to_cpu(log_sb.nr_entries), &local_err);
2471dce698eSAri Sundholm             if (local_err) {
2481dce698eSAri Sundholm                 ret = -EINVAL;
2491dce698eSAri Sundholm                 error_propagate(errp, local_err);
2500878b3c1SAri Sundholm                 goto fail_log;
251bfcc224eSAapo Vienamo             }
2520878b3c1SAri Sundholm 
2530878b3c1SAri Sundholm             s->nr_entries = le64_to_cpu(log_sb.nr_entries);
25432a8aba3SKevin Wolf         }
2550878b3c1SAri Sundholm     } else {
2566bc0bcc8SKevin Wolf         log_sector_size = qemu_opt_get_size(opts, "log-sector-size",
2570878b3c1SAri Sundholm                                             BDRV_SECTOR_SIZE);
2580878b3c1SAri Sundholm         s->cur_log_sector = 1;
259bfcc224eSAapo Vienamo         s->nr_entries = 0;
260bfcc224eSAapo Vienamo     }
261bfcc224eSAapo Vienamo 
262bfcc224eSAapo Vienamo     s->super_update_seq = 0;
263bfcc224eSAapo Vienamo 
264bfcc224eSAapo Vienamo     if (!blk_log_writes_sector_size_valid(log_sector_size)) {
265bfcc224eSAapo Vienamo         ret = -EINVAL;
266bfcc224eSAapo Vienamo         error_setg(errp, "Invalid log sector size %"PRIu64, log_sector_size);
267bfcc224eSAapo Vienamo         goto fail_log;
26832a8aba3SKevin Wolf     }
269bfcc224eSAapo Vienamo 
270bfcc224eSAapo Vienamo     s->sectorsize = log_sector_size;
2716bc0bcc8SKevin Wolf     s->sectorbits = blk_log_writes_log2(log_sector_size);
272bfcc224eSAapo Vienamo     s->update_interval = qemu_opt_get_number(opts, "log-super-update-interval",
273bfcc224eSAapo Vienamo                                              4096);
2748ab8140aSKevin Wolf     if (!s->update_interval) {
2758ab8140aSKevin Wolf         ret = -EINVAL;
276bfcc224eSAapo Vienamo         error_setg(errp, "Invalid log superblock update interval %"PRIu64,
277c86422c5SEmanuele Giuseppe Esposito                    s->update_interval);
278bfcc224eSAapo Vienamo         goto fail_log;
279bfcc224eSAapo Vienamo     }
280bfcc224eSAapo Vienamo 
281bf8e925eSMax Reitz     ret = 0;
282bfcc224eSAapo Vienamo fail_log:
283bfcc224eSAapo Vienamo     if (ret < 0) {
284bfcc224eSAapo Vienamo         bdrv_graph_wrlock();
285bfcc224eSAapo Vienamo         bdrv_unref_child(bs, s->log_file);
286bfcc224eSAapo Vienamo         bdrv_graph_wrunlock();
287bfcc224eSAapo Vienamo         s->log_file = NULL;
288bfcc224eSAapo Vienamo         qemu_mutex_destroy(&s->mutex);
289bfcc224eSAapo Vienamo     }
290bfcc224eSAapo Vienamo fail:
291bfcc224eSAapo Vienamo     qemu_opts_del(opts);
292e5d8a406SMax Reitz     return ret;
293bf8e925eSMax Reitz }
294bfcc224eSAapo Vienamo 
blk_log_writes_close(BlockDriverState * bs)295bfcc224eSAapo Vienamo static void blk_log_writes_close(BlockDriverState *bs)
296bfcc224eSAapo Vienamo {
297bfcc224eSAapo Vienamo     BDRVBlkLogWritesState *s = bs->opaque;
298bfcc224eSAapo Vienamo 
299bfcc224eSAapo Vienamo     bdrv_graph_wrlock();
300bfcc224eSAapo Vienamo     bdrv_unref_child(bs, s->log_file);
301bfcc224eSAapo Vienamo     s->log_file = NULL;
302b9b10c35SKevin Wolf     bdrv_graph_wrunlock();
303f7ef38ddSVladimir Sementsov-Ogievskiy     qemu_mutex_destroy(&s->mutex);
304f7ef38ddSVladimir Sementsov-Ogievskiy }
305bfcc224eSAapo Vienamo 
306bfcc224eSAapo Vienamo static int64_t coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_getlength(BlockDriverState * bs)307bfcc224eSAapo Vienamo blk_log_writes_co_getlength(BlockDriverState *bs)
308bfcc224eSAapo Vienamo {
309bfcc224eSAapo Vienamo     return bdrv_co_getlength(bs->file->bs);
310bfcc224eSAapo Vienamo }
311bfcc224eSAapo Vienamo 
blk_log_writes_child_perm(BlockDriverState * bs,BdrvChild * c,BdrvChildRole role,BlockReopenQueue * ro_q,uint64_t perm,uint64_t shrd,uint64_t * nperm,uint64_t * nshrd)312bfcc224eSAapo Vienamo static void blk_log_writes_child_perm(BlockDriverState *bs, BdrvChild *c,
313bfcc224eSAapo Vienamo                                       BdrvChildRole role,
314bfcc224eSAapo Vienamo                                       BlockReopenQueue *ro_q,
31588095349SEmanuele Giuseppe Esposito                                       uint64_t perm, uint64_t shrd,
316bfcc224eSAapo Vienamo                                       uint64_t *nperm, uint64_t *nshrd)
317bfcc224eSAapo Vienamo {
318bfcc224eSAapo Vienamo     if (!c) {
319bfcc224eSAapo Vienamo         *nperm = perm & DEFAULT_PERM_PASSTHROUGH;
320bfcc224eSAapo Vienamo         *nshrd = (shrd & DEFAULT_PERM_PASSTHROUGH) | DEFAULT_PERM_UNCHANGED;
321bfcc224eSAapo Vienamo         return;
322bfcc224eSAapo Vienamo     }
323bfcc224eSAapo Vienamo 
324bfcc224eSAapo Vienamo     bdrv_default_perms(bs, c, role, ro_q, perm, shrd,
325bfcc224eSAapo Vienamo                        nperm, nshrd);
326bfcc224eSAapo Vienamo }
32788095349SEmanuele Giuseppe Esposito 
blk_log_writes_refresh_limits(BlockDriverState * bs,Error ** errp)32888095349SEmanuele Giuseppe Esposito static void blk_log_writes_refresh_limits(BlockDriverState *bs, Error **errp)
329bfcc224eSAapo Vienamo {
330bfcc224eSAapo Vienamo     const BDRVBlkLogWritesState *s = bs->opaque;
331*cf709665SAri Sundholm     bs->bl.request_alignment = s->sectorsize;
332*cf709665SAri Sundholm }
333*cf709665SAri Sundholm 
334*cf709665SAri Sundholm static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_preadv(BlockDriverState * bs,int64_t offset,int64_t bytes,QEMUIOVector * qiov,BdrvRequestFlags flags)335*cf709665SAri Sundholm blk_log_writes_co_preadv(BlockDriverState *bs, int64_t offset, int64_t bytes,
336*cf709665SAri Sundholm                          QEMUIOVector *qiov, BdrvRequestFlags flags)
337*cf709665SAri Sundholm {
338*cf709665SAri Sundholm     return bdrv_co_preadv(bs->file, offset, bytes, qiov, flags);
339*cf709665SAri Sundholm }
340*cf709665SAri Sundholm 
341*cf709665SAri Sundholm typedef struct BlkLogWritesFileReq {
342*cf709665SAri Sundholm     BlockDriverState *bs;
343*cf709665SAri Sundholm     uint64_t offset;
344*cf709665SAri Sundholm     uint64_t bytes;
345*cf709665SAri Sundholm     int file_flags;
346*cf709665SAri Sundholm     QEMUIOVector *qiov;
347bfcc224eSAapo Vienamo     int GRAPH_RDLOCK_PTR (*func)(struct BlkLogWritesFileReq *r);
348bfcc224eSAapo Vienamo     int file_ret;
349*cf709665SAri Sundholm } BlkLogWritesFileReq;
350bfcc224eSAapo Vienamo 
351*cf709665SAri Sundholm typedef struct {
352*cf709665SAri Sundholm     BlockDriverState *bs;
353*cf709665SAri Sundholm     QEMUIOVector *qiov;
354*cf709665SAri Sundholm     struct log_write_entry entry;
355*cf709665SAri Sundholm     uint64_t zero_size;
356*cf709665SAri Sundholm     int log_ret;
357bfcc224eSAapo Vienamo } BlkLogWritesLogReq;
358bfcc224eSAapo Vienamo 
359bfcc224eSAapo Vienamo static void coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_do_log(BlkLogWritesLogReq * lr)360bfcc224eSAapo Vienamo blk_log_writes_co_do_log(BlkLogWritesLogReq *lr)
361*cf709665SAri Sundholm {
362bfcc224eSAapo Vienamo     BDRVBlkLogWritesState *s = lr->bs->opaque;
363*cf709665SAri Sundholm 
364bfcc224eSAapo Vienamo     /*
365bfcc224eSAapo Vienamo      * Determine the offsets and sizes of different parts of the entry, and
366bfcc224eSAapo Vienamo      * update the state of the driver.
3671dce698eSAri Sundholm      *
3681dce698eSAri Sundholm      * This needs to be done in one go, before any actual I/O is done, as the
3691dce698eSAri Sundholm      * log entry may have to be written in two parts, and the state of the
3701dce698eSAri Sundholm      * driver may be modified by other driver operations while waiting for the
371bfcc224eSAapo Vienamo      * I/O to complete.
372bfcc224eSAapo Vienamo      */
373bfcc224eSAapo Vienamo     qemu_mutex_lock(&s->mutex);
374bfcc224eSAapo Vienamo     const uint64_t entry_start_sector = s->cur_log_sector;
375bfcc224eSAapo Vienamo     const uint64_t entry_offset = entry_start_sector << s->sectorbits;
376bfcc224eSAapo Vienamo     const uint64_t qiov_aligned_size = ROUND_UP(lr->qiov->size, s->sectorsize);
377bfcc224eSAapo Vienamo     const uint64_t entry_aligned_size = qiov_aligned_size +
378bfcc224eSAapo Vienamo         ROUND_UP(lr->zero_size, s->sectorsize);
379bfcc224eSAapo Vienamo     const uint64_t entry_nr_sectors = entry_aligned_size >> s->sectorbits;
380bfcc224eSAapo Vienamo     const uint64_t entry_seq = s->nr_entries + 1;
381bfcc224eSAapo Vienamo 
382bfcc224eSAapo Vienamo     s->nr_entries = entry_seq;
383bfcc224eSAapo Vienamo     s->cur_log_sector += entry_nr_sectors;
384bfcc224eSAapo Vienamo     qemu_mutex_unlock(&s->mutex);
385bfcc224eSAapo Vienamo 
386bfcc224eSAapo Vienamo     /*
387bfcc224eSAapo Vienamo      * Write the log entry. Note that if this is a "write zeroes" operation,
388bfcc224eSAapo Vienamo      * only the entry header is written here, with the zeroing being done
389bfcc224eSAapo Vienamo      * separately below.
390bfcc224eSAapo Vienamo      */
391bfcc224eSAapo Vienamo     lr->log_ret = bdrv_co_pwritev(s->log_file, entry_offset, lr->qiov->size,
392bfcc224eSAapo Vienamo                                   lr->qiov, 0);
393bfcc224eSAapo Vienamo 
39488095349SEmanuele Giuseppe Esposito     /* Logging for the "write zeroes" operation */
39588095349SEmanuele Giuseppe Esposito     if (lr->log_ret == 0 && lr->zero_size) {
396bfcc224eSAapo Vienamo         const uint64_t zeroes_offset = entry_offset + qiov_aligned_size;
397bfcc224eSAapo Vienamo 
398bfcc224eSAapo Vienamo         lr->log_ret = bdrv_co_pwrite_zeroes(s->log_file, zeroes_offset,
399bfcc224eSAapo Vienamo                                             lr->zero_size, 0);
40088095349SEmanuele Giuseppe Esposito     }
401bfcc224eSAapo Vienamo 
402bfcc224eSAapo Vienamo     /* Update super block on flush or every update interval */
40388095349SEmanuele Giuseppe Esposito     if (lr->log_ret == 0 && ((lr->entry.flags & LOG_FLUSH_FLAG)
404bfcc224eSAapo Vienamo         || (entry_seq % s->update_interval == 0)))
405bfcc224eSAapo Vienamo     {
406bfcc224eSAapo Vienamo         struct log_write_super super = {
407bfcc224eSAapo Vienamo             .magic      = cpu_to_le64(WRITE_LOG_MAGIC),
408bfcc224eSAapo Vienamo             .version    = cpu_to_le64(WRITE_LOG_VERSION),
409bfcc224eSAapo Vienamo             .nr_entries = 0, /* updated below */
410bfcc224eSAapo Vienamo             .sectorsize = cpu_to_le32(s->sectorsize),
411bfcc224eSAapo Vienamo         };
412bfcc224eSAapo Vienamo         void *zeroes;
413bfcc224eSAapo Vienamo         QEMUIOVector qiov;
414bfcc224eSAapo Vienamo 
415bfcc224eSAapo Vienamo         /*
416bfcc224eSAapo Vienamo          * Wait if a super block update is already in progress.
417bfcc224eSAapo Vienamo          * Bail out if a newer update got its turn before us.
418bfcc224eSAapo Vienamo          */
419bfcc224eSAapo Vienamo         WITH_QEMU_LOCK_GUARD(&s->mutex) {
420bfcc224eSAapo Vienamo             CoQueueWaitFlags wait_flags = 0;
421bfcc224eSAapo Vienamo             while (s->super_update_seq) {
422bfcc224eSAapo Vienamo                 if (entry_seq < s->super_update_seq) {
423bfcc224eSAapo Vienamo                     return;
424bfcc224eSAapo Vienamo                 }
425bfcc224eSAapo Vienamo                 qemu_co_queue_wait_flags(&s->super_update_queue,
426bfcc224eSAapo Vienamo                     &s->mutex, wait_flags);
427bfcc224eSAapo Vienamo 
428bfcc224eSAapo Vienamo                 /*
429bfcc224eSAapo Vienamo                  * In case the wait condition remains true after wakeup,
430bfcc224eSAapo Vienamo                  * to avoid starvation, make sure that this request is
431bfcc224eSAapo Vienamo                  * scheduled to rerun next by pushing it to the front of the
432bfcc224eSAapo Vienamo                  * queue.
433bfcc224eSAapo Vienamo                  */
434bfcc224eSAapo Vienamo                 wait_flags = CO_QUEUE_WAIT_FRONT;
435bfcc224eSAapo Vienamo             }
436bfcc224eSAapo Vienamo             s->super_update_seq = entry_seq;
437bfcc224eSAapo Vienamo             super.nr_entries = cpu_to_le64(s->nr_entries);
438bfcc224eSAapo Vienamo         }
439bfcc224eSAapo Vienamo 
440bfcc224eSAapo Vienamo         zeroes = g_malloc0(s->sectorsize - sizeof(super));
441bfcc224eSAapo Vienamo 
442bfcc224eSAapo Vienamo         qemu_iovec_init(&qiov, 2);
443bfcc224eSAapo Vienamo         qemu_iovec_add(&qiov, &super, sizeof(super));
444bfcc224eSAapo Vienamo         qemu_iovec_add(&qiov, zeroes, s->sectorsize - sizeof(super));
445bfcc224eSAapo Vienamo 
446bfcc224eSAapo Vienamo         lr->log_ret =
447bfcc224eSAapo Vienamo             bdrv_co_pwritev(s->log_file, 0, s->sectorsize, &qiov, 0);
448bfcc224eSAapo Vienamo         if (lr->log_ret == 0) {
449bfcc224eSAapo Vienamo             lr->log_ret = bdrv_co_flush(s->log_file->bs);
450bfcc224eSAapo Vienamo         }
451bfcc224eSAapo Vienamo 
452bfcc224eSAapo Vienamo         /* The super block has been updated. Let another request have a go. */
453bfcc224eSAapo Vienamo         qemu_mutex_lock(&s->mutex);
454bfcc224eSAapo Vienamo         s->super_update_seq = 0;
455b9b10c35SKevin Wolf         (void) qemu_co_queue_next(&s->super_update_queue);
456bfcc224eSAapo Vienamo         qemu_mutex_unlock(&s->mutex);
457bfcc224eSAapo Vienamo 
458bfcc224eSAapo Vienamo         qemu_iovec_destroy(&qiov);
459bfcc224eSAapo Vienamo         g_free(zeroes);
460bfcc224eSAapo Vienamo     }
461bfcc224eSAapo Vienamo }
462abaf8b75SKevin Wolf 
463bfcc224eSAapo Vienamo static void coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_do_file(BlkLogWritesFileReq * fr)464bfcc224eSAapo Vienamo blk_log_writes_co_do_file(BlkLogWritesFileReq *fr)
465bfcc224eSAapo Vienamo {
466bfcc224eSAapo Vienamo     fr->file_ret = fr->func(fr);
467bfcc224eSAapo Vienamo }
468bfcc224eSAapo Vienamo 
46988095349SEmanuele Giuseppe Esposito static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_log(BlockDriverState * bs,uint64_t offset,uint64_t bytes,QEMUIOVector * qiov,int flags,int (* file_func)(BlkLogWritesFileReq * r),uint64_t entry_flags,bool is_zero_write)47088095349SEmanuele Giuseppe Esposito blk_log_writes_co_log(BlockDriverState *bs, uint64_t offset, uint64_t bytes,
471bfcc224eSAapo Vienamo                       QEMUIOVector *qiov, int flags,
472bfcc224eSAapo Vienamo                       int /*GRAPH_RDLOCK*/ (*file_func)(BlkLogWritesFileReq *r),
473bfcc224eSAapo Vienamo                       uint64_t entry_flags, bool is_zero_write)
474bfcc224eSAapo Vienamo {
4759a5a1c62SEmanuele Giuseppe Esposito     QEMUIOVector log_qiov;
476bfcc224eSAapo Vienamo     size_t niov = qiov ? qiov->niov : 0;
477bfcc224eSAapo Vienamo     const BDRVBlkLogWritesState *s = bs->opaque;
4780b9fd3f4SFam Zheng     BlkLogWritesFileReq fr = {
479bfcc224eSAapo Vienamo         .bs         = bs,
480bfcc224eSAapo Vienamo         .offset     = offset,
481b9b10c35SKevin Wolf         .bytes      = bytes,
482e75abedaSVladimir Sementsov-Ogievskiy         .file_flags = flags,
483e75abedaSVladimir Sementsov-Ogievskiy         .qiov       = qiov,
484bfcc224eSAapo Vienamo         .func       = file_func,
485bfcc224eSAapo Vienamo     };
486bfcc224eSAapo Vienamo     BlkLogWritesLogReq lr = {
487bfcc224eSAapo Vienamo         .bs             = bs,
488bfcc224eSAapo Vienamo         .qiov           = &log_qiov,
489abaf8b75SKevin Wolf         .entry = {
490f34b2bcfSVladimir Sementsov-Ogievskiy             .sector     = cpu_to_le64(offset >> s->sectorbits),
491f34b2bcfSVladimir Sementsov-Ogievskiy             .nr_sectors = cpu_to_le64(bytes >> s->sectorbits),
492bfcc224eSAapo Vienamo             .flags      = cpu_to_le64(entry_flags),
493bfcc224eSAapo Vienamo             .data_len   = 0,
494bfcc224eSAapo Vienamo         },
495bfcc224eSAapo Vienamo         .zero_size = is_zero_write ? bytes : 0,
496bfcc224eSAapo Vienamo     };
497bfcc224eSAapo Vienamo     void *zeroes = g_malloc0(s->sectorsize - sizeof(lr.entry));
49888095349SEmanuele Giuseppe Esposito 
49988095349SEmanuele Giuseppe Esposito     assert((1 << s->sectorbits) == s->sectorsize);
500bfcc224eSAapo Vienamo     assert(bs->bl.request_alignment == s->sectorsize);
501bfcc224eSAapo Vienamo     assert(QEMU_IS_ALIGNED(offset, bs->bl.request_alignment));
502bfcc224eSAapo Vienamo     assert(QEMU_IS_ALIGNED(bytes, bs->bl.request_alignment));
503bfcc224eSAapo Vienamo 
504bfcc224eSAapo Vienamo     qemu_iovec_init(&log_qiov, niov + 2);
505bfcc224eSAapo Vienamo     qemu_iovec_add(&log_qiov, &lr.entry, sizeof(lr.entry));
5069a5a1c62SEmanuele Giuseppe Esposito     qemu_iovec_add(&log_qiov, zeroes, s->sectorsize - sizeof(lr.entry));
5070c802287SVladimir Sementsov-Ogievskiy     if (qiov) {
508bfcc224eSAapo Vienamo         qemu_iovec_concat(&log_qiov, qiov, 0, qiov->size);
5090c802287SVladimir Sementsov-Ogievskiy     }
510bfcc224eSAapo Vienamo 
511bfcc224eSAapo Vienamo     blk_log_writes_co_do_file(&fr);
512bfcc224eSAapo Vienamo     blk_log_writes_co_do_log(&lr);
513bfcc224eSAapo Vienamo 
5142654267cSMax Reitz     qemu_iovec_destroy(&log_qiov);
5152654267cSMax Reitz     g_free(zeroes);
5162654267cSMax Reitz 
5172654267cSMax Reitz     if (lr.log_ret < 0) {
5182654267cSMax Reitz         return lr.log_ret;
5192654267cSMax Reitz     }
5202654267cSMax Reitz 
521bfcc224eSAapo Vienamo     return fr.file_ret;
522bfcc224eSAapo Vienamo }
523bfcc224eSAapo Vienamo 
524bfcc224eSAapo Vienamo static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_do_file_pwritev(BlkLogWritesFileReq * fr)525bfcc224eSAapo Vienamo blk_log_writes_co_do_file_pwritev(BlkLogWritesFileReq *fr)
526bfcc224eSAapo Vienamo {
527c86422c5SEmanuele Giuseppe Esposito     return bdrv_co_pwritev(fr->bs->file, fr->offset, fr->bytes,
528bfcc224eSAapo Vienamo                            fr->qiov, fr->file_flags);
529bfcc224eSAapo Vienamo }
530bfcc224eSAapo Vienamo 
531bfcc224eSAapo Vienamo static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_do_file_pwrite_zeroes(BlkLogWritesFileReq * fr)532bfcc224eSAapo Vienamo blk_log_writes_co_do_file_pwrite_zeroes(BlkLogWritesFileReq *fr)
533bfcc224eSAapo Vienamo {
534bfcc224eSAapo Vienamo     return bdrv_co_pwrite_zeroes(fr->bs->file, fr->offset, fr->bytes,
535bfcc224eSAapo Vienamo                                  fr->file_flags);
536bfcc224eSAapo Vienamo }
537bfcc224eSAapo Vienamo 
5382654267cSMax Reitz static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_do_file_flush(BlkLogWritesFileReq * fr)539bfcc224eSAapo Vienamo blk_log_writes_co_do_file_flush(BlkLogWritesFileReq *fr)
540bfcc224eSAapo Vienamo {
541bfcc224eSAapo Vienamo     return bdrv_co_flush(fr->bs->file->bs);
542bfcc224eSAapo Vienamo }
543bfcc224eSAapo Vienamo 
544bfcc224eSAapo Vienamo static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_do_file_pdiscard(BlkLogWritesFileReq * fr)545bfcc224eSAapo Vienamo blk_log_writes_co_do_file_pdiscard(BlkLogWritesFileReq *fr)
546bfcc224eSAapo Vienamo {
547     return bdrv_co_pdiscard(fr->bs->file, fr->offset, fr->bytes);
548 }
549 
550 static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_pwritev(BlockDriverState * bs,int64_t offset,int64_t bytes,QEMUIOVector * qiov,BdrvRequestFlags flags)551 blk_log_writes_co_pwritev(BlockDriverState *bs, int64_t offset, int64_t bytes,
552                           QEMUIOVector *qiov, BdrvRequestFlags flags)
553 {
554     return blk_log_writes_co_log(bs, offset, bytes, qiov, flags,
555                                  blk_log_writes_co_do_file_pwritev, 0, false);
556 }
557 
558 static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_pwrite_zeroes(BlockDriverState * bs,int64_t offset,int64_t bytes,BdrvRequestFlags flags)559 blk_log_writes_co_pwrite_zeroes(BlockDriverState *bs, int64_t offset,
560                                 int64_t bytes, BdrvRequestFlags flags)
561 {
562     return blk_log_writes_co_log(bs, offset, bytes, NULL, flags,
563                                  blk_log_writes_co_do_file_pwrite_zeroes, 0,
564                                  true);
565 }
566 
567 static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_flush_to_disk(BlockDriverState * bs)568 blk_log_writes_co_flush_to_disk(BlockDriverState *bs)
569 {
570     return blk_log_writes_co_log(bs, 0, 0, NULL, 0,
571                                  blk_log_writes_co_do_file_flush,
572                                  LOG_FLUSH_FLAG, false);
573 }
574 
575 static int coroutine_fn GRAPH_RDLOCK
blk_log_writes_co_pdiscard(BlockDriverState * bs,int64_t offset,int64_t bytes)576 blk_log_writes_co_pdiscard(BlockDriverState *bs, int64_t offset, int64_t bytes)
577 {
578     return blk_log_writes_co_log(bs, offset, bytes, NULL, 0,
579                                  blk_log_writes_co_do_file_pdiscard,
580                                  LOG_DISCARD_FLAG, false);
581 }
582 
583 static const char *const blk_log_writes_strong_runtime_opts[] = {
584     "log-append",
585     "log-sector-size",
586 
587     NULL
588 };
589 
590 static BlockDriver bdrv_blk_log_writes = {
591     .format_name            = "blklogwrites",
592     .instance_size          = sizeof(BDRVBlkLogWritesState),
593 
594     .bdrv_open              = blk_log_writes_open,
595     .bdrv_close             = blk_log_writes_close,
596     .bdrv_co_getlength      = blk_log_writes_co_getlength,
597     .bdrv_child_perm        = blk_log_writes_child_perm,
598     .bdrv_refresh_limits    = blk_log_writes_refresh_limits,
599 
600     .bdrv_co_preadv         = blk_log_writes_co_preadv,
601     .bdrv_co_pwritev        = blk_log_writes_co_pwritev,
602     .bdrv_co_pwrite_zeroes  = blk_log_writes_co_pwrite_zeroes,
603     .bdrv_co_flush_to_disk  = blk_log_writes_co_flush_to_disk,
604     .bdrv_co_pdiscard       = blk_log_writes_co_pdiscard,
605 
606     .is_filter              = true,
607     .strong_runtime_opts    = blk_log_writes_strong_runtime_opts,
608 };
609 
bdrv_blk_log_writes_init(void)610 static void bdrv_blk_log_writes_init(void)
611 {
612     bdrv_register(&bdrv_blk_log_writes);
613 }
614 
615 block_init(bdrv_blk_log_writes_init);
616