11ef7d010SKevin Wolf#!/bin/bash 21ef7d010SKevin Wolf# 374021bc4SEric Blake# qcow2 specific bdrv_pwrite_zeroes tests with backing files (complements 034) 41ef7d010SKevin Wolf# 5*fbaa6bb3SEric 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 Wolfhere=`pwd` 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 411ef7d010SKevin Wolf_supported_proto file 421ef7d010SKevin Wolf_supported_os Linux 431ef7d010SKevin Wolf 441ef7d010SKevin WolfCLUSTER_SIZE=4k 45*fbaa6bb3SEric Blakesize=$((128 * 1024 * 1024)) 46*fbaa6bb3SEric Blake 47*fbaa6bb3SEric Blake# This test requires zero clusters, added in v3 images 48*fbaa6bb3SEric 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 541ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 781ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 1011ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 12431ad4fdfSEric Blake_make_test_img -b "$TEST_IMG.base" 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 1641ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 1941ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 2241ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 2431ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 2591ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 2741ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 2901ef7d010SKevin Wolf_make_test_img -b "$TEST_IMG.base" 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 305*fbaa6bb3SEric Blakeecho 306*fbaa6bb3SEric Blakeecho == unaligned image tail cluster, no allocation needed == 307*fbaa6bb3SEric Blake 308*fbaa6bb3SEric Blake# With no backing file, write to all or part of unallocated partial cluster 309*fbaa6bb3SEric Blake# will mark the cluster as zero, but does not allocate. 310*fbaa6bb3SEric Blake# Re-create the image each time to get back to unallocated clusters. 311*fbaa6bb3SEric Blake 312*fbaa6bb3SEric Blake# Write at the front: sector-wise, the request is: 128m... | 00 -- -- -- 313*fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 314*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG" | _filter_qemu_io 315*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 316*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 317*fbaa6bb3SEric Blake 318*fbaa6bb3SEric Blake# Write at the back: sector-wise, the request is: 128m... | -- -- -- 00 319*fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 320*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 321*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 322*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 323*fbaa6bb3SEric Blake 324*fbaa6bb3SEric Blake# Write at middle: sector-wise, the request is: 128m... | -- 00 00 -- 325*fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 326*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 1024" "$TEST_IMG" | _filter_qemu_io 327*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 328*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 329*fbaa6bb3SEric Blake 330*fbaa6bb3SEric Blake# Write entire cluster: sector-wise, the request is: 128m... | 00 00 00 00 331*fbaa6bb3SEric Blake_make_test_img $((size + 2048)) 332*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 2048" "$TEST_IMG" | _filter_qemu_io 333*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 334*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 335*fbaa6bb3SEric Blake 336*fbaa6bb3SEric Blake# Repeat with backing file holding unallocated cluster. 337*fbaa6bb3SEric Blake# TODO: Note that this forces an allocation, because we aren't yet able to 338*fbaa6bb3SEric Blake# quickly detect that reads beyond EOF of the backing file are always zero 339*fbaa6bb3SEric BlakeCLUSTER_SIZE=2048 TEST_IMG="$TEST_IMG.base" _make_test_img $((size + 1024)) 340*fbaa6bb3SEric Blake 341*fbaa6bb3SEric Blake# Write at the front: sector-wise, the request is: 342*fbaa6bb3SEric Blake# backing: 128m... | -- -- 343*fbaa6bb3SEric Blake# active: 128m... | 00 -- -- -- 344*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 345*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG" | _filter_qemu_io 346*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 347*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 348*fbaa6bb3SEric Blake 349*fbaa6bb3SEric Blake# Write at the back: sector-wise, the request is: 350*fbaa6bb3SEric Blake# backing: 128m... | -- -- 351*fbaa6bb3SEric Blake# active: 128m... | -- -- -- 00 352*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 353*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 354*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 355*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 356*fbaa6bb3SEric Blake 357*fbaa6bb3SEric Blake# Write at middle: sector-wise, the request is: 358*fbaa6bb3SEric Blake# backing: 128m... | -- -- 359*fbaa6bb3SEric Blake# active: 128m... | -- 00 00 -- 360*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 361*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 1024" "$TEST_IMG" | _filter_qemu_io 362*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 363*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 364*fbaa6bb3SEric Blake 365*fbaa6bb3SEric Blake# Write entire cluster: sector-wise, the request is: 366*fbaa6bb3SEric Blake# backing: 128m... | -- -- 367*fbaa6bb3SEric Blake# active: 128m... | 00 00 00 00 368*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 369*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 2048" "$TEST_IMG" | _filter_qemu_io 370*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 371*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 372*fbaa6bb3SEric Blake 373*fbaa6bb3SEric Blake# Repeat with backing file holding zero'd cluster 374*fbaa6bb3SEric Blake# TODO: Note that this forces an allocation, because we aren't yet able to 375*fbaa6bb3SEric Blake# quickly detect that reads beyond EOF of the backing file are always zero 376*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG.base" | _filter_qemu_io 377*fbaa6bb3SEric Blake 378*fbaa6bb3SEric Blake# Write at the front: sector-wise, the request is: 379*fbaa6bb3SEric Blake# backing: 128m... | 00 00 380*fbaa6bb3SEric Blake# active: 128m... | 00 -- -- -- 381*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 382*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 512" "$TEST_IMG" | _filter_qemu_io 383*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 384*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 385*fbaa6bb3SEric Blake 386*fbaa6bb3SEric Blake# Write at the back: sector-wise, the request is: 387*fbaa6bb3SEric Blake# backing: 128m... | 00 00 388*fbaa6bb3SEric Blake# active: 128m... | -- -- -- 00 389*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 390*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 391*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 392*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 393*fbaa6bb3SEric Blake 394*fbaa6bb3SEric Blake# Write at middle: sector-wise, the request is: 395*fbaa6bb3SEric Blake# backing: 128m... | 00 00 396*fbaa6bb3SEric Blake# active: 128m... | -- 00 00 -- 397*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 398*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 1024" "$TEST_IMG" | _filter_qemu_io 399*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 400*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 401*fbaa6bb3SEric Blake 402*fbaa6bb3SEric Blake# Write entire cluster: sector-wise, the request is: 403*fbaa6bb3SEric Blake# backing: 128m... | 00 00 404*fbaa6bb3SEric Blake# active: 128m... | 00 00 00 00 405*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 406*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $size 2048" "$TEST_IMG" | _filter_qemu_io 407*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 2048" "$TEST_IMG" | _filter_qemu_io 408*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 409*fbaa6bb3SEric Blake 410*fbaa6bb3SEric Blake# A preallocated cluster maintains its allocation, whether it stays as 411*fbaa6bb3SEric Blake# data due to a partial write: 412*fbaa6bb3SEric Blake# Convert 128m... | XX XX => ... | XX 00 413*fbaa6bb3SEric Blake_make_test_img $((size + 1024)) 414*fbaa6bb3SEric Blake$QEMU_IO -c "write -P 1 $((size)) 1024" "$TEST_IMG" | _filter_qemu_io 415*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 416*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 417*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 418*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 1024" "$TEST_IMG" | _filter_qemu_io 419*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 420*fbaa6bb3SEric Blake 421*fbaa6bb3SEric Blake# or because it is the entire cluster and can use the zero flag: 422*fbaa6bb3SEric Blake# Convert 128m... | XX XX => ... | 00 00 423*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size)) 1024" "$TEST_IMG" | _filter_qemu_io 424*fbaa6bb3SEric Blake$QEMU_IO -c "alloc $size 1024" "$TEST_IMG" | _filter_qemu_io 425*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $size 1024" "$TEST_IMG" | _filter_qemu_io 426*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 427*fbaa6bb3SEric Blake 428*fbaa6bb3SEric Blakeecho 429*fbaa6bb3SEric Blakeecho == unaligned image tail cluster, allocation required == 430*fbaa6bb3SEric Blake 431*fbaa6bb3SEric Blake# Write beyond backing file must COW 432*fbaa6bb3SEric Blake# Backing file: 128m... | XX -- 433*fbaa6bb3SEric Blake# Active layer: 128m... | -- -- 00 -- 434*fbaa6bb3SEric BlakeCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $((size + 1024)) 435*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 436*fbaa6bb3SEric Blake$QEMU_IO -c "write -P 1 $((size)) 512" "$TEST_IMG.base" | _filter_qemu_io 437*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1024)) 512" "$TEST_IMG" | _filter_qemu_io 438*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 439*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 512)) 1536" "$TEST_IMG" | _filter_qemu_io 440*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 441*fbaa6bb3SEric Blake 442*fbaa6bb3SEric Blake# Writes at boundaries of (partial) cluster must not lose mid-cluster data 443*fbaa6bb3SEric Blake# Backing file: 128m: ... | -- XX 444*fbaa6bb3SEric Blake# Active layer: 128m: ... | 00 -- -- 00 445*fbaa6bb3SEric BlakeCLUSTER_SIZE=512 TEST_IMG="$TEST_IMG.base" _make_test_img $((size + 1024)) 446*fbaa6bb3SEric Blake_make_test_img -b "$TEST_IMG.base" $((size + 2048)) 447*fbaa6bb3SEric Blake$QEMU_IO -c "write -P 1 $((size + 512)) 512" "$TEST_IMG.base" | _filter_qemu_io 448*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size)) 512" "$TEST_IMG" | _filter_qemu_io 449*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 450*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 451*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 1024)) 1024" "$TEST_IMG" | _filter_qemu_io 452*fbaa6bb3SEric Blake$QEMU_IO -c "write -z $((size + 1536)) 512" "$TEST_IMG" | _filter_qemu_io 453*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size)) 512" "$TEST_IMG" | _filter_qemu_io 454*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 1 $((size + 512)) 512" "$TEST_IMG" | _filter_qemu_io 455*fbaa6bb3SEric Blake$QEMU_IO -c "read -P 0 $((size + 1024)) 1024" "$TEST_IMG" | _filter_qemu_io 456*fbaa6bb3SEric Blake$QEMU_IMG map --output=json "$TEST_IMG" | _filter_qemu_img_map 457*fbaa6bb3SEric Blake 4581ef7d010SKevin Wolf# success, all done 4591ef7d010SKevin Wolfecho "*** done" 4601ef7d010SKevin Wolfrm -f $seq.full 4611ef7d010SKevin Wolfstatus=0 462