xref: /openbmc/qemu/block/qed.c (revision a9262f551eba44d4d0f9e396d7124c059a93e204)
175411d23SStefan Hajnoczi /*
275411d23SStefan Hajnoczi  * QEMU Enhanced Disk Format
375411d23SStefan Hajnoczi  *
475411d23SStefan Hajnoczi  * Copyright IBM, Corp. 2010
575411d23SStefan Hajnoczi  *
675411d23SStefan Hajnoczi  * Authors:
775411d23SStefan Hajnoczi  *  Stefan Hajnoczi   <stefanha@linux.vnet.ibm.com>
875411d23SStefan Hajnoczi  *  Anthony Liguori   <aliguori@us.ibm.com>
975411d23SStefan Hajnoczi  *
1075411d23SStefan Hajnoczi  * This work is licensed under the terms of the GNU LGPL, version 2 or later.
1175411d23SStefan Hajnoczi  * See the COPYING.LIB file in the top-level directory.
1275411d23SStefan Hajnoczi  *
1375411d23SStefan Hajnoczi  */
1475411d23SStefan Hajnoczi 
1580c71a24SPeter Maydell #include "qemu/osdep.h"
16609f45eaSMax Reitz #include "block/qdict.h"
17da34e65cSMarkus Armbruster #include "qapi/error.h"
181de7afc9SPaolo Bonzini #include "qemu/timer.h"
1958369e22SPaolo Bonzini #include "qemu/bswap.h"
20db725815SMarkus Armbruster #include "qemu/main-loop.h"
210b8fa32fSMarkus Armbruster #include "qemu/module.h"
22922a01a0SMarkus Armbruster #include "qemu/option.h"
235df022cfSPeter Maydell #include "qemu/memalign.h"
24eabba580SStefan Hajnoczi #include "trace.h"
2575411d23SStefan Hajnoczi #include "qed.h"
268a56fdadSKevin Wolf #include "sysemu/block-backend.h"
27959355a4SKevin Wolf #include "qapi/qmp/qdict.h"
28959355a4SKevin Wolf #include "qapi/qobject-input-visitor.h"
29959355a4SKevin Wolf #include "qapi/qapi-visit-block-core.h"
30959355a4SKevin Wolf 
31959355a4SKevin Wolf static QemuOptsList qed_create_opts;
3275411d23SStefan Hajnoczi 
3375411d23SStefan Hajnoczi static int bdrv_qed_probe(const uint8_t *buf, int buf_size,
3475411d23SStefan Hajnoczi                           const char *filename)
3575411d23SStefan Hajnoczi {
3675411d23SStefan Hajnoczi     const QEDHeader *header = (const QEDHeader *)buf;
3775411d23SStefan Hajnoczi 
3875411d23SStefan Hajnoczi     if (buf_size < sizeof(*header)) {
3975411d23SStefan Hajnoczi         return 0;
4075411d23SStefan Hajnoczi     }
4175411d23SStefan Hajnoczi     if (le32_to_cpu(header->magic) != QED_MAGIC) {
4275411d23SStefan Hajnoczi         return 0;
4375411d23SStefan Hajnoczi     }
4475411d23SStefan Hajnoczi     return 100;
4575411d23SStefan Hajnoczi }
4675411d23SStefan Hajnoczi 
4775411d23SStefan Hajnoczi /**
4875411d23SStefan Hajnoczi  * Check whether an image format is raw
4975411d23SStefan Hajnoczi  *
5075411d23SStefan Hajnoczi  * @fmt:    Backing file format, may be NULL
5175411d23SStefan Hajnoczi  */
5275411d23SStefan Hajnoczi static bool qed_fmt_is_raw(const char *fmt)
5375411d23SStefan Hajnoczi {
5475411d23SStefan Hajnoczi     return fmt && strcmp(fmt, "raw") == 0;
5575411d23SStefan Hajnoczi }
5675411d23SStefan Hajnoczi 
5775411d23SStefan Hajnoczi static void qed_header_le_to_cpu(const QEDHeader *le, QEDHeader *cpu)
5875411d23SStefan Hajnoczi {
5975411d23SStefan Hajnoczi     cpu->magic = le32_to_cpu(le->magic);
6075411d23SStefan Hajnoczi     cpu->cluster_size = le32_to_cpu(le->cluster_size);
6175411d23SStefan Hajnoczi     cpu->table_size = le32_to_cpu(le->table_size);
6275411d23SStefan Hajnoczi     cpu->header_size = le32_to_cpu(le->header_size);
6375411d23SStefan Hajnoczi     cpu->features = le64_to_cpu(le->features);
6475411d23SStefan Hajnoczi     cpu->compat_features = le64_to_cpu(le->compat_features);
6575411d23SStefan Hajnoczi     cpu->autoclear_features = le64_to_cpu(le->autoclear_features);
6675411d23SStefan Hajnoczi     cpu->l1_table_offset = le64_to_cpu(le->l1_table_offset);
6775411d23SStefan Hajnoczi     cpu->image_size = le64_to_cpu(le->image_size);
6875411d23SStefan Hajnoczi     cpu->backing_filename_offset = le32_to_cpu(le->backing_filename_offset);
6975411d23SStefan Hajnoczi     cpu->backing_filename_size = le32_to_cpu(le->backing_filename_size);
7075411d23SStefan Hajnoczi }
7175411d23SStefan Hajnoczi 
7275411d23SStefan Hajnoczi static void qed_header_cpu_to_le(const QEDHeader *cpu, QEDHeader *le)
7375411d23SStefan Hajnoczi {
7475411d23SStefan Hajnoczi     le->magic = cpu_to_le32(cpu->magic);
7575411d23SStefan Hajnoczi     le->cluster_size = cpu_to_le32(cpu->cluster_size);
7675411d23SStefan Hajnoczi     le->table_size = cpu_to_le32(cpu->table_size);
7775411d23SStefan Hajnoczi     le->header_size = cpu_to_le32(cpu->header_size);
7875411d23SStefan Hajnoczi     le->features = cpu_to_le64(cpu->features);
7975411d23SStefan Hajnoczi     le->compat_features = cpu_to_le64(cpu->compat_features);
8075411d23SStefan Hajnoczi     le->autoclear_features = cpu_to_le64(cpu->autoclear_features);
8175411d23SStefan Hajnoczi     le->l1_table_offset = cpu_to_le64(cpu->l1_table_offset);
8275411d23SStefan Hajnoczi     le->image_size = cpu_to_le64(cpu->image_size);
8375411d23SStefan Hajnoczi     le->backing_filename_offset = cpu_to_le32(cpu->backing_filename_offset);
8475411d23SStefan Hajnoczi     le->backing_filename_size = cpu_to_le32(cpu->backing_filename_size);
8575411d23SStefan Hajnoczi }
8675411d23SStefan Hajnoczi 
87b10170acSStefan Hajnoczi int qed_write_header_sync(BDRVQEDState *s)
8875411d23SStefan Hajnoczi {
8975411d23SStefan Hajnoczi     QEDHeader le;
9075411d23SStefan Hajnoczi 
9175411d23SStefan Hajnoczi     qed_header_cpu_to_le(&s->header, &le);
92353a5d84SAlberto Faria     return bdrv_pwrite(s->bs->file, 0, sizeof(le), &le, 0);
9375411d23SStefan Hajnoczi }
9475411d23SStefan Hajnoczi 
9501979a98SStefan Hajnoczi /**
9601979a98SStefan Hajnoczi  * Update header in-place (does not rewrite backing filename or other strings)
9701979a98SStefan Hajnoczi  *
9801979a98SStefan Hajnoczi  * This function only updates known header fields in-place and does not affect
9901979a98SStefan Hajnoczi  * extra data after the QED header.
1001f01e50bSPaolo Bonzini  *
1011f01e50bSPaolo Bonzini  * No new allocating reqs can start while this function runs.
10201979a98SStefan Hajnoczi  */
10387f0d882SKevin Wolf static int coroutine_fn qed_write_header(BDRVQEDState *s)
10401979a98SStefan Hajnoczi {
10501979a98SStefan Hajnoczi     /* We must write full sectors for O_DIRECT but cannot necessarily generate
10601979a98SStefan Hajnoczi      * the data following the header if an unrecognized compat feature is
10701979a98SStefan Hajnoczi      * active.  Therefore, first read the sectors containing the header, update
10801979a98SStefan Hajnoczi      * them, and write back.
10901979a98SStefan Hajnoczi      */
11001979a98SStefan Hajnoczi 
111c41a73ffSLaurent Vivier     int nsectors = DIV_ROUND_UP(sizeof(QEDHeader), BDRV_SECTOR_SIZE);
11201979a98SStefan Hajnoczi     size_t len = nsectors * BDRV_SECTOR_SIZE;
1137076309aSKevin Wolf     uint8_t *buf;
1147076309aSKevin Wolf     int ret;
11501979a98SStefan Hajnoczi 
1161f01e50bSPaolo Bonzini     assert(s->allocating_acb || s->allocating_write_reqs_plugged);
1171f01e50bSPaolo Bonzini 
1187076309aSKevin Wolf     buf = qemu_blockalign(s->bs, len);
11901979a98SStefan Hajnoczi 
120696e8cb2SVladimir Sementsov-Ogievskiy     ret = bdrv_co_pread(s->bs->file, 0, len, buf, 0);
1217076309aSKevin Wolf     if (ret < 0) {
1227076309aSKevin Wolf         goto out;
1237076309aSKevin Wolf     }
1247076309aSKevin Wolf 
1257076309aSKevin Wolf     /* Update header */
1267076309aSKevin Wolf     qed_header_cpu_to_le(&s->header, (QEDHeader *) buf);
1277076309aSKevin Wolf 
128696e8cb2SVladimir Sementsov-Ogievskiy     ret = bdrv_co_pwrite(s->bs->file, 0, len,  buf, 0);
1297076309aSKevin Wolf     if (ret < 0) {
1307076309aSKevin Wolf         goto out;
1317076309aSKevin Wolf     }
1327076309aSKevin Wolf 
1337076309aSKevin Wolf     ret = 0;
1347076309aSKevin Wolf out:
1357076309aSKevin Wolf     qemu_vfree(buf);
136f13d712bSKevin Wolf     return ret;
13701979a98SStefan Hajnoczi }
13801979a98SStefan Hajnoczi 
13975411d23SStefan Hajnoczi static uint64_t qed_max_image_size(uint32_t cluster_size, uint32_t table_size)
14075411d23SStefan Hajnoczi {
14175411d23SStefan Hajnoczi     uint64_t table_entries;
14275411d23SStefan Hajnoczi     uint64_t l2_size;
14375411d23SStefan Hajnoczi 
14475411d23SStefan Hajnoczi     table_entries = (table_size * cluster_size) / sizeof(uint64_t);
14575411d23SStefan Hajnoczi     l2_size = table_entries * cluster_size;
14675411d23SStefan Hajnoczi 
14775411d23SStefan Hajnoczi     return l2_size * table_entries;
14875411d23SStefan Hajnoczi }
14975411d23SStefan Hajnoczi 
15075411d23SStefan Hajnoczi static bool qed_is_cluster_size_valid(uint32_t cluster_size)
15175411d23SStefan Hajnoczi {
15275411d23SStefan Hajnoczi     if (cluster_size < QED_MIN_CLUSTER_SIZE ||
15375411d23SStefan Hajnoczi         cluster_size > QED_MAX_CLUSTER_SIZE) {
15475411d23SStefan Hajnoczi         return false;
15575411d23SStefan Hajnoczi     }
15675411d23SStefan Hajnoczi     if (cluster_size & (cluster_size - 1)) {
15775411d23SStefan Hajnoczi         return false; /* not power of 2 */
15875411d23SStefan Hajnoczi     }
15975411d23SStefan Hajnoczi     return true;
16075411d23SStefan Hajnoczi }
16175411d23SStefan Hajnoczi 
16275411d23SStefan Hajnoczi static bool qed_is_table_size_valid(uint32_t table_size)
16375411d23SStefan Hajnoczi {
16475411d23SStefan Hajnoczi     if (table_size < QED_MIN_TABLE_SIZE ||
16575411d23SStefan Hajnoczi         table_size > QED_MAX_TABLE_SIZE) {
16675411d23SStefan Hajnoczi         return false;
16775411d23SStefan Hajnoczi     }
16875411d23SStefan Hajnoczi     if (table_size & (table_size - 1)) {
16975411d23SStefan Hajnoczi         return false; /* not power of 2 */
17075411d23SStefan Hajnoczi     }
17175411d23SStefan Hajnoczi     return true;
17275411d23SStefan Hajnoczi }
17375411d23SStefan Hajnoczi 
17475411d23SStefan Hajnoczi static bool qed_is_image_size_valid(uint64_t image_size, uint32_t cluster_size,
17575411d23SStefan Hajnoczi                                     uint32_t table_size)
17675411d23SStefan Hajnoczi {
17775411d23SStefan Hajnoczi     if (image_size % BDRV_SECTOR_SIZE != 0) {
17875411d23SStefan Hajnoczi         return false; /* not multiple of sector size */
17975411d23SStefan Hajnoczi     }
18075411d23SStefan Hajnoczi     if (image_size > qed_max_image_size(cluster_size, table_size)) {
18175411d23SStefan Hajnoczi         return false; /* image is too large */
18275411d23SStefan Hajnoczi     }
18375411d23SStefan Hajnoczi     return true;
18475411d23SStefan Hajnoczi }
18575411d23SStefan Hajnoczi 
18675411d23SStefan Hajnoczi /**
18775411d23SStefan Hajnoczi  * Read a string of known length from the image file
18875411d23SStefan Hajnoczi  *
18975411d23SStefan Hajnoczi  * @file:       Image file
19075411d23SStefan Hajnoczi  * @offset:     File offset to start of string, in bytes
19175411d23SStefan Hajnoczi  * @n:          String length in bytes
19275411d23SStefan Hajnoczi  * @buf:        Destination buffer
19375411d23SStefan Hajnoczi  * @buflen:     Destination buffer length in bytes
19475411d23SStefan Hajnoczi  * @ret:        0 on success, -errno on failure
19575411d23SStefan Hajnoczi  *
19675411d23SStefan Hajnoczi  * The string is NUL-terminated.
19775411d23SStefan Hajnoczi  */
198cf2ab8fcSKevin Wolf static int qed_read_string(BdrvChild *file, uint64_t offset, size_t n,
19975411d23SStefan Hajnoczi                            char *buf, size_t buflen)
20075411d23SStefan Hajnoczi {
20175411d23SStefan Hajnoczi     int ret;
20275411d23SStefan Hajnoczi     if (n >= buflen) {
20375411d23SStefan Hajnoczi         return -EINVAL;
20475411d23SStefan Hajnoczi     }
20532cc71deSAlberto Faria     ret = bdrv_pread(file, offset, n, buf, 0);
20675411d23SStefan Hajnoczi     if (ret < 0) {
20775411d23SStefan Hajnoczi         return ret;
20875411d23SStefan Hajnoczi     }
20975411d23SStefan Hajnoczi     buf[n] = '\0';
21075411d23SStefan Hajnoczi     return 0;
21175411d23SStefan Hajnoczi }
21275411d23SStefan Hajnoczi 
213eabba580SStefan Hajnoczi /**
214eabba580SStefan Hajnoczi  * Allocate new clusters
215eabba580SStefan Hajnoczi  *
216eabba580SStefan Hajnoczi  * @s:          QED state
217eabba580SStefan Hajnoczi  * @n:          Number of contiguous clusters to allocate
218eabba580SStefan Hajnoczi  * @ret:        Offset of first allocated cluster
219eabba580SStefan Hajnoczi  *
220eabba580SStefan Hajnoczi  * This function only produces the offset where the new clusters should be
221eabba580SStefan Hajnoczi  * written.  It updates BDRVQEDState but does not make any changes to the image
222eabba580SStefan Hajnoczi  * file.
2231f01e50bSPaolo Bonzini  *
2241f01e50bSPaolo Bonzini  * Called with table_lock held.
225eabba580SStefan Hajnoczi  */
226eabba580SStefan Hajnoczi static uint64_t qed_alloc_clusters(BDRVQEDState *s, unsigned int n)
227eabba580SStefan Hajnoczi {
228eabba580SStefan Hajnoczi     uint64_t offset = s->file_size;
229eabba580SStefan Hajnoczi     s->file_size += n * s->header.cluster_size;
230eabba580SStefan Hajnoczi     return offset;
231eabba580SStefan Hajnoczi }
232eabba580SStefan Hajnoczi 
233298800caSStefan Hajnoczi QEDTable *qed_alloc_table(BDRVQEDState *s)
234298800caSStefan Hajnoczi {
235298800caSStefan Hajnoczi     /* Honor O_DIRECT memory alignment requirements */
236298800caSStefan Hajnoczi     return qemu_blockalign(s->bs,
237298800caSStefan Hajnoczi                            s->header.cluster_size * s->header.table_size);
238298800caSStefan Hajnoczi }
239298800caSStefan Hajnoczi 
240eabba580SStefan Hajnoczi /**
241eabba580SStefan Hajnoczi  * Allocate a new zeroed L2 table
2421f01e50bSPaolo Bonzini  *
2431f01e50bSPaolo Bonzini  * Called with table_lock held.
244eabba580SStefan Hajnoczi  */
245eabba580SStefan Hajnoczi static CachedL2Table *qed_new_l2_table(BDRVQEDState *s)
246eabba580SStefan Hajnoczi {
247eabba580SStefan Hajnoczi     CachedL2Table *l2_table = qed_alloc_l2_cache_entry(&s->l2_cache);
248eabba580SStefan Hajnoczi 
249eabba580SStefan Hajnoczi     l2_table->table = qed_alloc_table(s);
250eabba580SStefan Hajnoczi     l2_table->offset = qed_alloc_clusters(s, s->header.table_size);
251eabba580SStefan Hajnoczi 
252eabba580SStefan Hajnoczi     memset(l2_table->table->offsets, 0,
253eabba580SStefan Hajnoczi            s->header.cluster_size * s->header.table_size);
254eabba580SStefan Hajnoczi     return l2_table;
255eabba580SStefan Hajnoczi }
256eabba580SStefan Hajnoczi 
2571f01e50bSPaolo Bonzini static bool qed_plug_allocating_write_reqs(BDRVQEDState *s)
2586f321e93SStefan Hajnoczi {
2591f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
2601f01e50bSPaolo Bonzini 
2611f01e50bSPaolo Bonzini     /* No reentrancy is allowed.  */
2626f321e93SStefan Hajnoczi     assert(!s->allocating_write_reqs_plugged);
2631f01e50bSPaolo Bonzini     if (s->allocating_acb != NULL) {
2641f01e50bSPaolo Bonzini         /* Another allocating write came concurrently.  This cannot happen
265f8ea8dacSManos Pitsidianakis          * from bdrv_qed_co_drain_begin, but it can happen when the timer runs.
2661f01e50bSPaolo Bonzini          */
2671f01e50bSPaolo Bonzini         qemu_co_mutex_unlock(&s->table_lock);
2681f01e50bSPaolo Bonzini         return false;
2691f01e50bSPaolo Bonzini     }
2706f321e93SStefan Hajnoczi 
2716f321e93SStefan Hajnoczi     s->allocating_write_reqs_plugged = true;
2721f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
2731f01e50bSPaolo Bonzini     return true;
2746f321e93SStefan Hajnoczi }
2756f321e93SStefan Hajnoczi 
2766f321e93SStefan Hajnoczi static void qed_unplug_allocating_write_reqs(BDRVQEDState *s)
2776f321e93SStefan Hajnoczi {
2781f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
2796f321e93SStefan Hajnoczi     assert(s->allocating_write_reqs_plugged);
2806f321e93SStefan Hajnoczi     s->allocating_write_reqs_plugged = false;
2811f01e50bSPaolo Bonzini     qemu_co_queue_next(&s->allocating_write_reqs);
2821f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
2836f321e93SStefan Hajnoczi }
2846f321e93SStefan Hajnoczi 
28587f0d882SKevin Wolf static void coroutine_fn qed_need_check_timer_entry(void *opaque)
2866f321e93SStefan Hajnoczi {
2876f321e93SStefan Hajnoczi     BDRVQEDState *s = opaque;
288c0e8f989SKevin Wolf     int ret;
2896f321e93SStefan Hajnoczi 
2906f321e93SStefan Hajnoczi     trace_qed_need_check_timer_cb(s);
2916f321e93SStefan Hajnoczi 
2921f01e50bSPaolo Bonzini     if (!qed_plug_allocating_write_reqs(s)) {
2931f01e50bSPaolo Bonzini         return;
2941f01e50bSPaolo Bonzini     }
2956f321e93SStefan Hajnoczi 
2966f321e93SStefan Hajnoczi     /* Ensure writes are on disk before clearing flag */
297c0e8f989SKevin Wolf     ret = bdrv_co_flush(s->bs->file->bs);
298c0e8f989SKevin Wolf     if (ret < 0) {
299c0e8f989SKevin Wolf         qed_unplug_allocating_write_reqs(s);
300c0e8f989SKevin Wolf         return;
301c0e8f989SKevin Wolf     }
302c0e8f989SKevin Wolf 
303c0e8f989SKevin Wolf     s->header.features &= ~QED_F_NEED_CHECK;
304c0e8f989SKevin Wolf     ret = qed_write_header(s);
305c0e8f989SKevin Wolf     (void) ret;
306c0e8f989SKevin Wolf 
307c0e8f989SKevin Wolf     qed_unplug_allocating_write_reqs(s);
308c0e8f989SKevin Wolf 
309c0e8f989SKevin Wolf     ret = bdrv_co_flush(s->bs);
310c0e8f989SKevin Wolf     (void) ret;
311c0e8f989SKevin Wolf }
312c0e8f989SKevin Wolf 
313c0e8f989SKevin Wolf static void qed_need_check_timer_cb(void *opaque)
314c0e8f989SKevin Wolf {
315c0e8f989SKevin Wolf     Coroutine *co = qemu_coroutine_create(qed_need_check_timer_entry, opaque);
316c0e8f989SKevin Wolf     qemu_coroutine_enter(co);
3172f47da5fSPaolo Bonzini }
3182f47da5fSPaolo Bonzini 
3196f321e93SStefan Hajnoczi static void qed_start_need_check_timer(BDRVQEDState *s)
3206f321e93SStefan Hajnoczi {
3216f321e93SStefan Hajnoczi     trace_qed_start_need_check_timer(s);
3226f321e93SStefan Hajnoczi 
323bc72ad67SAlex Bligh     /* Use QEMU_CLOCK_VIRTUAL so we don't alter the image file while suspended for
3246f321e93SStefan Hajnoczi      * migration.
3256f321e93SStefan Hajnoczi      */
326bc72ad67SAlex Bligh     timer_mod(s->need_check_timer, qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) +
32773bcb24dSRutuja Shah                    NANOSECONDS_PER_SECOND * QED_NEED_CHECK_TIMEOUT);
3286f321e93SStefan Hajnoczi }
3296f321e93SStefan Hajnoczi 
3306f321e93SStefan Hajnoczi /* It's okay to call this multiple times or when no timer is started */
3316f321e93SStefan Hajnoczi static void qed_cancel_need_check_timer(BDRVQEDState *s)
3326f321e93SStefan Hajnoczi {
3336f321e93SStefan Hajnoczi     trace_qed_cancel_need_check_timer(s);
334bc72ad67SAlex Bligh     timer_del(s->need_check_timer);
3356f321e93SStefan Hajnoczi }
3366f321e93SStefan Hajnoczi 
337a8c868c3SStefan Hajnoczi static void bdrv_qed_detach_aio_context(BlockDriverState *bs)
338a8c868c3SStefan Hajnoczi {
339a8c868c3SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
340a8c868c3SStefan Hajnoczi 
341a8c868c3SStefan Hajnoczi     qed_cancel_need_check_timer(s);
342a8c868c3SStefan Hajnoczi     timer_free(s->need_check_timer);
343a8c868c3SStefan Hajnoczi }
344a8c868c3SStefan Hajnoczi 
345a8c868c3SStefan Hajnoczi static void bdrv_qed_attach_aio_context(BlockDriverState *bs,
346a8c868c3SStefan Hajnoczi                                         AioContext *new_context)
347a8c868c3SStefan Hajnoczi {
348a8c868c3SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
349a8c868c3SStefan Hajnoczi 
350a8c868c3SStefan Hajnoczi     s->need_check_timer = aio_timer_new(new_context,
351a8c868c3SStefan Hajnoczi                                         QEMU_CLOCK_VIRTUAL, SCALE_NS,
352a8c868c3SStefan Hajnoczi                                         qed_need_check_timer_cb, s);
353a8c868c3SStefan Hajnoczi     if (s->header.features & QED_F_NEED_CHECK) {
354a8c868c3SStefan Hajnoczi         qed_start_need_check_timer(s);
355a8c868c3SStefan Hajnoczi     }
356a8c868c3SStefan Hajnoczi }
357a8c868c3SStefan Hajnoczi 
358f8ea8dacSManos Pitsidianakis static void coroutine_fn bdrv_qed_co_drain_begin(BlockDriverState *bs)
3596653a73dSFam Zheng {
3606653a73dSFam Zheng     BDRVQEDState *s = bs->opaque;
3616653a73dSFam Zheng 
3626653a73dSFam Zheng     /* Fire the timer immediately in order to start doing I/O as soon as the
3636653a73dSFam Zheng      * header is flushed.
3646653a73dSFam Zheng      */
3656653a73dSFam Zheng     if (s->need_check_timer && timer_pending(s->need_check_timer)) {
3666653a73dSFam Zheng         qed_cancel_need_check_timer(s);
36761124f03SPaolo Bonzini         qed_need_check_timer_entry(s);
3686653a73dSFam Zheng     }
3696653a73dSFam Zheng }
3706653a73dSFam Zheng 
37161c7887eSPaolo Bonzini static void bdrv_qed_init_state(BlockDriverState *bs)
37261c7887eSPaolo Bonzini {
37361c7887eSPaolo Bonzini     BDRVQEDState *s = bs->opaque;
37461c7887eSPaolo Bonzini 
37561c7887eSPaolo Bonzini     memset(s, 0, sizeof(BDRVQEDState));
37661c7887eSPaolo Bonzini     s->bs = bs;
3771f01e50bSPaolo Bonzini     qemu_co_mutex_init(&s->table_lock);
37861c7887eSPaolo Bonzini     qemu_co_queue_init(&s->allocating_write_reqs);
37961c7887eSPaolo Bonzini }
38061c7887eSPaolo Bonzini 
3819fb4dfc5SPaolo Bonzini /* Called with table_lock held.  */
3829fb4dfc5SPaolo Bonzini static int coroutine_fn bdrv_qed_do_open(BlockDriverState *bs, QDict *options,
3839fb4dfc5SPaolo Bonzini                                          int flags, Error **errp)
38475411d23SStefan Hajnoczi {
38575411d23SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
38675411d23SStefan Hajnoczi     QEDHeader le_header;
38775411d23SStefan Hajnoczi     int64_t file_size;
38875411d23SStefan Hajnoczi     int ret;
38975411d23SStefan Hajnoczi 
39032cc71deSAlberto Faria     ret = bdrv_pread(bs->file, 0, sizeof(le_header), &le_header, 0);
39175411d23SStefan Hajnoczi     if (ret < 0) {
39215ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "Failed to read QED header");
39375411d23SStefan Hajnoczi         return ret;
39475411d23SStefan Hajnoczi     }
39575411d23SStefan Hajnoczi     qed_header_le_to_cpu(&le_header, &s->header);
39675411d23SStefan Hajnoczi 
39775411d23SStefan Hajnoczi     if (s->header.magic != QED_MAGIC) {
39876abe407SPaolo Bonzini         error_setg(errp, "Image not in QED format");
39976abe407SPaolo Bonzini         return -EINVAL;
40075411d23SStefan Hajnoczi     }
40175411d23SStefan Hajnoczi     if (s->header.features & ~QED_FEATURE_MASK) {
40210b758e8SKevin Wolf         /* image uses unsupported feature bits */
403a55448b3SMax Reitz         error_setg(errp, "Unsupported QED features: %" PRIx64,
40410b758e8SKevin Wolf                    s->header.features & ~QED_FEATURE_MASK);
40510b758e8SKevin Wolf         return -ENOTSUP;
40675411d23SStefan Hajnoczi     }
40775411d23SStefan Hajnoczi     if (!qed_is_cluster_size_valid(s->header.cluster_size)) {
40815ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "QED cluster size is invalid");
40975411d23SStefan Hajnoczi         return -EINVAL;
41075411d23SStefan Hajnoczi     }
41175411d23SStefan Hajnoczi 
41275411d23SStefan Hajnoczi     /* Round down file size to the last cluster */
4139a4f4c31SKevin Wolf     file_size = bdrv_getlength(bs->file->bs);
41475411d23SStefan Hajnoczi     if (file_size < 0) {
41515ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "Failed to get file length");
41675411d23SStefan Hajnoczi         return file_size;
41775411d23SStefan Hajnoczi     }
41875411d23SStefan Hajnoczi     s->file_size = qed_start_of_cluster(s, file_size);
41975411d23SStefan Hajnoczi 
42075411d23SStefan Hajnoczi     if (!qed_is_table_size_valid(s->header.table_size)) {
42115ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "QED table size is invalid");
42275411d23SStefan Hajnoczi         return -EINVAL;
42375411d23SStefan Hajnoczi     }
42475411d23SStefan Hajnoczi     if (!qed_is_image_size_valid(s->header.image_size,
42575411d23SStefan Hajnoczi                                  s->header.cluster_size,
42675411d23SStefan Hajnoczi                                  s->header.table_size)) {
42715ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "QED image size is invalid");
42875411d23SStefan Hajnoczi         return -EINVAL;
42975411d23SStefan Hajnoczi     }
43075411d23SStefan Hajnoczi     if (!qed_check_table_offset(s, s->header.l1_table_offset)) {
43115ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "QED table offset is invalid");
43275411d23SStefan Hajnoczi         return -EINVAL;
43375411d23SStefan Hajnoczi     }
43475411d23SStefan Hajnoczi 
43575411d23SStefan Hajnoczi     s->table_nelems = (s->header.cluster_size * s->header.table_size) /
43675411d23SStefan Hajnoczi                       sizeof(uint64_t);
437786a4ea8SStefan Hajnoczi     s->l2_shift = ctz32(s->header.cluster_size);
43875411d23SStefan Hajnoczi     s->l2_mask = s->table_nelems - 1;
439786a4ea8SStefan Hajnoczi     s->l1_shift = s->l2_shift + ctz32(s->table_nelems);
44075411d23SStefan Hajnoczi 
4410adfa1edSStefan Hajnoczi     /* Header size calculation must not overflow uint32_t */
4420adfa1edSStefan Hajnoczi     if (s->header.header_size > UINT32_MAX / s->header.cluster_size) {
44315ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "QED header size is too large");
4440adfa1edSStefan Hajnoczi         return -EINVAL;
4450adfa1edSStefan Hajnoczi     }
4460adfa1edSStefan Hajnoczi 
44775411d23SStefan Hajnoczi     if ((s->header.features & QED_F_BACKING_FILE)) {
44875411d23SStefan Hajnoczi         if ((uint64_t)s->header.backing_filename_offset +
44975411d23SStefan Hajnoczi             s->header.backing_filename_size >
45075411d23SStefan Hajnoczi             s->header.cluster_size * s->header.header_size) {
45115ce94a6SVladimir Sementsov-Ogievskiy             error_setg(errp, "QED backing filename offset is invalid");
45275411d23SStefan Hajnoczi             return -EINVAL;
45375411d23SStefan Hajnoczi         }
45475411d23SStefan Hajnoczi 
455cf2ab8fcSKevin Wolf         ret = qed_read_string(bs->file, s->header.backing_filename_offset,
456998c2019SMax Reitz                               s->header.backing_filename_size,
457998c2019SMax Reitz                               bs->auto_backing_file,
458998c2019SMax Reitz                               sizeof(bs->auto_backing_file));
45975411d23SStefan Hajnoczi         if (ret < 0) {
46015ce94a6SVladimir Sementsov-Ogievskiy             error_setg(errp, "Failed to read backing filename");
46175411d23SStefan Hajnoczi             return ret;
46275411d23SStefan Hajnoczi         }
463998c2019SMax Reitz         pstrcpy(bs->backing_file, sizeof(bs->backing_file),
464998c2019SMax Reitz                 bs->auto_backing_file);
46575411d23SStefan Hajnoczi 
46675411d23SStefan Hajnoczi         if (s->header.features & QED_F_BACKING_FORMAT_NO_PROBE) {
46775411d23SStefan Hajnoczi             pstrcpy(bs->backing_format, sizeof(bs->backing_format), "raw");
46875411d23SStefan Hajnoczi         }
46975411d23SStefan Hajnoczi     }
47075411d23SStefan Hajnoczi 
47175411d23SStefan Hajnoczi     /* Reset unknown autoclear feature bits.  This is a backwards
47275411d23SStefan Hajnoczi      * compatibility mechanism that allows images to be opened by older
47375411d23SStefan Hajnoczi      * programs, which "knock out" unknown feature bits.  When an image is
47475411d23SStefan Hajnoczi      * opened by a newer program again it can detect that the autoclear
47575411d23SStefan Hajnoczi      * feature is no longer valid.
47675411d23SStefan Hajnoczi      */
47775411d23SStefan Hajnoczi     if ((s->header.autoclear_features & ~QED_AUTOCLEAR_FEATURE_MASK) != 0 &&
47804c01a5cSKevin Wolf         !bdrv_is_read_only(bs->file->bs) && !(flags & BDRV_O_INACTIVE)) {
47975411d23SStefan Hajnoczi         s->header.autoclear_features &= QED_AUTOCLEAR_FEATURE_MASK;
48075411d23SStefan Hajnoczi 
48175411d23SStefan Hajnoczi         ret = qed_write_header_sync(s);
48275411d23SStefan Hajnoczi         if (ret) {
48315ce94a6SVladimir Sementsov-Ogievskiy             error_setg(errp, "Failed to update header");
48475411d23SStefan Hajnoczi             return ret;
48575411d23SStefan Hajnoczi         }
48675411d23SStefan Hajnoczi 
48775411d23SStefan Hajnoczi         /* From here on only known autoclear feature bits are valid */
4889a4f4c31SKevin Wolf         bdrv_flush(bs->file->bs);
48975411d23SStefan Hajnoczi     }
49075411d23SStefan Hajnoczi 
491298800caSStefan Hajnoczi     s->l1_table = qed_alloc_table(s);
492298800caSStefan Hajnoczi     qed_init_l2_cache(&s->l2_cache);
493298800caSStefan Hajnoczi 
494298800caSStefan Hajnoczi     ret = qed_read_l1_table_sync(s);
495298800caSStefan Hajnoczi     if (ret) {
49615ce94a6SVladimir Sementsov-Ogievskiy         error_setg(errp, "Failed to read L1 table");
49701979a98SStefan Hajnoczi         goto out;
49801979a98SStefan Hajnoczi     }
49901979a98SStefan Hajnoczi 
50001979a98SStefan Hajnoczi     /* If image was not closed cleanly, check consistency */
501058f8f16SStefan Hajnoczi     if (!(flags & BDRV_O_CHECK) && (s->header.features & QED_F_NEED_CHECK)) {
50201979a98SStefan Hajnoczi         /* Read-only images cannot be fixed.  There is no risk of corruption
50301979a98SStefan Hajnoczi          * since write operations are not possible.  Therefore, allow
50401979a98SStefan Hajnoczi          * potentially inconsistent images to be opened read-only.  This can
50501979a98SStefan Hajnoczi          * aid data recovery from an otherwise inconsistent image.
50601979a98SStefan Hajnoczi          */
5079a4f4c31SKevin Wolf         if (!bdrv_is_read_only(bs->file->bs) &&
50804c01a5cSKevin Wolf             !(flags & BDRV_O_INACTIVE)) {
50901979a98SStefan Hajnoczi             BdrvCheckResult result = {0};
51001979a98SStefan Hajnoczi 
51101979a98SStefan Hajnoczi             ret = qed_check(s, &result, true);
5126f321e93SStefan Hajnoczi             if (ret) {
51315ce94a6SVladimir Sementsov-Ogievskiy                 error_setg(errp, "Image corrupted");
5146f321e93SStefan Hajnoczi                 goto out;
5156f321e93SStefan Hajnoczi             }
51601979a98SStefan Hajnoczi         }
51701979a98SStefan Hajnoczi     }
51801979a98SStefan Hajnoczi 
519a8c868c3SStefan Hajnoczi     bdrv_qed_attach_aio_context(bs, bdrv_get_aio_context(bs));
5206f321e93SStefan Hajnoczi 
52101979a98SStefan Hajnoczi out:
52201979a98SStefan Hajnoczi     if (ret) {
523298800caSStefan Hajnoczi         qed_free_l2_cache(&s->l2_cache);
524298800caSStefan Hajnoczi         qemu_vfree(s->l1_table);
525298800caSStefan Hajnoczi     }
52675411d23SStefan Hajnoczi     return ret;
52775411d23SStefan Hajnoczi }
52875411d23SStefan Hajnoczi 
5299fb4dfc5SPaolo Bonzini typedef struct QEDOpenCo {
5309fb4dfc5SPaolo Bonzini     BlockDriverState *bs;
5319fb4dfc5SPaolo Bonzini     QDict *options;
5329fb4dfc5SPaolo Bonzini     int flags;
5339fb4dfc5SPaolo Bonzini     Error **errp;
5349fb4dfc5SPaolo Bonzini     int ret;
5359fb4dfc5SPaolo Bonzini } QEDOpenCo;
5369fb4dfc5SPaolo Bonzini 
5379fb4dfc5SPaolo Bonzini static void coroutine_fn bdrv_qed_open_entry(void *opaque)
5389fb4dfc5SPaolo Bonzini {
5399fb4dfc5SPaolo Bonzini     QEDOpenCo *qoc = opaque;
5409fb4dfc5SPaolo Bonzini     BDRVQEDState *s = qoc->bs->opaque;
5419fb4dfc5SPaolo Bonzini 
5429fb4dfc5SPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
5439fb4dfc5SPaolo Bonzini     qoc->ret = bdrv_qed_do_open(qoc->bs, qoc->options, qoc->flags, qoc->errp);
5449fb4dfc5SPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
5459fb4dfc5SPaolo Bonzini }
5469fb4dfc5SPaolo Bonzini 
5474e4bf5c4SKevin Wolf static int bdrv_qed_open(BlockDriverState *bs, QDict *options, int flags,
5484e4bf5c4SKevin Wolf                          Error **errp)
5494e4bf5c4SKevin Wolf {
5509fb4dfc5SPaolo Bonzini     QEDOpenCo qoc = {
5519fb4dfc5SPaolo Bonzini         .bs = bs,
5529fb4dfc5SPaolo Bonzini         .options = options,
5539fb4dfc5SPaolo Bonzini         .flags = flags,
5549fb4dfc5SPaolo Bonzini         .errp = errp,
5559fb4dfc5SPaolo Bonzini         .ret = -EINPROGRESS
5569fb4dfc5SPaolo Bonzini     };
5579fb4dfc5SPaolo Bonzini 
5588b1869daSMax Reitz     bs->file = bdrv_open_child(NULL, options, "file", bs, &child_of_bds,
5598b1869daSMax Reitz                                BDRV_CHILD_IMAGE, false, errp);
5604e4bf5c4SKevin Wolf     if (!bs->file) {
5614e4bf5c4SKevin Wolf         return -EINVAL;
5624e4bf5c4SKevin Wolf     }
5634e4bf5c4SKevin Wolf 
56461c7887eSPaolo Bonzini     bdrv_qed_init_state(bs);
5659fb4dfc5SPaolo Bonzini     if (qemu_in_coroutine()) {
5669fb4dfc5SPaolo Bonzini         bdrv_qed_open_entry(&qoc);
5679fb4dfc5SPaolo Bonzini     } else {
5684720cbeeSKevin Wolf         assert(qemu_get_current_aio_context() == qemu_get_aio_context());
5699fb4dfc5SPaolo Bonzini         qemu_coroutine_enter(qemu_coroutine_create(bdrv_qed_open_entry, &qoc));
5709fb4dfc5SPaolo Bonzini         BDRV_POLL_WHILE(bs, qoc.ret == -EINPROGRESS);
5719fb4dfc5SPaolo Bonzini     }
5729fb4dfc5SPaolo Bonzini     BDRV_POLL_WHILE(bs, qoc.ret == -EINPROGRESS);
5739fb4dfc5SPaolo Bonzini     return qoc.ret;
5744e4bf5c4SKevin Wolf }
5754e4bf5c4SKevin Wolf 
5763baca891SKevin Wolf static void bdrv_qed_refresh_limits(BlockDriverState *bs, Error **errp)
577d34682cdSKevin Wolf {
578d34682cdSKevin Wolf     BDRVQEDState *s = bs->opaque;
579d34682cdSKevin Wolf 
580cf081fcaSEric Blake     bs->bl.pwrite_zeroes_alignment = s->header.cluster_size;
581f34b2bcfSVladimir Sementsov-Ogievskiy     bs->bl.max_pwrite_zeroes = QEMU_ALIGN_DOWN(INT_MAX, s->header.cluster_size);
582d34682cdSKevin Wolf }
583d34682cdSKevin Wolf 
584f9cb20f1SJeff Cody /* We have nothing to do for QED reopen, stubs just return
585f9cb20f1SJeff Cody  * success */
586f9cb20f1SJeff Cody static int bdrv_qed_reopen_prepare(BDRVReopenState *state,
587f9cb20f1SJeff Cody                                    BlockReopenQueue *queue, Error **errp)
588f9cb20f1SJeff Cody {
589f9cb20f1SJeff Cody     return 0;
590f9cb20f1SJeff Cody }
591f9cb20f1SJeff Cody 
59275411d23SStefan Hajnoczi static void bdrv_qed_close(BlockDriverState *bs)
59375411d23SStefan Hajnoczi {
594298800caSStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
595298800caSStefan Hajnoczi 
596a8c868c3SStefan Hajnoczi     bdrv_qed_detach_aio_context(bs);
5976f321e93SStefan Hajnoczi 
59801979a98SStefan Hajnoczi     /* Ensure writes reach stable storage */
5999a4f4c31SKevin Wolf     bdrv_flush(bs->file->bs);
60001979a98SStefan Hajnoczi 
60101979a98SStefan Hajnoczi     /* Clean shutdown, no check required on next open */
60201979a98SStefan Hajnoczi     if (s->header.features & QED_F_NEED_CHECK) {
60301979a98SStefan Hajnoczi         s->header.features &= ~QED_F_NEED_CHECK;
60401979a98SStefan Hajnoczi         qed_write_header_sync(s);
60501979a98SStefan Hajnoczi     }
60601979a98SStefan Hajnoczi 
607298800caSStefan Hajnoczi     qed_free_l2_cache(&s->l2_cache);
608298800caSStefan Hajnoczi     qemu_vfree(s->l1_table);
60975411d23SStefan Hajnoczi }
61075411d23SStefan Hajnoczi 
611959355a4SKevin Wolf static int coroutine_fn bdrv_qed_co_create(BlockdevCreateOptions *opts,
612959355a4SKevin Wolf                                            Error **errp)
61375411d23SStefan Hajnoczi {
614959355a4SKevin Wolf     BlockdevCreateOptionsQed *qed_opts;
615959355a4SKevin Wolf     BlockBackend *blk = NULL;
616959355a4SKevin Wolf     BlockDriverState *bs = NULL;
617959355a4SKevin Wolf 
618959355a4SKevin Wolf     QEDHeader header;
61975411d23SStefan Hajnoczi     QEDHeader le_header;
62075411d23SStefan Hajnoczi     uint8_t *l1_table = NULL;
621959355a4SKevin Wolf     size_t l1_size;
62275411d23SStefan Hajnoczi     int ret = 0;
62375411d23SStefan Hajnoczi 
624959355a4SKevin Wolf     assert(opts->driver == BLOCKDEV_DRIVER_QED);
625959355a4SKevin Wolf     qed_opts = &opts->u.qed;
626959355a4SKevin Wolf 
627959355a4SKevin Wolf     /* Validate options and set default values */
628959355a4SKevin Wolf     if (!qed_opts->has_cluster_size) {
629959355a4SKevin Wolf         qed_opts->cluster_size = QED_DEFAULT_CLUSTER_SIZE;
630959355a4SKevin Wolf     }
631959355a4SKevin Wolf     if (!qed_opts->has_table_size) {
632959355a4SKevin Wolf         qed_opts->table_size = QED_DEFAULT_TABLE_SIZE;
63375411d23SStefan Hajnoczi     }
63475411d23SStefan Hajnoczi 
635959355a4SKevin Wolf     if (!qed_is_cluster_size_valid(qed_opts->cluster_size)) {
636959355a4SKevin Wolf         error_setg(errp, "QED cluster size must be within range [%u, %u] "
637959355a4SKevin Wolf                          "and power of 2",
638959355a4SKevin Wolf                    QED_MIN_CLUSTER_SIZE, QED_MAX_CLUSTER_SIZE);
639959355a4SKevin Wolf         return -EINVAL;
640959355a4SKevin Wolf     }
641959355a4SKevin Wolf     if (!qed_is_table_size_valid(qed_opts->table_size)) {
642959355a4SKevin Wolf         error_setg(errp, "QED table size must be within range [%u, %u] "
643959355a4SKevin Wolf                          "and power of 2",
644959355a4SKevin Wolf                    QED_MIN_TABLE_SIZE, QED_MAX_TABLE_SIZE);
645959355a4SKevin Wolf         return -EINVAL;
646959355a4SKevin Wolf     }
647959355a4SKevin Wolf     if (!qed_is_image_size_valid(qed_opts->size, qed_opts->cluster_size,
648959355a4SKevin Wolf                                  qed_opts->table_size))
649959355a4SKevin Wolf     {
650959355a4SKevin Wolf         error_setg(errp, "QED image size must be a non-zero multiple of "
651959355a4SKevin Wolf                          "cluster size and less than %" PRIu64 " bytes",
652959355a4SKevin Wolf                    qed_max_image_size(qed_opts->cluster_size,
653959355a4SKevin Wolf                                       qed_opts->table_size));
654959355a4SKevin Wolf         return -EINVAL;
655959355a4SKevin Wolf     }
656959355a4SKevin Wolf 
657959355a4SKevin Wolf     /* Create BlockBackend to write to the image */
658959355a4SKevin Wolf     bs = bdrv_open_blockdev_ref(qed_opts->file, errp);
659959355a4SKevin Wolf     if (bs == NULL) {
6608a56fdadSKevin Wolf         return -EIO;
66175411d23SStefan Hajnoczi     }
66275411d23SStefan Hajnoczi 
663a3aeeab5SEric Blake     blk = blk_new_with_bs(bs, BLK_PERM_WRITE | BLK_PERM_RESIZE, BLK_PERM_ALL,
664a3aeeab5SEric Blake                           errp);
665a3aeeab5SEric Blake     if (!blk) {
666a3aeeab5SEric Blake         ret = -EPERM;
667959355a4SKevin Wolf         goto out;
668959355a4SKevin Wolf     }
6698a56fdadSKevin Wolf     blk_set_allow_write_beyond_eof(blk, true);
6708a56fdadSKevin Wolf 
671959355a4SKevin Wolf     /* Prepare image format */
672959355a4SKevin Wolf     header = (QEDHeader) {
673959355a4SKevin Wolf         .magic = QED_MAGIC,
674959355a4SKevin Wolf         .cluster_size = qed_opts->cluster_size,
675959355a4SKevin Wolf         .table_size = qed_opts->table_size,
676959355a4SKevin Wolf         .header_size = 1,
677959355a4SKevin Wolf         .features = 0,
678959355a4SKevin Wolf         .compat_features = 0,
679959355a4SKevin Wolf         .l1_table_offset = qed_opts->cluster_size,
680959355a4SKevin Wolf         .image_size = qed_opts->size,
681959355a4SKevin Wolf     };
682959355a4SKevin Wolf 
683959355a4SKevin Wolf     l1_size = header.cluster_size * header.table_size;
684959355a4SKevin Wolf 
685e8d04f92SMax Reitz     /*
686e8d04f92SMax Reitz      * The QED format associates file length with allocation status,
687e8d04f92SMax Reitz      * so a new file (which is empty) must have a length of 0.
688e8d04f92SMax Reitz      */
6898c6242b6SKevin Wolf     ret = blk_truncate(blk, 0, true, PREALLOC_MODE_OFF, 0, errp);
690c743849bSStefan Hajnoczi     if (ret < 0) {
691c743849bSStefan Hajnoczi         goto out;
692c743849bSStefan Hajnoczi     }
693c743849bSStefan Hajnoczi 
694959355a4SKevin Wolf     if (qed_opts->has_backing_file) {
69575411d23SStefan Hajnoczi         header.features |= QED_F_BACKING_FILE;
69675411d23SStefan Hajnoczi         header.backing_filename_offset = sizeof(le_header);
697959355a4SKevin Wolf         header.backing_filename_size = strlen(qed_opts->backing_file);
69875411d23SStefan Hajnoczi 
699959355a4SKevin Wolf         if (qed_opts->has_backing_fmt) {
700959355a4SKevin Wolf             const char *backing_fmt = BlockdevDriver_str(qed_opts->backing_fmt);
70175411d23SStefan Hajnoczi             if (qed_fmt_is_raw(backing_fmt)) {
70275411d23SStefan Hajnoczi                 header.features |= QED_F_BACKING_FORMAT_NO_PROBE;
70375411d23SStefan Hajnoczi             }
70475411d23SStefan Hajnoczi         }
705959355a4SKevin Wolf     }
70675411d23SStefan Hajnoczi 
70775411d23SStefan Hajnoczi     qed_header_cpu_to_le(&header, &le_header);
708*a9262f55SAlberto Faria     ret = blk_pwrite(blk, 0, sizeof(le_header), &le_header, 0);
70975411d23SStefan Hajnoczi     if (ret < 0) {
71075411d23SStefan Hajnoczi         goto out;
71175411d23SStefan Hajnoczi     }
712*a9262f55SAlberto Faria     ret = blk_pwrite(blk, sizeof(le_header), header.backing_filename_size,
713*a9262f55SAlberto Faria                      qed_opts->backing_file, 0);
71475411d23SStefan Hajnoczi     if (ret < 0) {
71575411d23SStefan Hajnoczi         goto out;
71675411d23SStefan Hajnoczi     }
71775411d23SStefan Hajnoczi 
7187267c094SAnthony Liguori     l1_table = g_malloc0(l1_size);
719*a9262f55SAlberto Faria     ret = blk_pwrite(blk, header.l1_table_offset, l1_size, l1_table, 0);
72075411d23SStefan Hajnoczi     if (ret < 0) {
72175411d23SStefan Hajnoczi         goto out;
72275411d23SStefan Hajnoczi     }
72375411d23SStefan Hajnoczi 
72475411d23SStefan Hajnoczi     ret = 0; /* success */
72575411d23SStefan Hajnoczi out:
7267267c094SAnthony Liguori     g_free(l1_table);
7278a56fdadSKevin Wolf     blk_unref(blk);
728959355a4SKevin Wolf     bdrv_unref(bs);
72975411d23SStefan Hajnoczi     return ret;
73075411d23SStefan Hajnoczi }
73175411d23SStefan Hajnoczi 
732b92902dfSMaxim Levitsky static int coroutine_fn bdrv_qed_co_create_opts(BlockDriver *drv,
733b92902dfSMaxim Levitsky                                                 const char *filename,
734efc75e2aSStefan Hajnoczi                                                 QemuOpts *opts,
735efc75e2aSStefan Hajnoczi                                                 Error **errp)
73675411d23SStefan Hajnoczi {
737959355a4SKevin Wolf     BlockdevCreateOptions *create_options = NULL;
73892adf9dbSMarkus Armbruster     QDict *qdict;
739959355a4SKevin Wolf     Visitor *v;
740959355a4SKevin Wolf     BlockDriverState *bs = NULL;
7417ab74849SChunyan Liu     int ret;
74275411d23SStefan Hajnoczi 
743959355a4SKevin Wolf     static const QDictRenames opt_renames[] = {
744959355a4SKevin Wolf         { BLOCK_OPT_BACKING_FILE,       "backing-file" },
745959355a4SKevin Wolf         { BLOCK_OPT_BACKING_FMT,        "backing-fmt" },
746959355a4SKevin Wolf         { BLOCK_OPT_CLUSTER_SIZE,       "cluster-size" },
747959355a4SKevin Wolf         { BLOCK_OPT_TABLE_SIZE,         "table-size" },
748959355a4SKevin Wolf         { NULL, NULL },
749959355a4SKevin Wolf     };
75075411d23SStefan Hajnoczi 
751959355a4SKevin Wolf     /* Parse options and convert legacy syntax */
752959355a4SKevin Wolf     qdict = qemu_opts_to_qdict_filtered(opts, NULL, &qed_create_opts, true);
753959355a4SKevin Wolf 
754959355a4SKevin Wolf     if (!qdict_rename_keys(qdict, opt_renames, errp)) {
7557ab74849SChunyan Liu         ret = -EINVAL;
756959355a4SKevin Wolf         goto fail;
75775411d23SStefan Hajnoczi     }
75875411d23SStefan Hajnoczi 
759959355a4SKevin Wolf     /* Create and open the file (protocol layer) */
760668f62ecSMarkus Armbruster     ret = bdrv_create_file(filename, opts, errp);
761959355a4SKevin Wolf     if (ret < 0) {
762959355a4SKevin Wolf         goto fail;
763959355a4SKevin Wolf     }
7647ab74849SChunyan Liu 
765959355a4SKevin Wolf     bs = bdrv_open(filename, NULL, NULL,
766959355a4SKevin Wolf                    BDRV_O_RDWR | BDRV_O_RESIZE | BDRV_O_PROTOCOL, errp);
767959355a4SKevin Wolf     if (bs == NULL) {
768959355a4SKevin Wolf         ret = -EIO;
769959355a4SKevin Wolf         goto fail;
770959355a4SKevin Wolf     }
771959355a4SKevin Wolf 
772959355a4SKevin Wolf     /* Now get the QAPI type BlockdevCreateOptions */
773959355a4SKevin Wolf     qdict_put_str(qdict, "driver", "qed");
774959355a4SKevin Wolf     qdict_put_str(qdict, "file", bs->node_name);
775959355a4SKevin Wolf 
776af91062eSMarkus Armbruster     v = qobject_input_visitor_new_flat_confused(qdict, errp);
777af91062eSMarkus Armbruster     if (!v) {
778959355a4SKevin Wolf         ret = -EINVAL;
779959355a4SKevin Wolf         goto fail;
780959355a4SKevin Wolf     }
781959355a4SKevin Wolf 
782b11a093cSMarkus Armbruster     visit_type_BlockdevCreateOptions(v, NULL, &create_options, errp);
783959355a4SKevin Wolf     visit_free(v);
784b11a093cSMarkus Armbruster     if (!create_options) {
785959355a4SKevin Wolf         ret = -EINVAL;
786959355a4SKevin Wolf         goto fail;
787959355a4SKevin Wolf     }
788959355a4SKevin Wolf 
789959355a4SKevin Wolf     /* Silently round up size */
790959355a4SKevin Wolf     assert(create_options->driver == BLOCKDEV_DRIVER_QED);
791959355a4SKevin Wolf     create_options->u.qed.size =
792959355a4SKevin Wolf         ROUND_UP(create_options->u.qed.size, BDRV_SECTOR_SIZE);
793959355a4SKevin Wolf 
794959355a4SKevin Wolf     /* Create the qed image (format layer) */
795959355a4SKevin Wolf     ret = bdrv_qed_co_create(create_options, errp);
796959355a4SKevin Wolf 
797959355a4SKevin Wolf fail:
798cb3e7f08SMarc-André Lureau     qobject_unref(qdict);
799959355a4SKevin Wolf     bdrv_unref(bs);
800959355a4SKevin Wolf     qapi_free_BlockdevCreateOptions(create_options);
8017ab74849SChunyan Liu     return ret;
80275411d23SStefan Hajnoczi }
80375411d23SStefan Hajnoczi 
804b8d739fdSEric Blake static int coroutine_fn bdrv_qed_co_block_status(BlockDriverState *bs,
805b8d739fdSEric Blake                                                  bool want_zero,
806b8d739fdSEric Blake                                                  int64_t pos, int64_t bytes,
807b8d739fdSEric Blake                                                  int64_t *pnum, int64_t *map,
80867a0fd2aSFam Zheng                                                  BlockDriverState **file)
80975411d23SStefan Hajnoczi {
810298800caSStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
811b8d739fdSEric Blake     size_t len = MIN(bytes, SIZE_MAX);
812b8d739fdSEric Blake     int status;
813298800caSStefan Hajnoczi     QEDRequest request = { .l2_table = NULL };
8140f21b7a1SKevin Wolf     uint64_t offset;
8150f21b7a1SKevin Wolf     int ret;
816298800caSStefan Hajnoczi 
8171f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
818b8d739fdSEric Blake     ret = qed_find_cluster(s, &request, pos, &len, &offset);
819298800caSStefan Hajnoczi 
820b8d739fdSEric Blake     *pnum = len;
821b8d739fdSEric Blake     switch (ret) {
822b8d739fdSEric Blake     case QED_CLUSTER_FOUND:
823b8d739fdSEric Blake         *map = offset | qed_offset_into_cluster(s, pos);
824b8d739fdSEric Blake         status = BDRV_BLOCK_DATA | BDRV_BLOCK_OFFSET_VALID;
825b8d739fdSEric Blake         *file = bs->file->bs;
826b8d739fdSEric Blake         break;
827b8d739fdSEric Blake     case QED_CLUSTER_ZERO:
828b8d739fdSEric Blake         status = BDRV_BLOCK_ZERO;
829b8d739fdSEric Blake         break;
830b8d739fdSEric Blake     case QED_CLUSTER_L2:
831b8d739fdSEric Blake     case QED_CLUSTER_L1:
832b8d739fdSEric Blake         status = 0;
833b8d739fdSEric Blake         break;
834b8d739fdSEric Blake     default:
835b8d739fdSEric Blake         assert(ret < 0);
836b8d739fdSEric Blake         status = ret;
837b8d739fdSEric Blake         break;
838b8d739fdSEric Blake     }
839298800caSStefan Hajnoczi 
840298800caSStefan Hajnoczi     qed_unref_l2_cache_entry(request.l2_table);
8411f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
842298800caSStefan Hajnoczi 
843b8d739fdSEric Blake     return status;
84475411d23SStefan Hajnoczi }
84575411d23SStefan Hajnoczi 
846eabba580SStefan Hajnoczi static BDRVQEDState *acb_to_s(QEDAIOCB *acb)
847eabba580SStefan Hajnoczi {
84848cc565eSKevin Wolf     return acb->bs->opaque;
849eabba580SStefan Hajnoczi }
850eabba580SStefan Hajnoczi 
851eabba580SStefan Hajnoczi /**
852eabba580SStefan Hajnoczi  * Read from the backing file or zero-fill if no backing file
853eabba580SStefan Hajnoczi  *
854eabba580SStefan Hajnoczi  * @s:              QED state
855eabba580SStefan Hajnoczi  * @pos:            Byte position in device
856eabba580SStefan Hajnoczi  * @qiov:           Destination I/O vector
857eabba580SStefan Hajnoczi  *
858eabba580SStefan Hajnoczi  * This function reads qiov->size bytes starting at pos from the backing file.
859eabba580SStefan Hajnoczi  * If there is no backing file then zeroes are read.
860eabba580SStefan Hajnoczi  */
86187f0d882SKevin Wolf static int coroutine_fn qed_read_backing_file(BDRVQEDState *s, uint64_t pos,
862365fed51SEric Blake                                               QEMUIOVector *qiov)
863eabba580SStefan Hajnoczi {
864760e0063SKevin Wolf     if (s->bs->backing) {
865820100fdSPaolo Bonzini         BLKDBG_EVENT(s->bs->file, BLKDBG_READ_BACKING_AIO);
866365fed51SEric Blake         return bdrv_co_preadv(s->bs->backing, pos, qiov->size, qiov, 0);
867e85c5281SKevin Wolf     }
868365fed51SEric Blake     qemu_iovec_memset(qiov, 0, 0, qiov->size);
869e85c5281SKevin Wolf     return 0;
870eabba580SStefan Hajnoczi }
871eabba580SStefan Hajnoczi 
872eabba580SStefan Hajnoczi /**
873eabba580SStefan Hajnoczi  * Copy data from backing file into the image
874eabba580SStefan Hajnoczi  *
875eabba580SStefan Hajnoczi  * @s:          QED state
876eabba580SStefan Hajnoczi  * @pos:        Byte position in device
877eabba580SStefan Hajnoczi  * @len:        Number of bytes
878eabba580SStefan Hajnoczi  * @offset:     Byte offset in image file
879eabba580SStefan Hajnoczi  */
88087f0d882SKevin Wolf static int coroutine_fn qed_copy_from_backing_file(BDRVQEDState *s,
88187f0d882SKevin Wolf                                                    uint64_t pos, uint64_t len,
88287f0d882SKevin Wolf                                                    uint64_t offset)
883eabba580SStefan Hajnoczi {
8840f7aa24dSKevin Wolf     QEMUIOVector qiov;
885e85c5281SKevin Wolf     int ret;
886eabba580SStefan Hajnoczi 
887eabba580SStefan Hajnoczi     /* Skip copy entirely if there is no work to do */
888eabba580SStefan Hajnoczi     if (len == 0) {
889b4ac32f3SKevin Wolf         return 0;
890eabba580SStefan Hajnoczi     }
891eabba580SStefan Hajnoczi 
892342544f9SVladimir Sementsov-Ogievskiy     qemu_iovec_init_buf(&qiov, qemu_blockalign(s->bs, len), len);
893eabba580SStefan Hajnoczi 
894365fed51SEric Blake     ret = qed_read_backing_file(s, pos, &qiov);
8950f7aa24dSKevin Wolf 
8960f7aa24dSKevin Wolf     if (ret) {
8970f7aa24dSKevin Wolf         goto out;
8980f7aa24dSKevin Wolf     }
8990f7aa24dSKevin Wolf 
9000f7aa24dSKevin Wolf     BLKDBG_EVENT(s->bs->file, BLKDBG_COW_WRITE);
9010f714ec7SKevin Wolf     ret = bdrv_co_pwritev(s->bs->file, offset, qiov.size, &qiov, 0);
9020f7aa24dSKevin Wolf     if (ret < 0) {
9030f7aa24dSKevin Wolf         goto out;
9040f7aa24dSKevin Wolf     }
9050f7aa24dSKevin Wolf     ret = 0;
9060f7aa24dSKevin Wolf out:
907342544f9SVladimir Sementsov-Ogievskiy     qemu_vfree(qemu_iovec_buf(&qiov));
908b4ac32f3SKevin Wolf     return ret;
909eabba580SStefan Hajnoczi }
910eabba580SStefan Hajnoczi 
911eabba580SStefan Hajnoczi /**
912eabba580SStefan Hajnoczi  * Link one or more contiguous clusters into a table
913eabba580SStefan Hajnoczi  *
914eabba580SStefan Hajnoczi  * @s:              QED state
915eabba580SStefan Hajnoczi  * @table:          L2 table
916eabba580SStefan Hajnoczi  * @index:          First cluster index
917eabba580SStefan Hajnoczi  * @n:              Number of contiguous clusters
91821df65b6SAnthony Liguori  * @cluster:        First cluster offset
91921df65b6SAnthony Liguori  *
92021df65b6SAnthony Liguori  * The cluster offset may be an allocated byte offset in the image file, the
92121df65b6SAnthony Liguori  * zero cluster marker, or the unallocated cluster marker.
9221f01e50bSPaolo Bonzini  *
9231f01e50bSPaolo Bonzini  * Called with table_lock held.
924eabba580SStefan Hajnoczi  */
92587f0d882SKevin Wolf static void coroutine_fn qed_update_l2_table(BDRVQEDState *s, QEDTable *table,
92687f0d882SKevin Wolf                                              int index, unsigned int n,
92787f0d882SKevin Wolf                                              uint64_t cluster)
928eabba580SStefan Hajnoczi {
929eabba580SStefan Hajnoczi     int i;
930eabba580SStefan Hajnoczi     for (i = index; i < index + n; i++) {
931eabba580SStefan Hajnoczi         table->offsets[i] = cluster;
93221df65b6SAnthony Liguori         if (!qed_offset_is_unalloc_cluster(cluster) &&
93321df65b6SAnthony Liguori             !qed_offset_is_zero_cluster(cluster)) {
934eabba580SStefan Hajnoczi             cluster += s->header.cluster_size;
935eabba580SStefan Hajnoczi         }
936eabba580SStefan Hajnoczi     }
93721df65b6SAnthony Liguori }
938eabba580SStefan Hajnoczi 
9391f01e50bSPaolo Bonzini /* Called with table_lock held.  */
94087f0d882SKevin Wolf static void coroutine_fn qed_aio_complete(QEDAIOCB *acb)
941eabba580SStefan Hajnoczi {
942eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
943eabba580SStefan Hajnoczi 
944eabba580SStefan Hajnoczi     /* Free resources */
945eabba580SStefan Hajnoczi     qemu_iovec_destroy(&acb->cur_qiov);
946eabba580SStefan Hajnoczi     qed_unref_l2_cache_entry(acb->request.l2_table);
947eabba580SStefan Hajnoczi 
9480e71be19SStefan Hajnoczi     /* Free the buffer we may have allocated for zero writes */
9490e71be19SStefan Hajnoczi     if (acb->flags & QED_AIOCB_ZERO) {
9500e71be19SStefan Hajnoczi         qemu_vfree(acb->qiov->iov[0].iov_base);
9510e71be19SStefan Hajnoczi         acb->qiov->iov[0].iov_base = NULL;
9520e71be19SStefan Hajnoczi     }
9530e71be19SStefan Hajnoczi 
954eabba580SStefan Hajnoczi     /* Start next allocating write request waiting behind this one.  Note that
955eabba580SStefan Hajnoczi      * requests enqueue themselves when they first hit an unallocated cluster
956eabba580SStefan Hajnoczi      * but they wait until the entire request is finished before waking up the
957eabba580SStefan Hajnoczi      * next request in the queue.  This ensures that we don't cycle through
958eabba580SStefan Hajnoczi      * requests multiple times but rather finish one at a time completely.
959eabba580SStefan Hajnoczi      */
9600806c3b5SKevin Wolf     if (acb == s->allocating_acb) {
9610806c3b5SKevin Wolf         s->allocating_acb = NULL;
9620806c3b5SKevin Wolf         if (!qemu_co_queue_empty(&s->allocating_write_reqs)) {
9631f01e50bSPaolo Bonzini             qemu_co_queue_next(&s->allocating_write_reqs);
9646f321e93SStefan Hajnoczi         } else if (s->header.features & QED_F_NEED_CHECK) {
9656f321e93SStefan Hajnoczi             qed_start_need_check_timer(s);
966eabba580SStefan Hajnoczi         }
967eabba580SStefan Hajnoczi     }
968eabba580SStefan Hajnoczi }
969eabba580SStefan Hajnoczi 
970eabba580SStefan Hajnoczi /**
971fae25ac7SKevin Wolf  * Update L1 table with new L2 table offset and write it out
9721f01e50bSPaolo Bonzini  *
9731f01e50bSPaolo Bonzini  * Called with table_lock held.
974eabba580SStefan Hajnoczi  */
97587f0d882SKevin Wolf static int coroutine_fn qed_aio_write_l1_update(QEDAIOCB *acb)
976eabba580SStefan Hajnoczi {
977eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
978eabba580SStefan Hajnoczi     CachedL2Table *l2_table = acb->request.l2_table;
979e4fc8781SStefan Hajnoczi     uint64_t l2_offset = l2_table->offset;
980fb18de21SKevin Wolf     int index, ret;
981fae25ac7SKevin Wolf 
982fae25ac7SKevin Wolf     index = qed_l1_index(s, acb->cur_pos);
983fae25ac7SKevin Wolf     s->l1_table->offsets[index] = l2_table->offset;
984fae25ac7SKevin Wolf 
985fae25ac7SKevin Wolf     ret = qed_write_l1_table(s, index, 1);
986fae25ac7SKevin Wolf 
987fae25ac7SKevin Wolf     /* Commit the current L2 table to the cache */
988eabba580SStefan Hajnoczi     qed_commit_l2_cache_entry(&s->l2_cache, l2_table);
989eabba580SStefan Hajnoczi 
990eabba580SStefan Hajnoczi     /* This is guaranteed to succeed because we just committed the entry to the
991eabba580SStefan Hajnoczi      * cache.
992eabba580SStefan Hajnoczi      */
993e4fc8781SStefan Hajnoczi     acb->request.l2_table = qed_find_l2_cache_entry(&s->l2_cache, l2_offset);
994eabba580SStefan Hajnoczi     assert(acb->request.l2_table != NULL);
995eabba580SStefan Hajnoczi 
996fb18de21SKevin Wolf     return ret;
997eabba580SStefan Hajnoczi }
998eabba580SStefan Hajnoczi 
999eabba580SStefan Hajnoczi 
1000eabba580SStefan Hajnoczi /**
1001eabba580SStefan Hajnoczi  * Update L2 table with new cluster offsets and write them out
10021f01e50bSPaolo Bonzini  *
10031f01e50bSPaolo Bonzini  * Called with table_lock held.
1004eabba580SStefan Hajnoczi  */
100587f0d882SKevin Wolf static int coroutine_fn qed_aio_write_l2_update(QEDAIOCB *acb, uint64_t offset)
1006eabba580SStefan Hajnoczi {
1007eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
1008eabba580SStefan Hajnoczi     bool need_alloc = acb->find_cluster_ret == QED_CLUSTER_L1;
100988d2dd72SKevin Wolf     int index, ret;
1010eabba580SStefan Hajnoczi 
1011eabba580SStefan Hajnoczi     if (need_alloc) {
1012eabba580SStefan Hajnoczi         qed_unref_l2_cache_entry(acb->request.l2_table);
1013eabba580SStefan Hajnoczi         acb->request.l2_table = qed_new_l2_table(s);
1014eabba580SStefan Hajnoczi     }
1015eabba580SStefan Hajnoczi 
1016eabba580SStefan Hajnoczi     index = qed_l2_index(s, acb->cur_pos);
1017eabba580SStefan Hajnoczi     qed_update_l2_table(s, acb->request.l2_table->table, index, acb->cur_nclusters,
10180e71be19SStefan Hajnoczi                          offset);
1019eabba580SStefan Hajnoczi 
1020eabba580SStefan Hajnoczi     if (need_alloc) {
1021eabba580SStefan Hajnoczi         /* Write out the whole new L2 table */
1022453e53e2SKevin Wolf         ret = qed_write_l2_table(s, &acb->request, 0, s->table_nelems, true);
1023fb18de21SKevin Wolf         if (ret) {
102488d2dd72SKevin Wolf             return ret;
1025fb18de21SKevin Wolf         }
102688d2dd72SKevin Wolf         return qed_aio_write_l1_update(acb);
1027eabba580SStefan Hajnoczi     } else {
1028eabba580SStefan Hajnoczi         /* Write out only the updated part of the L2 table */
1029453e53e2SKevin Wolf         ret = qed_write_l2_table(s, &acb->request, index, acb->cur_nclusters,
1030453e53e2SKevin Wolf                                  false);
103188d2dd72SKevin Wolf         if (ret) {
103288d2dd72SKevin Wolf             return ret;
1033eabba580SStefan Hajnoczi         }
103488d2dd72SKevin Wolf     }
103588d2dd72SKevin Wolf     return 0;
1036eabba580SStefan Hajnoczi }
1037eabba580SStefan Hajnoczi 
1038eabba580SStefan Hajnoczi /**
1039eabba580SStefan Hajnoczi  * Write data to the image file
10401f01e50bSPaolo Bonzini  *
10411f01e50bSPaolo Bonzini  * Called with table_lock *not* held.
1042eabba580SStefan Hajnoczi  */
104387f0d882SKevin Wolf static int coroutine_fn qed_aio_write_main(QEDAIOCB *acb)
1044eabba580SStefan Hajnoczi {
1045eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
1046eabba580SStefan Hajnoczi     uint64_t offset = acb->cur_cluster +
1047eabba580SStefan Hajnoczi                       qed_offset_into_cluster(s, acb->cur_pos);
1048eabba580SStefan Hajnoczi 
1049eaf0bc56SKevin Wolf     trace_qed_aio_write_main(s, acb, 0, offset, acb->cur_qiov.size);
1050eabba580SStefan Hajnoczi 
1051a4d8f1aeSKevin Wolf     BLKDBG_EVENT(s->bs->file, BLKDBG_WRITE_AIO);
1052e7569c18SPaolo Bonzini     return bdrv_co_pwritev(s->bs->file, offset, acb->cur_qiov.size,
10530f714ec7SKevin Wolf                            &acb->cur_qiov, 0);
1054eabba580SStefan Hajnoczi }
1055eabba580SStefan Hajnoczi 
1056eabba580SStefan Hajnoczi /**
1057b4ac32f3SKevin Wolf  * Populate untouched regions of new data cluster
10581f01e50bSPaolo Bonzini  *
10591f01e50bSPaolo Bonzini  * Called with table_lock held.
1060eabba580SStefan Hajnoczi  */
106187f0d882SKevin Wolf static int coroutine_fn qed_aio_write_cow(QEDAIOCB *acb)
1062eabba580SStefan Hajnoczi {
1063eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
1064b4ac32f3SKevin Wolf     uint64_t start, len, offset;
1065a101341aSKevin Wolf     int ret;
1066eabba580SStefan Hajnoczi 
10671f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
10681f01e50bSPaolo Bonzini 
1069b4ac32f3SKevin Wolf     /* Populate front untouched region of new data cluster */
1070b4ac32f3SKevin Wolf     start = qed_start_of_cluster(s, acb->cur_pos);
1071b4ac32f3SKevin Wolf     len = qed_offset_into_cluster(s, acb->cur_pos);
1072b4ac32f3SKevin Wolf 
1073b4ac32f3SKevin Wolf     trace_qed_aio_write_prefill(s, acb, start, len, acb->cur_cluster);
1074b4ac32f3SKevin Wolf     ret = qed_copy_from_backing_file(s, start, len, acb->cur_cluster);
1075a101341aSKevin Wolf     if (ret < 0) {
10761f01e50bSPaolo Bonzini         goto out;
1077eabba580SStefan Hajnoczi     }
1078eabba580SStefan Hajnoczi 
1079b4ac32f3SKevin Wolf     /* Populate back untouched region of new data cluster */
1080b4ac32f3SKevin Wolf     start = acb->cur_pos + acb->cur_qiov.size;
1081b4ac32f3SKevin Wolf     len = qed_start_of_cluster(s, start + s->header.cluster_size - 1) - start;
1082b4ac32f3SKevin Wolf     offset = acb->cur_cluster +
1083b4ac32f3SKevin Wolf              qed_offset_into_cluster(s, acb->cur_pos) +
1084b4ac32f3SKevin Wolf              acb->cur_qiov.size;
1085b4ac32f3SKevin Wolf 
1086eabba580SStefan Hajnoczi     trace_qed_aio_write_postfill(s, acb, start, len, offset);
1087b4ac32f3SKevin Wolf     ret = qed_copy_from_backing_file(s, start, len, offset);
1088a101341aSKevin Wolf     if (ret < 0) {
10891f01e50bSPaolo Bonzini         goto out;
1090eaf0bc56SKevin Wolf     }
1091eabba580SStefan Hajnoczi 
1092e7569c18SPaolo Bonzini     ret = qed_aio_write_main(acb);
1093e7569c18SPaolo Bonzini     if (ret < 0) {
10941f01e50bSPaolo Bonzini         goto out;
1095e7569c18SPaolo Bonzini     }
1096e7569c18SPaolo Bonzini 
1097e7569c18SPaolo Bonzini     if (s->bs->backing) {
1098e7569c18SPaolo Bonzini         /*
1099e7569c18SPaolo Bonzini          * Flush new data clusters before updating the L2 table
1100e7569c18SPaolo Bonzini          *
1101e7569c18SPaolo Bonzini          * This flush is necessary when a backing file is in use.  A crash
1102e7569c18SPaolo Bonzini          * during an allocating write could result in empty clusters in the
1103e7569c18SPaolo Bonzini          * image.  If the write only touched a subregion of the cluster,
1104e7569c18SPaolo Bonzini          * then backing image sectors have been lost in the untouched
1105e7569c18SPaolo Bonzini          * region.  The solution is to flush after writing a new data
1106e7569c18SPaolo Bonzini          * cluster and before updating the L2 table.
1107e7569c18SPaolo Bonzini          */
1108e7569c18SPaolo Bonzini         ret = bdrv_co_flush(s->bs->file->bs);
1109e7569c18SPaolo Bonzini     }
1110e7569c18SPaolo Bonzini 
11111f01e50bSPaolo Bonzini out:
11121f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
11131f01e50bSPaolo Bonzini     return ret;
1114eabba580SStefan Hajnoczi }
1115eabba580SStefan Hajnoczi 
1116eabba580SStefan Hajnoczi /**
11170d09c797SStefan Hajnoczi  * Check if the QED_F_NEED_CHECK bit should be set during allocating write
11180d09c797SStefan Hajnoczi  */
11190d09c797SStefan Hajnoczi static bool qed_should_set_need_check(BDRVQEDState *s)
11200d09c797SStefan Hajnoczi {
11210d09c797SStefan Hajnoczi     /* The flush before L2 update path ensures consistency */
1122760e0063SKevin Wolf     if (s->bs->backing) {
11230d09c797SStefan Hajnoczi         return false;
11240d09c797SStefan Hajnoczi     }
11250d09c797SStefan Hajnoczi 
11260d09c797SStefan Hajnoczi     return !(s->header.features & QED_F_NEED_CHECK);
11270d09c797SStefan Hajnoczi }
11280d09c797SStefan Hajnoczi 
11290d09c797SStefan Hajnoczi /**
1130eabba580SStefan Hajnoczi  * Write new data cluster
1131eabba580SStefan Hajnoczi  *
1132eabba580SStefan Hajnoczi  * @acb:        Write request
1133eabba580SStefan Hajnoczi  * @len:        Length in bytes
1134eabba580SStefan Hajnoczi  *
1135eabba580SStefan Hajnoczi  * This path is taken when writing to previously unallocated clusters.
11361f01e50bSPaolo Bonzini  *
11371f01e50bSPaolo Bonzini  * Called with table_lock held.
1138eabba580SStefan Hajnoczi  */
113987f0d882SKevin Wolf static int coroutine_fn qed_aio_write_alloc(QEDAIOCB *acb, size_t len)
1140eabba580SStefan Hajnoczi {
1141eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
1142f13d712bSKevin Wolf     int ret;
1143eabba580SStefan Hajnoczi 
11446f321e93SStefan Hajnoczi     /* Cancel timer when the first allocating request comes in */
11450806c3b5SKevin Wolf     if (s->allocating_acb == NULL) {
11466f321e93SStefan Hajnoczi         qed_cancel_need_check_timer(s);
11476f321e93SStefan Hajnoczi     }
11486f321e93SStefan Hajnoczi 
1149eabba580SStefan Hajnoczi     /* Freeze this request if another allocating write is in progress */
11500806c3b5SKevin Wolf     if (s->allocating_acb != acb || s->allocating_write_reqs_plugged) {
11510806c3b5SKevin Wolf         if (s->allocating_acb != NULL) {
11521f01e50bSPaolo Bonzini             qemu_co_queue_wait(&s->allocating_write_reqs, &s->table_lock);
11530806c3b5SKevin Wolf             assert(s->allocating_acb == NULL);
1154eabba580SStefan Hajnoczi         }
11550806c3b5SKevin Wolf         s->allocating_acb = acb;
11560806c3b5SKevin Wolf         return -EAGAIN; /* start over with looking up table entries */
1157eabba580SStefan Hajnoczi     }
1158eabba580SStefan Hajnoczi 
1159eabba580SStefan Hajnoczi     acb->cur_nclusters = qed_bytes_to_clusters(s,
1160eabba580SStefan Hajnoczi             qed_offset_into_cluster(s, acb->cur_pos) + len);
11611b093c48SMichael Tokarev     qemu_iovec_concat(&acb->cur_qiov, acb->qiov, acb->qiov_offset, len);
1162eabba580SStefan Hajnoczi 
11630e71be19SStefan Hajnoczi     if (acb->flags & QED_AIOCB_ZERO) {
11640e71be19SStefan Hajnoczi         /* Skip ahead if the clusters are already zero */
11650e71be19SStefan Hajnoczi         if (acb->find_cluster_ret == QED_CLUSTER_ZERO) {
1166d6daddcdSKevin Wolf             return 0;
11670e71be19SStefan Hajnoczi         }
1168e7569c18SPaolo Bonzini         acb->cur_cluster = 1;
11690e71be19SStefan Hajnoczi     } else {
11700e71be19SStefan Hajnoczi         acb->cur_cluster = qed_alloc_clusters(s, acb->cur_nclusters);
11710e71be19SStefan Hajnoczi     }
11720e71be19SStefan Hajnoczi 
11730d09c797SStefan Hajnoczi     if (qed_should_set_need_check(s)) {
117401979a98SStefan Hajnoczi         s->header.features |= QED_F_NEED_CHECK;
1175f13d712bSKevin Wolf         ret = qed_write_header(s);
1176a101341aSKevin Wolf         if (ret < 0) {
1177d6daddcdSKevin Wolf             return ret;
11780d09c797SStefan Hajnoczi         }
1179eabba580SStefan Hajnoczi     }
1180eabba580SStefan Hajnoczi 
1181e7569c18SPaolo Bonzini     if (!(acb->flags & QED_AIOCB_ZERO)) {
1182a101341aSKevin Wolf         ret = qed_aio_write_cow(acb);
1183a101341aSKevin Wolf         if (ret < 0) {
1184d6daddcdSKevin Wolf             return ret;
1185a101341aSKevin Wolf         }
1186e7569c18SPaolo Bonzini     }
1187e7569c18SPaolo Bonzini 
1188e7569c18SPaolo Bonzini     return qed_aio_write_l2_update(acb, acb->cur_cluster);
1189a101341aSKevin Wolf }
1190a101341aSKevin Wolf 
1191eabba580SStefan Hajnoczi /**
1192eabba580SStefan Hajnoczi  * Write data cluster in place
1193eabba580SStefan Hajnoczi  *
1194eabba580SStefan Hajnoczi  * @acb:        Write request
1195eabba580SStefan Hajnoczi  * @offset:     Cluster offset in bytes
1196eabba580SStefan Hajnoczi  * @len:        Length in bytes
1197eabba580SStefan Hajnoczi  *
1198eabba580SStefan Hajnoczi  * This path is taken when writing to already allocated clusters.
11991f01e50bSPaolo Bonzini  *
12001f01e50bSPaolo Bonzini  * Called with table_lock held.
1201eabba580SStefan Hajnoczi  */
120287f0d882SKevin Wolf static int coroutine_fn qed_aio_write_inplace(QEDAIOCB *acb, uint64_t offset,
120387f0d882SKevin Wolf                                               size_t len)
1204eabba580SStefan Hajnoczi {
12051f01e50bSPaolo Bonzini     BDRVQEDState *s = acb_to_s(acb);
12061f01e50bSPaolo Bonzini     int r;
12071f01e50bSPaolo Bonzini 
12081f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
12091f01e50bSPaolo Bonzini 
12100e71be19SStefan Hajnoczi     /* Allocate buffer for zero writes */
12110e71be19SStefan Hajnoczi     if (acb->flags & QED_AIOCB_ZERO) {
12120e71be19SStefan Hajnoczi         struct iovec *iov = acb->qiov->iov;
12130e71be19SStefan Hajnoczi 
12140e71be19SStefan Hajnoczi         if (!iov->iov_base) {
121548cc565eSKevin Wolf             iov->iov_base = qemu_try_blockalign(acb->bs, iov->iov_len);
12164f4896dbSKevin Wolf             if (iov->iov_base == NULL) {
12171f01e50bSPaolo Bonzini                 r = -ENOMEM;
12181f01e50bSPaolo Bonzini                 goto out;
12194f4896dbSKevin Wolf             }
12200e71be19SStefan Hajnoczi             memset(iov->iov_base, 0, iov->iov_len);
12210e71be19SStefan Hajnoczi         }
12220e71be19SStefan Hajnoczi     }
12230e71be19SStefan Hajnoczi 
1224eabba580SStefan Hajnoczi     /* Calculate the I/O vector */
1225eabba580SStefan Hajnoczi     acb->cur_cluster = offset;
12261b093c48SMichael Tokarev     qemu_iovec_concat(&acb->cur_qiov, acb->qiov, acb->qiov_offset, len);
1227eabba580SStefan Hajnoczi 
12281f01e50bSPaolo Bonzini     /* Do the actual write.  */
12291f01e50bSPaolo Bonzini     r = qed_aio_write_main(acb);
12301f01e50bSPaolo Bonzini out:
12311f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
12321f01e50bSPaolo Bonzini     return r;
1233eabba580SStefan Hajnoczi }
1234eabba580SStefan Hajnoczi 
1235eabba580SStefan Hajnoczi /**
1236eabba580SStefan Hajnoczi  * Write data cluster
1237eabba580SStefan Hajnoczi  *
1238eabba580SStefan Hajnoczi  * @opaque:     Write request
12390596be7eSKevin Wolf  * @ret:        QED_CLUSTER_FOUND, QED_CLUSTER_L2 or QED_CLUSTER_L1
1240eabba580SStefan Hajnoczi  * @offset:     Cluster offset in bytes
1241eabba580SStefan Hajnoczi  * @len:        Length in bytes
12421f01e50bSPaolo Bonzini  *
12431f01e50bSPaolo Bonzini  * Called with table_lock held.
1244eabba580SStefan Hajnoczi  */
124587f0d882SKevin Wolf static int coroutine_fn qed_aio_write_data(void *opaque, int ret,
1246eabba580SStefan Hajnoczi                                            uint64_t offset, size_t len)
1247eabba580SStefan Hajnoczi {
1248eabba580SStefan Hajnoczi     QEDAIOCB *acb = opaque;
1249eabba580SStefan Hajnoczi 
1250eabba580SStefan Hajnoczi     trace_qed_aio_write_data(acb_to_s(acb), acb, ret, offset, len);
1251eabba580SStefan Hajnoczi 
1252eabba580SStefan Hajnoczi     acb->find_cluster_ret = ret;
1253eabba580SStefan Hajnoczi 
1254eabba580SStefan Hajnoczi     switch (ret) {
1255eabba580SStefan Hajnoczi     case QED_CLUSTER_FOUND:
12560596be7eSKevin Wolf         return qed_aio_write_inplace(acb, offset, len);
1257eabba580SStefan Hajnoczi 
1258eabba580SStefan Hajnoczi     case QED_CLUSTER_L2:
1259eabba580SStefan Hajnoczi     case QED_CLUSTER_L1:
126021df65b6SAnthony Liguori     case QED_CLUSTER_ZERO:
12610596be7eSKevin Wolf         return qed_aio_write_alloc(acb, len);
1262eabba580SStefan Hajnoczi 
1263eabba580SStefan Hajnoczi     default:
12640596be7eSKevin Wolf         g_assert_not_reached();
1265eabba580SStefan Hajnoczi     }
1266eabba580SStefan Hajnoczi }
1267eabba580SStefan Hajnoczi 
1268eabba580SStefan Hajnoczi /**
1269eabba580SStefan Hajnoczi  * Read data cluster
1270eabba580SStefan Hajnoczi  *
1271eabba580SStefan Hajnoczi  * @opaque:     Read request
12720596be7eSKevin Wolf  * @ret:        QED_CLUSTER_FOUND, QED_CLUSTER_L2 or QED_CLUSTER_L1
1273eabba580SStefan Hajnoczi  * @offset:     Cluster offset in bytes
1274eabba580SStefan Hajnoczi  * @len:        Length in bytes
12751f01e50bSPaolo Bonzini  *
12761f01e50bSPaolo Bonzini  * Called with table_lock held.
1277eabba580SStefan Hajnoczi  */
127887f0d882SKevin Wolf static int coroutine_fn qed_aio_read_data(void *opaque, int ret,
127987f0d882SKevin Wolf                                           uint64_t offset, size_t len)
1280eabba580SStefan Hajnoczi {
1281eabba580SStefan Hajnoczi     QEDAIOCB *acb = opaque;
1282eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
128348cc565eSKevin Wolf     BlockDriverState *bs = acb->bs;
12841f01e50bSPaolo Bonzini     int r;
12851f01e50bSPaolo Bonzini 
12861f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
1287eabba580SStefan Hajnoczi 
1288eabba580SStefan Hajnoczi     /* Adjust offset into cluster */
1289eabba580SStefan Hajnoczi     offset += qed_offset_into_cluster(s, acb->cur_pos);
1290eabba580SStefan Hajnoczi 
1291eabba580SStefan Hajnoczi     trace_qed_aio_read_data(s, acb, ret, offset, len);
1292eabba580SStefan Hajnoczi 
12931b093c48SMichael Tokarev     qemu_iovec_concat(&acb->cur_qiov, acb->qiov, acb->qiov_offset, len);
1294eabba580SStefan Hajnoczi 
12951f01e50bSPaolo Bonzini     /* Handle zero cluster and backing file reads, otherwise read
12961f01e50bSPaolo Bonzini      * data cluster directly.
12971f01e50bSPaolo Bonzini      */
129821df65b6SAnthony Liguori     if (ret == QED_CLUSTER_ZERO) {
12993d9b4925SMichael Tokarev         qemu_iovec_memset(&acb->cur_qiov, 0, 0, acb->cur_qiov.size);
13001f01e50bSPaolo Bonzini         r = 0;
130121df65b6SAnthony Liguori     } else if (ret != QED_CLUSTER_FOUND) {
1302365fed51SEric Blake         r = qed_read_backing_file(s, acb->cur_pos, &acb->cur_qiov);
13031f01e50bSPaolo Bonzini     } else {
13041f01e50bSPaolo Bonzini         BLKDBG_EVENT(bs->file, BLKDBG_READ_AIO);
13051f01e50bSPaolo Bonzini         r = bdrv_co_preadv(bs->file, offset, acb->cur_qiov.size,
13061f01e50bSPaolo Bonzini                            &acb->cur_qiov, 0);
1307eabba580SStefan Hajnoczi     }
1308eabba580SStefan Hajnoczi 
13091f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
13101f01e50bSPaolo Bonzini     return r;
1311eabba580SStefan Hajnoczi }
1312eabba580SStefan Hajnoczi 
1313eabba580SStefan Hajnoczi /**
1314eabba580SStefan Hajnoczi  * Begin next I/O or complete the request
1315eabba580SStefan Hajnoczi  */
131687f0d882SKevin Wolf static int coroutine_fn qed_aio_next_io(QEDAIOCB *acb)
1317eabba580SStefan Hajnoczi {
1318eabba580SStefan Hajnoczi     BDRVQEDState *s = acb_to_s(acb);
13190f21b7a1SKevin Wolf     uint64_t offset;
13200f21b7a1SKevin Wolf     size_t len;
1321dddf8db1SKevin Wolf     int ret;
1322eabba580SStefan Hajnoczi 
13231f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
132401859874SKevin Wolf     while (1) {
1325dddf8db1SKevin Wolf         trace_qed_aio_next_io(s, acb, 0, acb->cur_pos + acb->cur_qiov.size);
1326eabba580SStefan Hajnoczi 
1327eabba580SStefan Hajnoczi         acb->qiov_offset += acb->cur_qiov.size;
1328eabba580SStefan Hajnoczi         acb->cur_pos += acb->cur_qiov.size;
1329eabba580SStefan Hajnoczi         qemu_iovec_reset(&acb->cur_qiov);
1330eabba580SStefan Hajnoczi 
1331eabba580SStefan Hajnoczi         /* Complete request */
1332eabba580SStefan Hajnoczi         if (acb->cur_pos >= acb->end_pos) {
133348cc565eSKevin Wolf             ret = 0;
133448cc565eSKevin Wolf             break;
1335eabba580SStefan Hajnoczi         }
1336eabba580SStefan Hajnoczi 
1337eabba580SStefan Hajnoczi         /* Find next cluster and start I/O */
13380f21b7a1SKevin Wolf         len = acb->end_pos - acb->cur_pos;
13390f21b7a1SKevin Wolf         ret = qed_find_cluster(s, &acb->request, acb->cur_pos, &len, &offset);
13400596be7eSKevin Wolf         if (ret < 0) {
134148cc565eSKevin Wolf             break;
13420596be7eSKevin Wolf         }
13430596be7eSKevin Wolf 
13440596be7eSKevin Wolf         if (acb->flags & QED_AIOCB_WRITE) {
13450596be7eSKevin Wolf             ret = qed_aio_write_data(acb, ret, offset, len);
13460596be7eSKevin Wolf         } else {
13470596be7eSKevin Wolf             ret = qed_aio_read_data(acb, ret, offset, len);
13480596be7eSKevin Wolf         }
13490596be7eSKevin Wolf 
13500806c3b5SKevin Wolf         if (ret < 0 && ret != -EAGAIN) {
135148cc565eSKevin Wolf             break;
135201859874SKevin Wolf         }
1353eabba580SStefan Hajnoczi     }
1354eabba580SStefan Hajnoczi 
135548cc565eSKevin Wolf     trace_qed_aio_complete(s, acb, ret);
135648cc565eSKevin Wolf     qed_aio_complete(acb);
13571f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
135848cc565eSKevin Wolf     return ret;
135989f89709SKevin Wolf }
136089f89709SKevin Wolf 
136189f89709SKevin Wolf static int coroutine_fn qed_co_request(BlockDriverState *bs, int64_t sector_num,
136289f89709SKevin Wolf                                        QEMUIOVector *qiov, int nb_sectors,
136389f89709SKevin Wolf                                        int flags)
136489f89709SKevin Wolf {
136548cc565eSKevin Wolf     QEDAIOCB acb = {
136648cc565eSKevin Wolf         .bs         = bs,
136748cc565eSKevin Wolf         .cur_pos    = (uint64_t) sector_num * BDRV_SECTOR_SIZE,
136848cc565eSKevin Wolf         .end_pos    = (sector_num + nb_sectors) * BDRV_SECTOR_SIZE,
136948cc565eSKevin Wolf         .qiov       = qiov,
137048cc565eSKevin Wolf         .flags      = flags,
137189f89709SKevin Wolf     };
137248cc565eSKevin Wolf     qemu_iovec_init(&acb.cur_qiov, qiov->niov);
137389f89709SKevin Wolf 
137448cc565eSKevin Wolf     trace_qed_aio_setup(bs->opaque, &acb, sector_num, nb_sectors, NULL, flags);
1375eabba580SStefan Hajnoczi 
1376eabba580SStefan Hajnoczi     /* Start request */
137748cc565eSKevin Wolf     return qed_aio_next_io(&acb);
137889f89709SKevin Wolf }
137989f89709SKevin Wolf 
138089f89709SKevin Wolf static int coroutine_fn bdrv_qed_co_readv(BlockDriverState *bs,
138189f89709SKevin Wolf                                           int64_t sector_num, int nb_sectors,
138289f89709SKevin Wolf                                           QEMUIOVector *qiov)
138375411d23SStefan Hajnoczi {
138489f89709SKevin Wolf     return qed_co_request(bs, sector_num, qiov, nb_sectors, 0);
138575411d23SStefan Hajnoczi }
138675411d23SStefan Hajnoczi 
138789f89709SKevin Wolf static int coroutine_fn bdrv_qed_co_writev(BlockDriverState *bs,
138889f89709SKevin Wolf                                            int64_t sector_num, int nb_sectors,
1389e18a58b4SEric Blake                                            QEMUIOVector *qiov, int flags)
139075411d23SStefan Hajnoczi {
1391e18a58b4SEric Blake     assert(!flags);
139289f89709SKevin Wolf     return qed_co_request(bs, sector_num, qiov, nb_sectors, QED_AIOCB_WRITE);
13930e71be19SStefan Hajnoczi }
13940e71be19SStefan Hajnoczi 
139549a2e483SEric Blake static int coroutine_fn bdrv_qed_co_pwrite_zeroes(BlockDriverState *bs,
139649a2e483SEric Blake                                                   int64_t offset,
1397f34b2bcfSVladimir Sementsov-Ogievskiy                                                   int64_t bytes,
1398aa7bfbffSPeter Lieven                                                   BdrvRequestFlags flags)
13990e71be19SStefan Hajnoczi {
1400ef72f76eSStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
1401342544f9SVladimir Sementsov-Ogievskiy 
1402342544f9SVladimir Sementsov-Ogievskiy     /*
1403342544f9SVladimir Sementsov-Ogievskiy      * Zero writes start without an I/O buffer.  If a buffer becomes necessary
1404342544f9SVladimir Sementsov-Ogievskiy      * then it will be allocated during request processing.
1405342544f9SVladimir Sementsov-Ogievskiy      */
1406342544f9SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, bytes);
14070e71be19SStefan Hajnoczi 
1408f34b2bcfSVladimir Sementsov-Ogievskiy     /*
1409f34b2bcfSVladimir Sementsov-Ogievskiy      * QED is not prepared for 63bit write-zero requests, so rely on
1410f34b2bcfSVladimir Sementsov-Ogievskiy      * max_pwrite_zeroes.
1411f34b2bcfSVladimir Sementsov-Ogievskiy      */
1412f34b2bcfSVladimir Sementsov-Ogievskiy     assert(bytes <= INT_MAX);
1413f34b2bcfSVladimir Sementsov-Ogievskiy 
141449a2e483SEric Blake     /* Fall back if the request is not aligned */
141549a2e483SEric Blake     if (qed_offset_into_cluster(s, offset) ||
1416f5a5ca79SManos Pitsidianakis         qed_offset_into_cluster(s, bytes)) {
1417ef72f76eSStefan Hajnoczi         return -ENOTSUP;
1418ef72f76eSStefan Hajnoczi     }
1419ef72f76eSStefan Hajnoczi 
142089f89709SKevin Wolf     return qed_co_request(bs, offset >> BDRV_SECTOR_BITS, &qiov,
1421f5a5ca79SManos Pitsidianakis                           bytes >> BDRV_SECTOR_BITS,
14220e71be19SStefan Hajnoczi                           QED_AIOCB_WRITE | QED_AIOCB_ZERO);
14230e71be19SStefan Hajnoczi }
14240e71be19SStefan Hajnoczi 
1425061ca8a3SKevin Wolf static int coroutine_fn bdrv_qed_co_truncate(BlockDriverState *bs,
1426061ca8a3SKevin Wolf                                              int64_t offset,
1427c80d8b06SMax Reitz                                              bool exact,
1428061ca8a3SKevin Wolf                                              PreallocMode prealloc,
142992b92799SKevin Wolf                                              BdrvRequestFlags flags,
1430061ca8a3SKevin Wolf                                              Error **errp)
143175411d23SStefan Hajnoczi {
143277a5a000SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
143377a5a000SStefan Hajnoczi     uint64_t old_image_size;
143477a5a000SStefan Hajnoczi     int ret;
143577a5a000SStefan Hajnoczi 
14368243ccb7SMax Reitz     if (prealloc != PREALLOC_MODE_OFF) {
14378243ccb7SMax Reitz         error_setg(errp, "Unsupported preallocation mode '%s'",
1438977c736fSMarkus Armbruster                    PreallocMode_str(prealloc));
14398243ccb7SMax Reitz         return -ENOTSUP;
14408243ccb7SMax Reitz     }
14418243ccb7SMax Reitz 
144277a5a000SStefan Hajnoczi     if (!qed_is_image_size_valid(offset, s->header.cluster_size,
144377a5a000SStefan Hajnoczi                                  s->header.table_size)) {
1444f59adb32SMax Reitz         error_setg(errp, "Invalid image size specified");
144577a5a000SStefan Hajnoczi         return -EINVAL;
144677a5a000SStefan Hajnoczi     }
144777a5a000SStefan Hajnoczi 
144877a5a000SStefan Hajnoczi     if ((uint64_t)offset < s->header.image_size) {
1449f59adb32SMax Reitz         error_setg(errp, "Shrinking images is currently not supported");
145075411d23SStefan Hajnoczi         return -ENOTSUP;
145175411d23SStefan Hajnoczi     }
145275411d23SStefan Hajnoczi 
145377a5a000SStefan Hajnoczi     old_image_size = s->header.image_size;
145477a5a000SStefan Hajnoczi     s->header.image_size = offset;
145577a5a000SStefan Hajnoczi     ret = qed_write_header_sync(s);
145677a5a000SStefan Hajnoczi     if (ret < 0) {
145777a5a000SStefan Hajnoczi         s->header.image_size = old_image_size;
1458f59adb32SMax Reitz         error_setg_errno(errp, -ret, "Failed to update the image size");
145977a5a000SStefan Hajnoczi     }
146077a5a000SStefan Hajnoczi     return ret;
146177a5a000SStefan Hajnoczi }
146277a5a000SStefan Hajnoczi 
146375411d23SStefan Hajnoczi static int64_t bdrv_qed_getlength(BlockDriverState *bs)
146475411d23SStefan Hajnoczi {
146575411d23SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
146675411d23SStefan Hajnoczi     return s->header.image_size;
146775411d23SStefan Hajnoczi }
146875411d23SStefan Hajnoczi 
146975411d23SStefan Hajnoczi static int bdrv_qed_get_info(BlockDriverState *bs, BlockDriverInfo *bdi)
147075411d23SStefan Hajnoczi {
147175411d23SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
147275411d23SStefan Hajnoczi 
147375411d23SStefan Hajnoczi     memset(bdi, 0, sizeof(*bdi));
147475411d23SStefan Hajnoczi     bdi->cluster_size = s->header.cluster_size;
1475d68dbee8SDong Xu Wang     bdi->is_dirty = s->header.features & QED_F_NEED_CHECK;
147675411d23SStefan Hajnoczi     return 0;
147775411d23SStefan Hajnoczi }
147875411d23SStefan Hajnoczi 
147975411d23SStefan Hajnoczi static int bdrv_qed_change_backing_file(BlockDriverState *bs,
148075411d23SStefan Hajnoczi                                         const char *backing_file,
148175411d23SStefan Hajnoczi                                         const char *backing_fmt)
148275411d23SStefan Hajnoczi {
148375411d23SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
148475411d23SStefan Hajnoczi     QEDHeader new_header, le_header;
148575411d23SStefan Hajnoczi     void *buffer;
148675411d23SStefan Hajnoczi     size_t buffer_len, backing_file_len;
148775411d23SStefan Hajnoczi     int ret;
148875411d23SStefan Hajnoczi 
148975411d23SStefan Hajnoczi     /* Refuse to set backing filename if unknown compat feature bits are
149075411d23SStefan Hajnoczi      * active.  If the image uses an unknown compat feature then we may not
149175411d23SStefan Hajnoczi      * know the layout of data following the header structure and cannot safely
149275411d23SStefan Hajnoczi      * add a new string.
149375411d23SStefan Hajnoczi      */
149475411d23SStefan Hajnoczi     if (backing_file && (s->header.compat_features &
149575411d23SStefan Hajnoczi                          ~QED_COMPAT_FEATURE_MASK)) {
149675411d23SStefan Hajnoczi         return -ENOTSUP;
149775411d23SStefan Hajnoczi     }
149875411d23SStefan Hajnoczi 
149975411d23SStefan Hajnoczi     memcpy(&new_header, &s->header, sizeof(new_header));
150075411d23SStefan Hajnoczi 
150175411d23SStefan Hajnoczi     new_header.features &= ~(QED_F_BACKING_FILE |
150275411d23SStefan Hajnoczi                              QED_F_BACKING_FORMAT_NO_PROBE);
150375411d23SStefan Hajnoczi 
150475411d23SStefan Hajnoczi     /* Adjust feature flags */
150575411d23SStefan Hajnoczi     if (backing_file) {
150675411d23SStefan Hajnoczi         new_header.features |= QED_F_BACKING_FILE;
150775411d23SStefan Hajnoczi 
150875411d23SStefan Hajnoczi         if (qed_fmt_is_raw(backing_fmt)) {
150975411d23SStefan Hajnoczi             new_header.features |= QED_F_BACKING_FORMAT_NO_PROBE;
151075411d23SStefan Hajnoczi         }
151175411d23SStefan Hajnoczi     }
151275411d23SStefan Hajnoczi 
151375411d23SStefan Hajnoczi     /* Calculate new header size */
151475411d23SStefan Hajnoczi     backing_file_len = 0;
151575411d23SStefan Hajnoczi 
151675411d23SStefan Hajnoczi     if (backing_file) {
151775411d23SStefan Hajnoczi         backing_file_len = strlen(backing_file);
151875411d23SStefan Hajnoczi     }
151975411d23SStefan Hajnoczi 
152075411d23SStefan Hajnoczi     buffer_len = sizeof(new_header);
152175411d23SStefan Hajnoczi     new_header.backing_filename_offset = buffer_len;
152275411d23SStefan Hajnoczi     new_header.backing_filename_size = backing_file_len;
152375411d23SStefan Hajnoczi     buffer_len += backing_file_len;
152475411d23SStefan Hajnoczi 
152575411d23SStefan Hajnoczi     /* Make sure we can rewrite header without failing */
152675411d23SStefan Hajnoczi     if (buffer_len > new_header.header_size * new_header.cluster_size) {
152775411d23SStefan Hajnoczi         return -ENOSPC;
152875411d23SStefan Hajnoczi     }
152975411d23SStefan Hajnoczi 
153075411d23SStefan Hajnoczi     /* Prepare new header */
15317267c094SAnthony Liguori     buffer = g_malloc(buffer_len);
153275411d23SStefan Hajnoczi 
153375411d23SStefan Hajnoczi     qed_header_cpu_to_le(&new_header, &le_header);
153475411d23SStefan Hajnoczi     memcpy(buffer, &le_header, sizeof(le_header));
153575411d23SStefan Hajnoczi     buffer_len = sizeof(le_header);
153675411d23SStefan Hajnoczi 
1537feba23b1SPavel Borzenkov     if (backing_file) {
153875411d23SStefan Hajnoczi         memcpy(buffer + buffer_len, backing_file, backing_file_len);
153975411d23SStefan Hajnoczi         buffer_len += backing_file_len;
1540feba23b1SPavel Borzenkov     }
154175411d23SStefan Hajnoczi 
154275411d23SStefan Hajnoczi     /* Write new header */
154332cc71deSAlberto Faria     ret = bdrv_pwrite_sync(bs->file, 0, buffer_len, buffer, 0);
15447267c094SAnthony Liguori     g_free(buffer);
154575411d23SStefan Hajnoczi     if (ret == 0) {
154675411d23SStefan Hajnoczi         memcpy(&s->header, &new_header, sizeof(new_header));
154775411d23SStefan Hajnoczi     }
154875411d23SStefan Hajnoczi     return ret;
154975411d23SStefan Hajnoczi }
155075411d23SStefan Hajnoczi 
15512b148f39SPaolo Bonzini static void coroutine_fn bdrv_qed_co_invalidate_cache(BlockDriverState *bs,
15522b148f39SPaolo Bonzini                                                       Error **errp)
1553c82954e5SBenoît Canet {
15541f01e50bSPaolo Bonzini     BDRVQEDState *s = bs->opaque;
15555a8a30dbSKevin Wolf     int ret;
1556c82954e5SBenoît Canet 
1557c82954e5SBenoît Canet     bdrv_qed_close(bs);
15583456a8d1SKevin Wolf 
155961c7887eSPaolo Bonzini     bdrv_qed_init_state(bs);
15601f01e50bSPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
156115ce94a6SVladimir Sementsov-Ogievskiy     ret = bdrv_qed_do_open(bs, NULL, bs->open_flags, errp);
15621f01e50bSPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
156315ce94a6SVladimir Sementsov-Ogievskiy     if (ret < 0) {
156415ce94a6SVladimir Sementsov-Ogievskiy         error_prepend(errp, "Could not reopen qed layer: ");
15655a8a30dbSKevin Wolf     }
1566c82954e5SBenoît Canet }
1567c82954e5SBenoît Canet 
156854277a2aSVladimir Sementsov-Ogievskiy static int coroutine_fn bdrv_qed_co_check(BlockDriverState *bs,
156954277a2aSVladimir Sementsov-Ogievskiy                                           BdrvCheckResult *result,
15704534ff54SKevin Wolf                                           BdrvCheckMode fix)
157175411d23SStefan Hajnoczi {
157201979a98SStefan Hajnoczi     BDRVQEDState *s = bs->opaque;
15732fd61638SPaolo Bonzini     int ret;
157401979a98SStefan Hajnoczi 
15752fd61638SPaolo Bonzini     qemu_co_mutex_lock(&s->table_lock);
15762fd61638SPaolo Bonzini     ret = qed_check(s, result, !!fix);
15772fd61638SPaolo Bonzini     qemu_co_mutex_unlock(&s->table_lock);
15782fd61638SPaolo Bonzini 
15792fd61638SPaolo Bonzini     return ret;
158075411d23SStefan Hajnoczi }
158175411d23SStefan Hajnoczi 
15827ab74849SChunyan Liu static QemuOptsList qed_create_opts = {
15837ab74849SChunyan Liu     .name = "qed-create-opts",
15847ab74849SChunyan Liu     .head = QTAILQ_HEAD_INITIALIZER(qed_create_opts.head),
15857ab74849SChunyan Liu     .desc = {
158675411d23SStefan Hajnoczi         {
158775411d23SStefan Hajnoczi             .name = BLOCK_OPT_SIZE,
15887ab74849SChunyan Liu             .type = QEMU_OPT_SIZE,
15897ab74849SChunyan Liu             .help = "Virtual disk size"
15907ab74849SChunyan Liu         },
15917ab74849SChunyan Liu         {
159275411d23SStefan Hajnoczi             .name = BLOCK_OPT_BACKING_FILE,
15937ab74849SChunyan Liu             .type = QEMU_OPT_STRING,
159475411d23SStefan Hajnoczi             .help = "File name of a base image"
15957ab74849SChunyan Liu         },
15967ab74849SChunyan Liu         {
159775411d23SStefan Hajnoczi             .name = BLOCK_OPT_BACKING_FMT,
15987ab74849SChunyan Liu             .type = QEMU_OPT_STRING,
159975411d23SStefan Hajnoczi             .help = "Image format of the base image"
16007ab74849SChunyan Liu         },
16017ab74849SChunyan Liu         {
160275411d23SStefan Hajnoczi             .name = BLOCK_OPT_CLUSTER_SIZE,
16037ab74849SChunyan Liu             .type = QEMU_OPT_SIZE,
160499cce9faSKevin Wolf             .help = "Cluster size (in bytes)",
16057ab74849SChunyan Liu             .def_value_str = stringify(QED_DEFAULT_CLUSTER_SIZE)
16067ab74849SChunyan Liu         },
16077ab74849SChunyan Liu         {
160875411d23SStefan Hajnoczi             .name = BLOCK_OPT_TABLE_SIZE,
16097ab74849SChunyan Liu             .type = QEMU_OPT_SIZE,
161075411d23SStefan Hajnoczi             .help = "L1/L2 table size (in clusters)"
161175411d23SStefan Hajnoczi         },
161275411d23SStefan Hajnoczi         { /* end of list */ }
16137ab74849SChunyan Liu     }
161475411d23SStefan Hajnoczi };
161575411d23SStefan Hajnoczi 
161675411d23SStefan Hajnoczi static BlockDriver bdrv_qed = {
161775411d23SStefan Hajnoczi     .format_name              = "qed",
161875411d23SStefan Hajnoczi     .instance_size            = sizeof(BDRVQEDState),
16197ab74849SChunyan Liu     .create_opts              = &qed_create_opts,
1620d67066d8SMax Reitz     .is_format                = true,
16218ee79e70SKevin Wolf     .supports_backing         = true,
162275411d23SStefan Hajnoczi 
162375411d23SStefan Hajnoczi     .bdrv_probe               = bdrv_qed_probe,
162475411d23SStefan Hajnoczi     .bdrv_open                = bdrv_qed_open,
162575411d23SStefan Hajnoczi     .bdrv_close               = bdrv_qed_close,
1626f9cb20f1SJeff Cody     .bdrv_reopen_prepare      = bdrv_qed_reopen_prepare,
162769dca43dSMax Reitz     .bdrv_child_perm          = bdrv_default_perms,
1628959355a4SKevin Wolf     .bdrv_co_create           = bdrv_qed_co_create,
1629efc75e2aSStefan Hajnoczi     .bdrv_co_create_opts      = bdrv_qed_co_create_opts,
16303ac21627SPeter Lieven     .bdrv_has_zero_init       = bdrv_has_zero_init_1,
1631b8d739fdSEric Blake     .bdrv_co_block_status     = bdrv_qed_co_block_status,
163289f89709SKevin Wolf     .bdrv_co_readv            = bdrv_qed_co_readv,
163389f89709SKevin Wolf     .bdrv_co_writev           = bdrv_qed_co_writev,
163449a2e483SEric Blake     .bdrv_co_pwrite_zeroes    = bdrv_qed_co_pwrite_zeroes,
1635061ca8a3SKevin Wolf     .bdrv_co_truncate         = bdrv_qed_co_truncate,
163675411d23SStefan Hajnoczi     .bdrv_getlength           = bdrv_qed_getlength,
163775411d23SStefan Hajnoczi     .bdrv_get_info            = bdrv_qed_get_info,
1638d34682cdSKevin Wolf     .bdrv_refresh_limits      = bdrv_qed_refresh_limits,
163975411d23SStefan Hajnoczi     .bdrv_change_backing_file = bdrv_qed_change_backing_file,
16402b148f39SPaolo Bonzini     .bdrv_co_invalidate_cache = bdrv_qed_co_invalidate_cache,
16412fd61638SPaolo Bonzini     .bdrv_co_check            = bdrv_qed_co_check,
1642a8c868c3SStefan Hajnoczi     .bdrv_detach_aio_context  = bdrv_qed_detach_aio_context,
1643a8c868c3SStefan Hajnoczi     .bdrv_attach_aio_context  = bdrv_qed_attach_aio_context,
1644f8ea8dacSManos Pitsidianakis     .bdrv_co_drain_begin      = bdrv_qed_co_drain_begin,
164575411d23SStefan Hajnoczi };
164675411d23SStefan Hajnoczi 
164775411d23SStefan Hajnoczi static void bdrv_qed_init(void)
164875411d23SStefan Hajnoczi {
164975411d23SStefan Hajnoczi     bdrv_register(&bdrv_qed);
165075411d23SStefan Hajnoczi }
165175411d23SStefan Hajnoczi 
165275411d23SStefan Hajnoczi block_init(bdrv_qed_init);
1653