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