1f3d07ce8SThomas Huth#!/usr/bin/env bash 2*9dd003a9SVladimir Sementsov-Ogievskiy# group: rw auto quick 376b90e23SKevin Wolf# 476b90e23SKevin Wolf# Test qcow2 with external data files 576b90e23SKevin Wolf# 676b90e23SKevin Wolf# Copyright (C) 2019 Red Hat, Inc. 776b90e23SKevin Wolf# 876b90e23SKevin Wolf# This program is free software; you can redistribute it and/or modify 976b90e23SKevin Wolf# it under the terms of the GNU General Public License as published by 1076b90e23SKevin Wolf# the Free Software Foundation; either version 2 of the License, or 1176b90e23SKevin Wolf# (at your option) any later version. 1276b90e23SKevin Wolf# 1376b90e23SKevin Wolf# This program is distributed in the hope that it will be useful, 1476b90e23SKevin Wolf# but WITHOUT ANY WARRANTY; without even the implied warranty of 1576b90e23SKevin Wolf# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 1676b90e23SKevin Wolf# GNU General Public License for more details. 1776b90e23SKevin Wolf# 1876b90e23SKevin Wolf# You should have received a copy of the GNU General Public License 1976b90e23SKevin Wolf# along with this program. If not, see <http://www.gnu.org/licenses/>. 2076b90e23SKevin Wolf# 2176b90e23SKevin Wolf 2276b90e23SKevin Wolf# creator 2376b90e23SKevin Wolfowner=kwolf@redhat.com 2476b90e23SKevin Wolf 2576b90e23SKevin Wolfseq=$(basename $0) 2676b90e23SKevin Wolfecho "QA output created by $seq" 2776b90e23SKevin Wolf 2876b90e23SKevin Wolfstatus=1 # failure is the default! 2976b90e23SKevin Wolf 3076b90e23SKevin Wolf_cleanup() 3176b90e23SKevin Wolf{ 3276b90e23SKevin Wolf _cleanup_test_img 33f91ecbd7SMax Reitz _rm_test_img "$TEST_IMG.data" 34f91ecbd7SMax Reitz _rm_test_img "$TEST_IMG.src" 3576b90e23SKevin Wolf} 3676b90e23SKevin Wolftrap "_cleanup; exit \$status" 0 1 2 3 15 3776b90e23SKevin Wolf 3876b90e23SKevin Wolf# get standard environment, filters and checks 3976b90e23SKevin Wolf. ./common.rc 4076b90e23SKevin Wolf. ./common.filter 4176b90e23SKevin Wolf 4276b90e23SKevin Wolf_supported_fmt qcow2 4376b90e23SKevin Wolf_supported_proto file 4476b90e23SKevin Wolf_supported_os Linux 453be2024aSMax Reitz# External data files do not work with compat=0.10, and because we use 463be2024aSMax Reitz# our own external data file, we cannot let the user specify one 473be2024aSMax Reitz_unsupported_imgopts 'compat=0.10' data_file 4876b90e23SKevin Wolf 4976b90e23SKevin Wolfecho 5076b90e23SKevin Wolfecho "=== Create and open image with external data file ===" 5176b90e23SKevin Wolfecho 5276b90e23SKevin Wolf 5376b90e23SKevin Wolfecho "With data file name in the image:" 54407fb56aSMax Reitz_make_test_img -o "data_file=$TEST_IMG.data" 64M 5576b90e23SKevin Wolf_check_test_img 5676b90e23SKevin Wolf 5776b90e23SKevin Wolf$QEMU_IO -c "open $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 5876b90e23SKevin Wolf$QEMU_IO -c "open -odata-file.filename=$TEST_IMG.data $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 5976b90e23SKevin Wolf$QEMU_IO -c "open -odata-file.filename=inexistent $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 6076b90e23SKevin Wolf 6176b90e23SKevin Wolfecho 6276b90e23SKevin Wolfecho "Data file required, but without data file name in the image:" 6376b90e23SKevin Wolf$QEMU_IMG amend -odata_file= $TEST_IMG 6476b90e23SKevin Wolf 6576b90e23SKevin Wolf$QEMU_IO -c "open $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 6676b90e23SKevin Wolf$QEMU_IO -c "open -odata-file.filename=$TEST_IMG.data $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 6776b90e23SKevin Wolf$QEMU_IO -c "open -odata-file.filename=inexistent $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 6876b90e23SKevin Wolf 6976b90e23SKevin Wolfecho 7076b90e23SKevin Wolfecho "Setting data-file for an image with internal data:" 7176b90e23SKevin Wolf_make_test_img 64M 7276b90e23SKevin Wolf 7376b90e23SKevin Wolf$QEMU_IO -c "open -odata-file.filename=$TEST_IMG.data $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 7476b90e23SKevin Wolf$QEMU_IO -c "open -odata-file.filename=inexistent $TEST_IMG" -c "read -P 0 0 64k" 2>&1 | _filter_qemu_io | _filter_testdir 7576b90e23SKevin Wolf 7676b90e23SKevin Wolfecho 7776b90e23SKevin Wolfecho "=== Conflicting features ===" 7876b90e23SKevin Wolfecho 7976b90e23SKevin Wolf 8076b90e23SKevin Wolfecho "Convert to compressed target with data file:" 8176b90e23SKevin WolfTEST_IMG="$TEST_IMG.src" _make_test_img 64M 8276b90e23SKevin Wolf 8376b90e23SKevin Wolf$QEMU_IO -c 'write -P 0x11 0 1M' \ 8476b90e23SKevin Wolf -f $IMGFMT "$TEST_IMG.src" | 8576b90e23SKevin Wolf _filter_qemu_io 8676b90e23SKevin Wolf 8776b90e23SKevin Wolf$QEMU_IMG convert -f $IMGFMT -O $IMGFMT -c -odata_file="$TEST_IMG.data" \ 8876b90e23SKevin Wolf "$TEST_IMG.src" "$TEST_IMG" 8976b90e23SKevin Wolf 9076b90e23SKevin Wolfecho 9176b90e23SKevin Wolfecho "Convert uncompressed, then write compressed data manually:" 9276b90e23SKevin Wolf$QEMU_IMG convert -f $IMGFMT -O $IMGFMT -odata_file="$TEST_IMG.data" \ 9376b90e23SKevin Wolf "$TEST_IMG.src" "$TEST_IMG" 9476b90e23SKevin Wolf$QEMU_IMG compare "$TEST_IMG.src" "$TEST_IMG" 9576b90e23SKevin Wolf 9676b90e23SKevin Wolf$QEMU_IO -c 'write -c -P 0x22 0 1M' \ 9776b90e23SKevin Wolf -f $IMGFMT "$TEST_IMG" | 9876b90e23SKevin Wolf _filter_qemu_io 9976b90e23SKevin Wolf_check_test_img 10076b90e23SKevin Wolf 10176b90e23SKevin Wolfecho 10276b90e23SKevin Wolfecho "Take an internal snapshot:" 10376b90e23SKevin Wolf 10476b90e23SKevin Wolf$QEMU_IMG snapshot -c test "$TEST_IMG" 10576b90e23SKevin Wolf_check_test_img 10676b90e23SKevin Wolf 10776b90e23SKevin Wolfecho 10876b90e23SKevin Wolfecho "=== Standalone image with external data file (efficient) ===" 10976b90e23SKevin Wolfecho 11076b90e23SKevin Wolf 111407fb56aSMax Reitz_make_test_img -o "data_file=$TEST_IMG.data" 64M 11276b90e23SKevin Wolf 11376b90e23SKevin Wolfecho -n "qcow2 file size before I/O: " 11476b90e23SKevin Wolfdu -b $TEST_IMG | cut -f1 11576b90e23SKevin Wolf 11676b90e23SKevin Wolf# Create image with the following layout 11776b90e23SKevin Wolf# 0-1 MB: Unallocated 11876b90e23SKevin Wolf# 1-2 MB: Written (pattern 0x11) 11976b90e23SKevin Wolf# 2-3 MB: Discarded 12076b90e23SKevin Wolf# 3-4 MB: Zero write over discarded space 12176b90e23SKevin Wolf# 4-5 MB: Zero write over written space 12276b90e23SKevin Wolf# 5-6 MB: Zero write over unallocated space 12376b90e23SKevin Wolf 12476b90e23SKevin Wolfecho 12576b90e23SKevin Wolf$QEMU_IO -c 'write -P 0x11 1M 4M' \ 12676b90e23SKevin Wolf -c 'discard 2M 2M' \ 12776b90e23SKevin Wolf -c 'write -z 3M 3M' \ 12876b90e23SKevin Wolf -f $IMGFMT "$TEST_IMG" | 12976b90e23SKevin Wolf _filter_qemu_io 13076b90e23SKevin Wolf_check_test_img 13176b90e23SKevin Wolf 13276b90e23SKevin Wolfecho 13376b90e23SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" 13476b90e23SKevin Wolf 13576b90e23SKevin Wolfecho 13676b90e23SKevin Wolf$QEMU_IO -c 'read -P 0 0 1M' \ 13776b90e23SKevin Wolf -c 'read -P 0x11 1M 1M' \ 13876b90e23SKevin Wolf -c 'read -P 0 2M 4M' \ 13976b90e23SKevin Wolf -f $IMGFMT "$TEST_IMG" | 14076b90e23SKevin Wolf _filter_qemu_io 14176b90e23SKevin Wolf 14276b90e23SKevin Wolf# Zero clusters are only marked as such in the qcow2 metadata, but contain 14376b90e23SKevin Wolf# stale data in the external data file 14476b90e23SKevin Wolfecho 14576b90e23SKevin Wolf$QEMU_IO -c 'read -P 0 0 1M' \ 14676b90e23SKevin Wolf -c 'read -P 0x11 1M 1M' \ 14776b90e23SKevin Wolf -c 'read -P 0x11 4M 1M' \ 14876b90e23SKevin Wolf -c 'read -P 0 5M 1M' \ 14976b90e23SKevin Wolf -f raw "$TEST_IMG.data" | 15076b90e23SKevin Wolf _filter_qemu_io 15176b90e23SKevin Wolf 15276b90e23SKevin Wolf 15376b90e23SKevin Wolfecho -n "qcow2 file size after I/O: " 15476b90e23SKevin Wolfdu -b $TEST_IMG | cut -f1 15576b90e23SKevin Wolf 15676b90e23SKevin Wolfecho 15776b90e23SKevin Wolfecho "=== Standalone image with external data file (valid raw) ===" 15876b90e23SKevin Wolfecho 15976b90e23SKevin Wolf 160407fb56aSMax Reitz_make_test_img -o "data_file=$TEST_IMG.data,data_file_raw=on" 64M 16176b90e23SKevin Wolf 16276b90e23SKevin Wolfecho -n "qcow2 file size before I/O: " 16376b90e23SKevin Wolfdu -b $TEST_IMG | cut -f1 16476b90e23SKevin Wolf 16576b90e23SKevin Wolfecho 16676b90e23SKevin Wolf$QEMU_IO -c 'write -P 0x11 1M 4M' \ 16776b90e23SKevin Wolf -c 'discard 2M 2M' \ 16876b90e23SKevin Wolf -c 'write -z 3M 3M' \ 16976b90e23SKevin Wolf -f $IMGFMT "$TEST_IMG" | 17076b90e23SKevin Wolf _filter_qemu_io 17176b90e23SKevin Wolf_check_test_img 17276b90e23SKevin Wolf 17376b90e23SKevin Wolfecho 17476b90e23SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" 17576b90e23SKevin Wolf 17676b90e23SKevin Wolfecho 17776b90e23SKevin Wolf$QEMU_IO -c 'read -P 0 0 1M' \ 17876b90e23SKevin Wolf -c 'read -P 0x11 1M 1M' \ 17976b90e23SKevin Wolf -c 'read -P 0 2M 4M' \ 18076b90e23SKevin Wolf -f $IMGFMT "$TEST_IMG" | 18176b90e23SKevin Wolf _filter_qemu_io 18276b90e23SKevin Wolf 1833fb61087SPaolo Bonzini# Discarded clusters are only marked as such in the qcow2 metadata, but 1843fb61087SPaolo Bonzini# they can contain stale data in the external data file. Instead, zero 1853fb61087SPaolo Bonzini# clusters must be zeroed in the external data file too. 18676b90e23SKevin Wolfecho 1873fb61087SPaolo Bonzini$QEMU_IO -c 'read -P 0 0 1M' \ 1883fb61087SPaolo Bonzini -c 'read -P 0x11 1M 1M' \ 1893fb61087SPaolo Bonzini -c 'read -P 0 3M 3M' \ 1903fb61087SPaolo Bonzini -f raw "$TEST_IMG".data | 1913fb61087SPaolo Bonzini _filter_qemu_io 19276b90e23SKevin Wolf 19376b90e23SKevin Wolfecho -n "qcow2 file size after I/O: " 19476b90e23SKevin Wolfdu -b $TEST_IMG | cut -f1 19576b90e23SKevin Wolf 19676b90e23SKevin Wolfecho 19776b90e23SKevin Wolfecho "=== bdrv_co_block_status test for file and offset=0 ===" 19876b90e23SKevin Wolfecho 19976b90e23SKevin Wolf 200407fb56aSMax Reitz_make_test_img -o "data_file=$TEST_IMG.data" 64M 20176b90e23SKevin Wolf 20276b90e23SKevin Wolf$QEMU_IO -c 'write -P 0x11 0 1M' -f $IMGFMT "$TEST_IMG" | _filter_qemu_io 20376b90e23SKevin Wolf$QEMU_IO -c 'read -P 0x11 0 1M' -f $IMGFMT "$TEST_IMG" | _filter_qemu_io 20476b90e23SKevin Wolf$QEMU_IMG map --output=human "$TEST_IMG" | _filter_testdir 20576b90e23SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" 20676b90e23SKevin Wolf 207a0cf8dafSKevin Wolfecho 208a0cf8dafSKevin Wolfecho "=== Copy offloading ===" 209a0cf8dafSKevin Wolfecho 210a0cf8dafSKevin Wolf 211a0cf8dafSKevin Wolf# Make use of copy offloading if the test host can provide it 212a0cf8dafSKevin Wolf_make_test_img -o "data_file=$TEST_IMG.data" 64M 213a0cf8dafSKevin Wolf$QEMU_IMG convert -f $IMGFMT -O $IMGFMT -n -C "$TEST_IMG.src" "$TEST_IMG" 214a0cf8dafSKevin Wolf$QEMU_IMG compare -f $IMGFMT -F $IMGFMT "$TEST_IMG.src" "$TEST_IMG" 215a0cf8dafSKevin Wolf 216a0cf8dafSKevin Wolf# blkdebug doesn't support copy offloading, so this tests the error path 217a0cf8dafSKevin Wolf$QEMU_IMG amend -f $IMGFMT -o "data_file=blkdebug::$TEST_IMG.data" "$TEST_IMG" 218a0cf8dafSKevin Wolf$QEMU_IMG convert -f $IMGFMT -O $IMGFMT -n -C "$TEST_IMG.src" "$TEST_IMG" 219a0cf8dafSKevin Wolf$QEMU_IMG compare -f $IMGFMT -F $IMGFMT "$TEST_IMG.src" "$TEST_IMG" 220a0cf8dafSKevin Wolf 221c365625bSMax Reitzecho 222c365625bSMax Reitzecho "=== Flushing should flush the data file ===" 223c365625bSMax Reitzecho 224c365625bSMax Reitz 225c365625bSMax Reitz# We are going to flush a qcow2 file with a blkdebug node inserted 226c365625bSMax Reitz# between the qcow2 node and its data file node. The blkdebug node 227c365625bSMax Reitz# will return an error for all flushes and so we if the data file is 228c365625bSMax Reitz# flushed, we will see qemu-io return an error. 229c365625bSMax Reitz 230c365625bSMax Reitz# We need to write something or the flush will not do anything; we 231c365625bSMax Reitz# also need -t writeback so the write is not done as a FUA write 232c365625bSMax Reitz# (which would then fail thanks to the implicit flush) 233c365625bSMax Reitz$QEMU_IO -c 'write 0 512' -c flush \ 234c365625bSMax Reitz -t writeback \ 235c365625bSMax Reitz "json:{ 236c365625bSMax Reitz 'driver': 'qcow2', 237c365625bSMax Reitz 'file': { 238c365625bSMax Reitz 'driver': 'file', 239c365625bSMax Reitz 'filename': '$TEST_IMG' 240c365625bSMax Reitz }, 241c365625bSMax Reitz 'data-file': { 242c365625bSMax Reitz 'driver': 'blkdebug', 243c365625bSMax Reitz 'inject-error': [{ 244c365625bSMax Reitz 'event': 'none', 245c365625bSMax Reitz 'iotype': 'flush' 246c365625bSMax Reitz }], 247c365625bSMax Reitz 'image': { 248c365625bSMax Reitz 'driver': 'file', 249c365625bSMax Reitz 'filename': '$TEST_IMG.data' 250c365625bSMax Reitz } 251c365625bSMax Reitz } 252c365625bSMax Reitz }" \ 253c365625bSMax Reitz | _filter_qemu_io 254c365625bSMax Reitz 255c365625bSMax Reitzresult=${PIPESTATUS[0]} 256c365625bSMax Reitzecho 257c365625bSMax Reitz 258c365625bSMax Reitzcase $result in 259c365625bSMax Reitz 0) 260c365625bSMax Reitz echo "ERROR: qemu-io succeeded, so the data file was not flushed" 261c365625bSMax Reitz ;; 262c365625bSMax Reitz 1) 263c365625bSMax Reitz echo "Success: qemu-io failed, so the data file was flushed" 264c365625bSMax Reitz ;; 265c365625bSMax Reitz *) 266c365625bSMax Reitz echo "ERROR: qemu-io returned unknown exit code $result" 267c365625bSMax Reitz ;; 268c365625bSMax Reitzesac 269c365625bSMax Reitz 27076b90e23SKevin Wolf# success, all done 27176b90e23SKevin Wolfecho "*** done" 27276b90e23SKevin Wolfrm -f $seq.full 27376b90e23SKevin Wolfstatus=0 274