111a82d14SPhilippe Mathieu-Daudé#!/usr/bin/env bash 21ef7d010SKevin Wolf# 374021bc4SEric Blake# qcow2 specific bdrv_pwrite_zeroes tests with backing files (complements 034) 41ef7d010SKevin Wolf# 5fbaa6bb3SEric Blake# Copyright (C) 2016-2017 Red Hat, Inc. 61ef7d010SKevin Wolf# 71ef7d010SKevin Wolf# This program is free software; you can redistribute it and/or modify 81ef7d010SKevin Wolf# it under the terms of the GNU General Public License as published by 91ef7d010SKevin Wolf# the Free Software Foundation; either version 2 of the License, or 101ef7d010SKevin Wolf# (at your option) any later version. 111ef7d010SKevin Wolf# 121ef7d010SKevin Wolf# This program is distributed in the hope that it will be useful, 131ef7d010SKevin Wolf# but WITHOUT ANY WARRANTY; without even the implied warranty of 141ef7d010SKevin Wolf# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 151ef7d010SKevin Wolf# GNU General Public License for more details. 161ef7d010SKevin Wolf# 171ef7d010SKevin Wolf# You should have received a copy of the GNU General Public License 181ef7d010SKevin Wolf# along with this program. If not, see <http://www.gnu.org/licenses/>. 191ef7d010SKevin Wolf# 201ef7d010SKevin Wolf 211ef7d010SKevin Wolf# creator 221ef7d010SKevin Wolfowner=kwolf@redhat.com 231ef7d010SKevin Wolf 241ef7d010SKevin Wolfseq=`basename $0` 251ef7d010SKevin Wolfecho "QA output created by $seq" 261ef7d010SKevin Wolf 271ef7d010SKevin Wolfstatus=1 # failure is the default! 281ef7d010SKevin Wolf 291ef7d010SKevin Wolf_cleanup() 301ef7d010SKevin Wolf{ 311ef7d010SKevin Wolf _cleanup_test_img 321ef7d010SKevin Wolf} 331ef7d010SKevin Wolftrap "_cleanup; exit \$status" 0 1 2 3 15 341ef7d010SKevin Wolf 351ef7d010SKevin Wolf# get standard environment, filters and checks 361ef7d010SKevin Wolf. ./common.rc 371ef7d010SKevin Wolf. ./common.filter 381ef7d010SKevin Wolf 391ef7d010SKevin Wolf_supported_fmt qcow2 401ef7d010SKevin Wolf_supported_proto file 411ef7d010SKevin Wolf_supported_os Linux 421ef7d010SKevin Wolf 431ef7d010SKevin WolfCLUSTER_SIZE=4k 44fbaa6bb3SEric Blakesize=$((128 * 1024 * 1024)) 45fbaa6bb3SEric Blake 46fbaa6bb3SEric Blake# This test requires zero clusters, added in v3 images 47fbaa6bb3SEric Blake_unsupported_imgopts compat=0.10 481ef7d010SKevin Wolf 491ef7d010SKevin Wolfecho 501ef7d010SKevin Wolfecho == backing file contains zeros == 511ef7d010SKevin Wolf 521ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 53*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 541ef7d010SKevin Wolf 551ef7d010SKevin Wolf# Make sure that the whole cluster is allocated even for partial write_zeroes 561ef7d010SKevin Wolf# when the backing file contains zeros 571ef7d010SKevin Wolf 581ef7d010SKevin Wolf# X = non-zero data sector in backing file 591ef7d010SKevin Wolf# - = sector unallocated in whole backing chain 601ef7d010SKevin Wolf# 0 = sector touched by write_zeroes request 611ef7d010SKevin Wolf 621ef7d010SKevin Wolf# 1. Tail unaligned: 00 00 -- -- 631ef7d010SKevin Wolf# 2. Head unaligned: -- -- 00 00 641ef7d010SKevin Wolf# 3. Both unaligned: -- 00 00 -- 651ef7d010SKevin Wolf# 4. Both, 2 clusters: -- -- -- 00 | 00 -- -- -- 661ef7d010SKevin Wolf 671ef7d010SKevin Wolf$QEMU_IO -c "write -z 0 2k" "$TEST_IMG" | _filter_qemu_io 681ef7d010SKevin Wolf$QEMU_IO -c "write -z 10k 2k" "$TEST_IMG" | _filter_qemu_io 691ef7d010SKevin Wolf$QEMU_IO -c "write -z 17k 2k" "$TEST_IMG" | _filter_qemu_io 701ef7d010SKevin Wolf$QEMU_IO -c "write -z 27k 2k" "$TEST_IMG" | _filter_qemu_io 711ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 721ef7d010SKevin Wolf 731ef7d010SKevin Wolfecho 741ef7d010SKevin Wolfecho == backing file contains non-zero data before write_zeroes == 751ef7d010SKevin Wolf 761ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 77*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 781ef7d010SKevin Wolf 791ef7d010SKevin Wolf# Single cluster; non-zero data at the cluster start 801ef7d010SKevin Wolf# ... | XX -- 00 -- | ... 811ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 32k 1k" "$TEST_IMG.base" | _filter_qemu_io 821ef7d010SKevin Wolf$QEMU_IO -c "write -z 34k 1k" "$TEST_IMG" | _filter_qemu_io 831ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 32k 1k" "$TEST_IMG" | _filter_qemu_io 841ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 33k 3k" "$TEST_IMG" | _filter_qemu_io 851ef7d010SKevin Wolf 861ef7d010SKevin Wolf# Single cluster; non-zero data exists, but not at the cluster start 871ef7d010SKevin Wolf# ... | -- XX 00 -- | ... 881ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 65k 1k" "$TEST_IMG.base" | _filter_qemu_io 891ef7d010SKevin Wolf$QEMU_IO -c "write -z 66k 1k" "$TEST_IMG" | _filter_qemu_io 901ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 65k 1k" "$TEST_IMG" | _filter_qemu_io 911ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 64k 1k" "$TEST_IMG" | _filter_qemu_io 921ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 66k 2k" "$TEST_IMG" | _filter_qemu_io 931ef7d010SKevin Wolf 941ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 951ef7d010SKevin Wolf 961ef7d010SKevin Wolfecho 971ef7d010SKevin Wolfecho == backing file contains non-zero data after write_zeroes == 981ef7d010SKevin Wolf 991ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 100*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 1011ef7d010SKevin Wolf 1021ef7d010SKevin Wolf# Single cluster; non-zero data directly after request 1031ef7d010SKevin Wolf# ... | -- 00 XX -- | ... 1041ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 34k 1k" "$TEST_IMG.base" | _filter_qemu_io 1051ef7d010SKevin Wolf$QEMU_IO -c "write -z 33k 1k" "$TEST_IMG" | _filter_qemu_io 1061ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 32k 2k" "$TEST_IMG" | _filter_qemu_io 1071ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 34k 1k" "$TEST_IMG" | _filter_qemu_io 1081ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 35k 1k" "$TEST_IMG" | _filter_qemu_io 1091ef7d010SKevin Wolf 1101ef7d010SKevin Wolf# Single cluster; non-zero data exists, but not directly after request 1111ef7d010SKevin Wolf# ... | -- 00 -- XX | ... 1121ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 43k 1k" "$TEST_IMG.base" | _filter_qemu_io 1131ef7d010SKevin Wolf$QEMU_IO -c "write -z 41k 1k" "$TEST_IMG" | _filter_qemu_io 1141ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 43k 1k" "$TEST_IMG" | _filter_qemu_io 1151ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 40k 3k" "$TEST_IMG" | _filter_qemu_io 1161ef7d010SKevin Wolf 1171ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 1181ef7d010SKevin Wolf 1191ef7d010SKevin Wolfecho 12031ad4fdfSEric Blakeecho == write_zeroes covers non-zero data == 12131ad4fdfSEric Blake 12231ad4fdfSEric BlakeCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 123*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 12431ad4fdfSEric Blake 12531ad4fdfSEric Blake# non-zero data at front of request 12631ad4fdfSEric Blake# Backing file: -- XX -- -- 12731ad4fdfSEric Blake# Active layer: -- 00 00 -- 12831ad4fdfSEric Blake 12931ad4fdfSEric Blake$QEMU_IO -c "write -P 0x11 5k 1k" "$TEST_IMG.base" | _filter_qemu_io 13031ad4fdfSEric Blake$QEMU_IO -c "write -z 5k 2k" "$TEST_IMG" | _filter_qemu_io 13131ad4fdfSEric Blake$QEMU_IO -c "read -P 0 4k 4k" "$TEST_IMG" | _filter_qemu_io 13231ad4fdfSEric Blake 13331ad4fdfSEric Blake# non-zero data at end of request 13431ad4fdfSEric Blake# Backing file: -- -- XX -- 13531ad4fdfSEric Blake# Active layer: -- 00 00 -- 13631ad4fdfSEric Blake 13731ad4fdfSEric Blake$QEMU_IO -c "write -P 0x11 14k 1k" "$TEST_IMG.base" | _filter_qemu_io 13831ad4fdfSEric Blake$QEMU_IO -c "write -z 13k 2k" "$TEST_IMG" | _filter_qemu_io 13931ad4fdfSEric Blake$QEMU_IO -c "read -P 0 12k 4k" "$TEST_IMG" | _filter_qemu_io 14031ad4fdfSEric Blake 14131ad4fdfSEric Blake# non-zero data matches size of request 14231ad4fdfSEric Blake# Backing file: -- XX XX -- 14331ad4fdfSEric Blake# Active layer: -- 00 00 -- 14431ad4fdfSEric Blake 14531ad4fdfSEric Blake$QEMU_IO -c "write -P 0x11 21k 2k" "$TEST_IMG.base" | _filter_qemu_io 14631ad4fdfSEric Blake$QEMU_IO -c "write -z 21k 2k" "$TEST_IMG" | _filter_qemu_io 14731ad4fdfSEric Blake$QEMU_IO -c "read -P 0 20k 4k" "$TEST_IMG" | _filter_qemu_io 14831ad4fdfSEric Blake 14931ad4fdfSEric Blake# non-zero data smaller than request 15031ad4fdfSEric Blake# Backing file: -- -X X- -- 15131ad4fdfSEric Blake# Active layer: -- 00 00 -- 15231ad4fdfSEric Blake 15331ad4fdfSEric Blake$QEMU_IO -c "write -P 0x11 30208 1k" "$TEST_IMG.base" | _filter_qemu_io 15431ad4fdfSEric Blake$QEMU_IO -c "write -z 29k 2k" "$TEST_IMG" | _filter_qemu_io 15531ad4fdfSEric Blake$QEMU_IO -c "read -P 0 28k 4k" "$TEST_IMG" | _filter_qemu_io 15631ad4fdfSEric Blake 15731ad4fdfSEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 15831ad4fdfSEric Blake 15931ad4fdfSEric Blakeecho 1601ef7d010SKevin Wolfecho == spanning two clusters, non-zero before request == 1611ef7d010SKevin Wolf 1621ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 163*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 1641ef7d010SKevin Wolf 1651ef7d010SKevin Wolf# Two clusters; non-zero data before request: 1661ef7d010SKevin Wolf# 1. At cluster start: 32k: XX -- -- 00 | 00 -- -- -- 1671ef7d010SKevin Wolf# 2. Between unallocated space: 48k: -- XX -- 00 | 00 -- -- -- 1681ef7d010SKevin Wolf# 3. Directly before request: 64k: -- -- XX 00 | 00 -- -- -- 1691ef7d010SKevin Wolf 1701ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 32k 1k" "$TEST_IMG.base" | _filter_qemu_io 1711ef7d010SKevin Wolf$QEMU_IO -c "write -z 35k 2k" "$TEST_IMG" | _filter_qemu_io 1721ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 32k 1k" "$TEST_IMG" | _filter_qemu_io 1731ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 33k 7k" "$TEST_IMG" | _filter_qemu_io 1741ef7d010SKevin Wolf 1751ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 49k 1k" "$TEST_IMG.base" | _filter_qemu_io 1761ef7d010SKevin Wolf$QEMU_IO -c "write -z 51k 2k" "$TEST_IMG" | _filter_qemu_io 1771ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 48k 1k" "$TEST_IMG" | _filter_qemu_io 1781ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 49k 1k" "$TEST_IMG" | _filter_qemu_io 1791ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 50k 6k" "$TEST_IMG" | _filter_qemu_io 1801ef7d010SKevin Wolf 1811ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 66k 1k" "$TEST_IMG.base" | _filter_qemu_io 1821ef7d010SKevin Wolf$QEMU_IO -c "write -z 67k 2k" "$TEST_IMG" | _filter_qemu_io 1831ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 64k 2k" "$TEST_IMG" | _filter_qemu_io 1841ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 66k 1k" "$TEST_IMG" | _filter_qemu_io 1851ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 67k 5k" "$TEST_IMG" | _filter_qemu_io 1861ef7d010SKevin Wolf 1871ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 1881ef7d010SKevin Wolf 1891ef7d010SKevin Wolfecho 1901ef7d010SKevin Wolfecho == spanning two clusters, non-zero after request == 1911ef7d010SKevin Wolf 1921ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 193*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 1941ef7d010SKevin Wolf 1951ef7d010SKevin Wolf# Two clusters; non-zero data after request: 1961ef7d010SKevin Wolf# 1. Directly after request: 32k: -- -- -- 00 | 00 XX -- -- 1971ef7d010SKevin Wolf# 2. Between unallocated space: 48k: -- -- -- 00 | 00 -- XX -- 1981ef7d010SKevin Wolf# 3. At cluster end: 64k: -- -- -- 00 | 00 -- -- XX 1991ef7d010SKevin Wolf 2001ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 37k 1k" "$TEST_IMG.base" | _filter_qemu_io 2011ef7d010SKevin Wolf$QEMU_IO -c "write -z 35k 2k" "$TEST_IMG" | _filter_qemu_io 2021ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 32k 5k" "$TEST_IMG" | _filter_qemu_io 2031ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 37k 1k" "$TEST_IMG" | _filter_qemu_io 2041ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 38k 2k" "$TEST_IMG" | _filter_qemu_io 2051ef7d010SKevin Wolf 2061ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 54k 1k" "$TEST_IMG.base" | _filter_qemu_io 2071ef7d010SKevin Wolf$QEMU_IO -c "write -z 51k 2k" "$TEST_IMG" | _filter_qemu_io 2081ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 48k 6k" "$TEST_IMG" | _filter_qemu_io 2091ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 54k 1k" "$TEST_IMG" | _filter_qemu_io 2101ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 55k 1k" "$TEST_IMG" | _filter_qemu_io 2111ef7d010SKevin Wolf 2121ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 71k 1k" "$TEST_IMG.base" | _filter_qemu_io 2131ef7d010SKevin Wolf$QEMU_IO -c "write -z 67k 2k" "$TEST_IMG" | _filter_qemu_io 2141ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 64k 7k" "$TEST_IMG" | _filter_qemu_io 2151ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 71k 1k" "$TEST_IMG" | _filter_qemu_io 2161ef7d010SKevin Wolf 2171ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 2181ef7d010SKevin Wolf 2191ef7d010SKevin Wolfecho 2201ef7d010SKevin Wolfecho == spanning two clusters, partially overwriting backing file == 2211ef7d010SKevin Wolf 2221ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 223*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 2241ef7d010SKevin Wolf 2251ef7d010SKevin Wolf# Backing file: -- -- XX XX | XX XX -- -- 2261ef7d010SKevin Wolf# Active layer: -- -- XX 00 | 00 XX -- -- 2271ef7d010SKevin Wolf 2281ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 2k 4k" "$TEST_IMG.base" | _filter_qemu_io 2291ef7d010SKevin Wolf$QEMU_IO -c "write -z 3k 2k" "$TEST_IMG" | _filter_qemu_io 2301ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 0k 2k" "$TEST_IMG" | _filter_qemu_io 2311ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 2k 1k" "$TEST_IMG" | _filter_qemu_io 2321ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 3k 2k" "$TEST_IMG" | _filter_qemu_io 2331ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 5k 1k" "$TEST_IMG" | _filter_qemu_io 2341ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 6k 2k" "$TEST_IMG" | _filter_qemu_io 2351ef7d010SKevin Wolf 2361ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 2371ef7d010SKevin Wolf 2381ef7d010SKevin Wolfecho 2391ef7d010SKevin Wolfecho == spanning multiple clusters, non-zero in first cluster == 2401ef7d010SKevin Wolf 2411ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 242*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 2431ef7d010SKevin Wolf 2441ef7d010SKevin Wolf# Backing file: 64k: XX XX -- -- | -- -- -- -- | -- -- -- -- 2451ef7d010SKevin Wolf# Active layer: 64k: XX XX 00 00 | 00 00 00 00 | 00 -- -- -- 2461ef7d010SKevin Wolf 2471ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 64k 2k" "$TEST_IMG.base" | _filter_qemu_io 2481ef7d010SKevin Wolf$QEMU_IO -c "write -z 66k 7k" "$TEST_IMG" | _filter_qemu_io 2491ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 64k 2k" "$TEST_IMG" | _filter_qemu_io 2501ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 66k 10k" "$TEST_IMG" | _filter_qemu_io 2511ef7d010SKevin Wolf 2521ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 2531ef7d010SKevin Wolf 2541ef7d010SKevin Wolfecho 2551ef7d010SKevin Wolfecho == spanning multiple clusters, non-zero in intermediate cluster == 2561ef7d010SKevin Wolf 2571ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 258*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 2591ef7d010SKevin Wolf 2601ef7d010SKevin Wolf# Backing file: 64k: -- -- -- -- | -- XX XX -- | -- -- -- -- 2611ef7d010SKevin Wolf# Active layer: 64k: -- -- 00 00 | 00 00 00 00 | 00 -- -- -- 2621ef7d010SKevin Wolf 2631ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 69k 2k" "$TEST_IMG.base" | _filter_qemu_io 2641ef7d010SKevin Wolf$QEMU_IO -c "write -z 66k 7k" "$TEST_IMG" | _filter_qemu_io 2651ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 64k 12k" "$TEST_IMG" | _filter_qemu_io 2661ef7d010SKevin Wolf 2671ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 2681ef7d010SKevin Wolf 2691ef7d010SKevin Wolfecho 2701ef7d010SKevin Wolfecho == spanning multiple clusters, non-zero in final cluster == 2711ef7d010SKevin Wolf 2721ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 273*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 2741ef7d010SKevin Wolf 2751ef7d010SKevin Wolf# Backing file: 64k: -- -- -- -- | -- -- -- -- | -- -- XX XX 2761ef7d010SKevin Wolf# Active layer: 64k: -- -- 00 00 | 00 00 00 00 | 00 -- XX XX 2771ef7d010SKevin Wolf 2781ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 74k 2k" "$TEST_IMG.base" | _filter_qemu_io 2791ef7d010SKevin Wolf$QEMU_IO -c "write -z 66k 7k" "$TEST_IMG" | _filter_qemu_io 2801ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 64k 10k" "$TEST_IMG" | _filter_qemu_io 2811ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 74k 2k" "$TEST_IMG" | _filter_qemu_io 2821ef7d010SKevin Wolf 2831ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 2841ef7d010SKevin Wolf 2851ef7d010SKevin Wolfecho 2861ef7d010SKevin Wolfecho == spanning multiple clusters, partially overwriting backing file == 2871ef7d010SKevin Wolf 2881ef7d010SKevin WolfCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $size 289*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT 2901ef7d010SKevin Wolf 2911ef7d010SKevin Wolf# Backing file: 64k: -- XX XX XX | XX XX XX XX | XX XX XX -- 2921ef7d010SKevin Wolf# Active layer: 64k: -- XX 00 00 | 00 00 00 00 | 00 XX XX -- 2931ef7d010SKevin Wolf 2941ef7d010SKevin Wolf$QEMU_IO -c "write -P 0x11 65k 10k" "$TEST_IMG.base" | _filter_qemu_io 2951ef7d010SKevin Wolf$QEMU_IO -c "write -z 66k 7k" "$TEST_IMG" | _filter_qemu_io 2961ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 64k 1k" "$TEST_IMG" | _filter_qemu_io 2971ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 65k 1k" "$TEST_IMG" | _filter_qemu_io 2981ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 66k 7k" "$TEST_IMG" | _filter_qemu_io 2991ef7d010SKevin Wolf$QEMU_IO -c "read -P 0x11 73k 2k" "$TEST_IMG" | _filter_qemu_io 3001ef7d010SKevin Wolf$QEMU_IO -c "read -P 0 75k 1k" "$TEST_IMG" | _filter_qemu_io 3011ef7d010SKevin Wolf 3021ef7d010SKevin Wolf$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 3031ef7d010SKevin Wolf 304fbaa6bb3SEric Blakeecho 305fbaa6bb3SEric Blakeecho == unaligned image tail cluster, no allocation needed == 306fbaa6bb3SEric Blake 307fbaa6bb3SEric Blake# With no backing file, write to all or part of unallocated partial cluster 308fbaa6bb3SEric Blake# will mark the cluster as zero, but does not allocate. 309fbaa6bb3SEric Blake# Re-create the image each time to get back to unallocated clusters. 310fbaa6bb3SEric Blake 311fbaa6bb3SEric Blake# Write at the front: sector-wise, the request is: 128m... | 00 -- -- -- 312fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 313fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG" | _filter_qemu_io 314fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 315fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 316fbaa6bb3SEric Blake 317fbaa6bb3SEric Blake# Write at the back: sector-wise, the request is: 128m... | -- -- -- 00 318fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 319fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 320fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 321fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 322fbaa6bb3SEric Blake 323fbaa6bb3SEric Blake# Write at middle: sector-wise, the request is: 128m... | -- 00 00 -- 324fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 325fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 1024" "$TEST_IMG" | _filter_qemu_io 326fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 327fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 328fbaa6bb3SEric Blake 329fbaa6bb3SEric Blake# Write entire cluster: sector-wise, the request is: 128m... | 00 00 00 00 330fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 331fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 2048" "$TEST_IMG" | _filter_qemu_io 332fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 333fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 334fbaa6bb3SEric Blake 335fbaa6bb3SEric Blake# Repeat with backing file holding unallocated cluster. 336fbaa6bb3SEric BlakeCLUSTER_SIZE=2048 TEST_IMG="$TEST_IMG.base" _make_test_img $((size + 1024)) 337fbaa6bb3SEric Blake 338fbaa6bb3SEric Blake# Write at the front: sector-wise, the request is: 339fbaa6bb3SEric Blake# backing: 128m... | -- -- 340fbaa6bb3SEric Blake# active: 128m... | 00 -- -- -- 341*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 342fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG" | _filter_qemu_io 343fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 344fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 345fbaa6bb3SEric Blake 346fbaa6bb3SEric Blake# Write at the back: sector-wise, the request is: 347fbaa6bb3SEric Blake# backing: 128m... | -- -- 348fbaa6bb3SEric Blake# active: 128m... | -- -- -- 00 349*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 350fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 351fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 352fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 353fbaa6bb3SEric Blake 354fbaa6bb3SEric Blake# Write at middle: sector-wise, the request is: 355fbaa6bb3SEric Blake# backing: 128m... | -- -- 356fbaa6bb3SEric Blake# active: 128m... | -- 00 00 -- 357*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 358fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 1024" "$TEST_IMG" | _filter_qemu_io 359fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 360fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 361fbaa6bb3SEric Blake 362fbaa6bb3SEric Blake# Write entire cluster: sector-wise, the request is: 363fbaa6bb3SEric Blake# backing: 128m... | -- -- 364fbaa6bb3SEric Blake# active: 128m... | 00 00 00 00 365*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 366fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 2048" "$TEST_IMG" | _filter_qemu_io 367fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 368fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 369fbaa6bb3SEric Blake 370fbaa6bb3SEric Blake# Repeat with backing file holding zero'd cluster 371fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG.base" | _filter_qemu_io 372fbaa6bb3SEric Blake 373fbaa6bb3SEric Blake# Write at the front: sector-wise, the request is: 374fbaa6bb3SEric Blake# backing: 128m... | 00 00 375fbaa6bb3SEric Blake# active: 128m... | 00 -- -- -- 376*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 377fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG" | _filter_qemu_io 378fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 379fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 380fbaa6bb3SEric Blake 381fbaa6bb3SEric Blake# Write at the back: sector-wise, the request is: 382fbaa6bb3SEric Blake# backing: 128m... | 00 00 383fbaa6bb3SEric Blake# active: 128m... | -- -- -- 00 384*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 385fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 386fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 387fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 388fbaa6bb3SEric Blake 389fbaa6bb3SEric Blake# Write at middle: sector-wise, the request is: 390fbaa6bb3SEric Blake# backing: 128m... | 00 00 391fbaa6bb3SEric Blake# active: 128m... | -- 00 00 -- 392*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 393fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 1024" "$TEST_IMG" | _filter_qemu_io 394fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 395fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 396fbaa6bb3SEric Blake 397fbaa6bb3SEric Blake# Write entire cluster: sector-wise, the request is: 398fbaa6bb3SEric Blake# backing: 128m... | 00 00 399fbaa6bb3SEric Blake# active: 128m... | 00 00 00 00 400*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 401fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 2048" "$TEST_IMG" | _filter_qemu_io 402fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 403fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 404fbaa6bb3SEric Blake 405fbaa6bb3SEric Blake# A preallocated cluster maintains its allocation, whether it stays as 406fbaa6bb3SEric Blake# data due to a partial write: 407fbaa6bb3SEric Blake# Convert 128m... | XX XX => ... | XX 00 408fbaa6bb3SEric Blake_make_test_img $((size + 1024)) 409fbaa6bb3SEric Blake$QEMU_IO -c "write -P 1 $((size)) 1024" "$TEST_IMG" | _filter_qemu_io 410fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 411fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 412fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 413fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 1024" "$TEST_IMG" | _filter_qemu_io 414fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 415fbaa6bb3SEric Blake 416fbaa6bb3SEric Blake# or because it is the entire cluster and can use the zero flag: 417fbaa6bb3SEric Blake# Convert 128m... | XX XX => ... | 00 00 418fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size)) 1024" "$TEST_IMG" | _filter_qemu_io 419fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 1024" "$TEST_IMG" | _filter_qemu_io 420fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $size 1024" "$TEST_IMG" | _filter_qemu_io 421fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 422fbaa6bb3SEric Blake 423fbaa6bb3SEric Blakeecho 424fbaa6bb3SEric Blakeecho == unaligned image tail cluster, allocation required == 425fbaa6bb3SEric Blake 426fbaa6bb3SEric Blake# Write beyond backing file must COW 427fbaa6bb3SEric Blake# Backing file: 128m... | XX -- 428fbaa6bb3SEric Blake# Active layer: 128m... | -- -- 00 -- 429fbaa6bb3SEric BlakeCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $((size + 1024)) 430*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 431fbaa6bb3SEric Blake$QEMU_IO -c "write -P 1 $((size)) 512" "$TEST_IMG.base" | _filter_qemu_io 432fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1024)) 512" "$TEST_IMG" | _filter_qemu_io 433fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 434fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 512)) 1536" "$TEST_IMG" | _filter_qemu_io 435fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 436fbaa6bb3SEric Blake 437fbaa6bb3SEric Blake# Writes at boundaries of (partial) cluster must not lose mid-cluster data 438fbaa6bb3SEric Blake# Backing file: 128m: ... | -- XX 439fbaa6bb3SEric Blake# Active layer: 128m: ... | 00 -- -- 00 440fbaa6bb3SEric BlakeCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $((size + 1024)) 441*b66ff2c2SEric Blake_make_test_img -b "$TEST_IMG.base" -F $IMGFMT $((size + 2048)) 442fbaa6bb3SEric Blake$QEMU_IO -c "write -P 1 $((size + 512)) 512" "$TEST_IMG.base" | _filter_qemu_io 443fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size)) 512" "$TEST_IMG" | _filter_qemu_io 444fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 445fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 446fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 1024)) 1024" "$TEST_IMG" | _filter_qemu_io 447fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 448fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 449fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 450fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 1024)) 1024" "$TEST_IMG" | _filter_qemu_io 451fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 452fbaa6bb3SEric Blake 4531ef7d010SKevin Wolf# success, all done 4541ef7d010SKevin Wolfecho "*** done" 4551ef7d010SKevin Wolfrm -f $seq.full 4561ef7d010SKevin Wolfstatus=0 457