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