xref: /openbmc/qemu/tests/qemu-iotests/154 (revision fbaa6bb3d3b4be71b7e234e908cb3c6bd280a222)
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