xref: /openbmc/qemu/tests/qemu-iotests/125 (revision 8e958260c5a562f3be08beef2055975c04836200)
111a82d14SPhilippe Mathieu-Daudé#!/usr/bin/env bash
2ced14843SMax Reitz#
3ced14843SMax Reitz# Test preallocated growth of qcow2 images
4ced14843SMax Reitz#
5ced14843SMax Reitz# Copyright (C) 2017 Red Hat, Inc.
6ced14843SMax Reitz#
7ced14843SMax Reitz# This program is free software; you can redistribute it and/or modify
8ced14843SMax Reitz# it under the terms of the GNU General Public License as published by
9ced14843SMax Reitz# the Free Software Foundation; either version 2 of the License, or
10ced14843SMax Reitz# (at your option) any later version.
11ced14843SMax Reitz#
12ced14843SMax Reitz# This program is distributed in the hope that it will be useful,
13ced14843SMax Reitz# but WITHOUT ANY WARRANTY; without even the implied warranty of
14ced14843SMax Reitz# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15ced14843SMax Reitz# GNU General Public License for more details.
16ced14843SMax Reitz#
17ced14843SMax Reitz# You should have received a copy of the GNU General Public License
18ced14843SMax Reitz# along with this program.  If not, see <http://www.gnu.org/licenses/>.
19ced14843SMax Reitz#
20ced14843SMax Reitz
21ced14843SMax Reitz# creator
22ced14843SMax Reitzowner=mreitz@redhat.com
23ced14843SMax Reitz
24ced14843SMax Reitzseq=$(basename $0)
25ced14843SMax Reitzecho "QA output created by $seq"
26ced14843SMax Reitz
27ced14843SMax Reitzstatus=1	# failure is the default!
28ced14843SMax Reitz
29ced14843SMax Reitz_cleanup()
30ced14843SMax Reitz{
31ced14843SMax Reitz	_cleanup_test_img
32ced14843SMax Reitz}
33ced14843SMax Reitztrap "_cleanup; exit \$status" 0 1 2 3 15
34ced14843SMax Reitz
35ced14843SMax Reitzget_image_size_on_host()
36ced14843SMax Reitz{
37f2d86adeSMax Reitz    echo $(($(stat -c '%b * %B' "$TEST_IMG_FILE")))
38ced14843SMax Reitz}
39ced14843SMax Reitz
40ced14843SMax Reitz# get standard environment and filters
41ced14843SMax Reitz. ./common.rc
42ced14843SMax Reitz. ./common.filter
43ced14843SMax Reitz
44ced14843SMax Reitz_supported_fmt qcow2
45ced14843SMax Reitz_supported_proto file
46*8e958260SAlberto Garcia# Growing a file with a backing file (without preallocation=full or
47*8e958260SAlberto Garcia# =falloc) requires zeroing the newly added area, which is impossible
48*8e958260SAlberto Garcia# to do quickly for v2 images, and hence is unsupported.
49*8e958260SAlberto Garcia_unsupported_imgopts 'compat=0.10'
50ced14843SMax Reitz
51ced14843SMax Reitzif [ -z "$TEST_IMG_FILE" ]; then
52ced14843SMax Reitz    TEST_IMG_FILE=$TEST_IMG
53ced14843SMax Reitzfi
54ced14843SMax Reitz
55285f595dSMax Reitz# Test whether we are running on a broken XFS version.  There is this
56285f595dSMax Reitz# bug:
57285f595dSMax Reitz
58285f595dSMax Reitz# $ rm -f foo
59285f595dSMax Reitz# $ touch foo
60285f595dSMax Reitz# $ block_size=4096 # Your FS's block size
61285f595dSMax Reitz# $ fallocate -o $((block_size / 2)) -l $block_size foo
62285f595dSMax Reitz# $ LANG=C xfs_bmap foo | grep hole
63285f595dSMax Reitz#         1: [8..15]: hole
64285f595dSMax Reitz#
65285f595dSMax Reitz# The problem is that the XFS driver rounds down the offset and
66285f595dSMax Reitz# rounds up the length to the block size, but independently.  As
67285f595dSMax Reitz# such, it only allocates the first block in the example above,
68285f595dSMax Reitz# even though it should allocate the first two blocks (because our
69285f595dSMax Reitz# request is to fallocate something that touches both the first
70285f595dSMax Reitz# two blocks).
71285f595dSMax Reitz#
72285f595dSMax Reitz# This means that when you then write to the beginning of the
73285f595dSMax Reitz# second block, the disk usage of the first two blocks grows.
74285f595dSMax Reitz#
75285f595dSMax Reitz# That is precisely what fallocate() promises, though: That when you
76285f595dSMax Reitz# write to an area that you have fallocated, no new blocks will have
77285f595dSMax Reitz# to be allocated.
78285f595dSMax Reitz
79285f595dSMax Reitztouch "$TEST_IMG_FILE"
80285f595dSMax Reitz# Assuming there is no FS with a block size greater than 64k
81285f595dSMax Reitzfallocate -o 65535 -l 2 "$TEST_IMG_FILE"
82285f595dSMax Reitzlen0=$(get_image_size_on_host)
83285f595dSMax Reitz
84285f595dSMax Reitz# Write to something that in theory we have just fallocated
85285f595dSMax Reitz# (Thus, the on-disk size should not increase)
86285f595dSMax Reitzpoke_file "$TEST_IMG_FILE" 65536 42
87285f595dSMax Reitzlen1=$(get_image_size_on_host)
88285f595dSMax Reitz
89285f595dSMax Reitzif [ $len1 -gt $len0 ]; then
90285f595dSMax Reitz    _notrun "the test filesystem's fallocate() is broken"
91285f595dSMax Reitzfi
92285f595dSMax Reitz
93285f595dSMax Reitzrm -f "$TEST_IMG_FILE"
94285f595dSMax Reitz
95ced14843SMax Reitz# Generally, we create some image with or without existing preallocation and
96ced14843SMax Reitz# then resize it. Then we write some data into the image and verify that its
97ced14843SMax Reitz# size does not change if we have used preallocation.
98ced14843SMax Reitz
99ced14843SMax Reitz# With a cluster size of 512 B, one L2 table covers 64 * 512 B = 32 kB.
100ced14843SMax Reitz# One cluster of the L1 table covers 64 * 32 kB = 2 MB.
101ced14843SMax Reitz# There are multiple cases we want to test:
102ced14843SMax Reitz# (1) Grow an image without having to allocate a new L2 table.
103ced14843SMax Reitz# (2) Grow an image, having to allocate a new L2 table.
104ced14843SMax Reitz# (3) Grow an image, having to grow the L1 table.
105ced14843SMax Reitz# Therefore, we create an image that is 48 kB below 2 MB. Then:
106ced14843SMax Reitz# (1) We resize it to 2 MB - 32 kB. (+ 16 kB)
107ced14843SMax Reitz# (2) We resize it to 2 MB.         (+ 48 kB)
108ced14843SMax Reitz# (3) We resize it to 2 MB + 32 kB. (+ 80 kB)
109ced14843SMax Reitz
110ced14843SMax Reitz# in B
111ced14843SMax ReitzCREATION_SIZE=$((2 * 1024 * 1024 - 48 * 1024))
112ced14843SMax Reitz
1134c112a39SMax Reitz# 512 is the actual test -- but it's good to test 64k as well, just to be sure.
1144c112a39SMax Reitzfor cluster_size in 512 64k; do
115ced14843SMax Reitz# in kB
116ced14843SMax Reitzfor GROWTH_SIZE in 16 48 80; do
117ced14843SMax Reitz    for create_mode in off metadata falloc full; do
118ced14843SMax Reitz        for growth_mode in off metadata falloc full; do
1194c112a39SMax Reitz            echo "--- cluster_size=$cluster_size growth_size=$GROWTH_SIZE create_mode=$create_mode growth_mode=$growth_mode ---"
120ced14843SMax Reitz
121407fb56aSMax Reitz            _make_test_img -o "preallocation=$create_mode,cluster_size=$cluster_size" ${CREATION_SIZE}
122ced14843SMax Reitz            $QEMU_IMG resize -f "$IMGFMT" --preallocation=$growth_mode "$TEST_IMG" +${GROWTH_SIZE}K
123ced14843SMax Reitz
124ced14843SMax Reitz            host_size_0=$(get_image_size_on_host)
125ced14843SMax Reitz            file_length_0=$(stat -c '%s' "$TEST_IMG_FILE")
126ced14843SMax Reitz
127ced14843SMax Reitz            $QEMU_IO -c "write 0 $CREATION_SIZE" "$TEST_IMG" | _filter_qemu_io
128ced14843SMax Reitz
129ced14843SMax Reitz            host_size_1=$(get_image_size_on_host)
130ced14843SMax Reitz            file_length_1=$(stat -c '%s' "$TEST_IMG_FILE")
131ced14843SMax Reitz
132ced14843SMax Reitz            $QEMU_IO -c "write $CREATION_SIZE ${GROWTH_SIZE}K" "$TEST_IMG" | _filter_qemu_io
133ced14843SMax Reitz
134ced14843SMax Reitz            host_size_2=$(get_image_size_on_host)
135ced14843SMax Reitz            file_length_2=$(stat -c '%s' "$TEST_IMG_FILE")
136ced14843SMax Reitz
137ced14843SMax Reitz            # Test creation preallocation: Compare #0 against #1
138ced14843SMax Reitz            if [ $create_mode != off ]; then
139ced14843SMax Reitz                # The image length should not have grown
140ced14843SMax Reitz                if [ $file_length_1 -gt $file_length_0 ]; then
141ced14843SMax Reitz                    echo "ERROR (create): Image length has grown from $file_length_0 to $file_length_1"
142ced14843SMax Reitz                fi
143ced14843SMax Reitz                if [ $create_mode != metadata ]; then
144ced14843SMax Reitz                    # The host size should not have grown either
145ced14843SMax Reitz                    if [ $host_size_1 -gt $host_size_0 ]; then
146ced14843SMax Reitz                        echo "ERROR (create): Host size has grown from $host_size_0 to $host_size_1"
147ced14843SMax Reitz                    fi
148ced14843SMax Reitz                fi
149ced14843SMax Reitz            fi
150ced14843SMax Reitz
151ced14843SMax Reitz            # Test resize preallocation: Compare #2 against #1
152ced14843SMax Reitz            if [ $growth_mode != off ]; then
153ced14843SMax Reitz                # The image length should not have grown
154ced14843SMax Reitz                if [ $file_length_2 -gt $file_length_1 ]; then
155ced14843SMax Reitz                    echo "ERROR (grow): Image length has grown from $file_length_1 to $file_length_2"
156ced14843SMax Reitz                fi
157e6e8db03SMax Reitz                if [ $growth_mode != metadata ]; then
158ced14843SMax Reitz                    # The host size should not have grown either
159ced14843SMax Reitz                    if [ $host_size_2 -gt $host_size_1 ]; then
160ced14843SMax Reitz                        echo "ERROR (grow): Host size has grown from $host_size_1 to $host_size_2"
161ced14843SMax Reitz                    fi
162ced14843SMax Reitz                fi
163ced14843SMax Reitz            fi
164ced14843SMax Reitz
165ced14843SMax Reitz            echo
166ced14843SMax Reitz        done
167ced14843SMax Reitz    done
168ced14843SMax Reitzdone
1694c112a39SMax Reitzdone
170ced14843SMax Reitz
171a5675f39SAlberto Garcia# Test image resizing using preallocation and unaligned offsets
172a5675f39SAlberto Garcia$QEMU_IMG create -f raw "$TEST_IMG.base" 128k | _filter_img_create
173a5675f39SAlberto Garcia$QEMU_IO -c 'write -q -P 1 0 128k' -f raw "$TEST_IMG.base"
174a5675f39SAlberto Garciafor orig_size in 31k 33k; do
175*8e958260SAlberto Garcia    for dst_size in 96k 128k; do
176*8e958260SAlberto Garcia        for prealloc in metadata full; do
177*8e958260SAlberto Garcia            echo "--- Resizing image from $orig_size to $dst_size (preallocation=$prealloc) ---"
178a5675f39SAlberto Garcia            _make_test_img -F raw -b "$TEST_IMG.base" -o cluster_size=64k "$orig_size"
179*8e958260SAlberto Garcia            $QEMU_IMG resize -f "$IMGFMT" --preallocation="$prealloc" "$TEST_IMG" "$dst_size"
180a5675f39SAlberto Garcia            # The first part of the image should contain data from the backing file
181a5675f39SAlberto Garcia            $QEMU_IO -c "read -q -P 1 0 ${orig_size}" "$TEST_IMG"
182a5675f39SAlberto Garcia            # The resized part of the image should contain zeroes
183a5675f39SAlberto Garcia            $QEMU_IO -c "read -q -P 0 ${orig_size} 63k" "$TEST_IMG"
184a5675f39SAlberto Garcia            # If the image does not have an external data file we can also verify its
185a5675f39SAlberto Garcia            # actual size. The resized image should have 7 clusters:
186a5675f39SAlberto Garcia            # header, L1 table, L2 table, refcount table, refcount block, 2 data clusters
187a5675f39SAlberto Garcia            if ! _get_data_file "$TEST_IMG" > /dev/null; then
188a5675f39SAlberto Garcia                expected_file_length=$((65536 * 7))
189a5675f39SAlberto Garcia                file_length=$(stat -c '%s' "$TEST_IMG_FILE")
190a5675f39SAlberto Garcia                if [ "$file_length" != "$expected_file_length" ]; then
191a5675f39SAlberto Garcia                    echo "ERROR: file length $file_length (expected $expected_file_length)"
192a5675f39SAlberto Garcia                fi
193a5675f39SAlberto Garcia            fi
194a5675f39SAlberto Garcia            echo
195a5675f39SAlberto Garcia        done
196*8e958260SAlberto Garcia    done
197*8e958260SAlberto Garciadone
198a5675f39SAlberto Garcia
199ced14843SMax Reitz# success, all done
200ced14843SMax Reitzecho '*** done'
201ced14843SMax Reitzrm -f $seq.full
202ced14843SMax Reitzstatus=0
203