111a82d14SPhilippe Mathieu-Daudé#!/usr/bin/env bash 252280eacSKevin Wolf# 352280eacSKevin Wolf# qcow2 error path testing 452280eacSKevin Wolf# 552280eacSKevin Wolf# Copyright (C) 2010 Red Hat, Inc. 652280eacSKevin Wolf# 752280eacSKevin Wolf# This program is free software; you can redistribute it and/or modify 852280eacSKevin Wolf# it under the terms of the GNU General Public License as published by 952280eacSKevin Wolf# the Free Software Foundation; either version 2 of the License, or 1052280eacSKevin Wolf# (at your option) any later version. 1152280eacSKevin Wolf# 1252280eacSKevin Wolf# This program is distributed in the hope that it will be useful, 1352280eacSKevin Wolf# but WITHOUT ANY WARRANTY; without even the implied warranty of 1452280eacSKevin Wolf# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 1552280eacSKevin Wolf# GNU General Public License for more details. 1652280eacSKevin Wolf# 1752280eacSKevin Wolf# You should have received a copy of the GNU General Public License 1852280eacSKevin Wolf# along with this program. If not, see <http://www.gnu.org/licenses/>. 1952280eacSKevin Wolf# 2052280eacSKevin Wolf 2152280eacSKevin Wolf# creator 2252280eacSKevin Wolfowner=kwolf@redhat.com 2352280eacSKevin Wolf 2452280eacSKevin Wolfseq=`basename $0` 2552280eacSKevin Wolfecho "QA output created by $seq" 2652280eacSKevin Wolf 2752280eacSKevin Wolfstatus=1 # failure is the default! 2852280eacSKevin Wolf 2952280eacSKevin Wolf_cleanup() 3052280eacSKevin Wolf{ 3152280eacSKevin Wolf _cleanup_test_img 32fef9c191SJeff Cody rm "$TEST_DIR/blkdebug.conf" 3381311255SMax Reitz rm -f "$TEST_IMG.data_file" 3452280eacSKevin Wolf} 3552280eacSKevin Wolftrap "_cleanup; exit \$status" 0 1 2 3 15 3652280eacSKevin Wolf 3752280eacSKevin Wolf# get standard environment, filters and checks 3852280eacSKevin Wolf. ./common.rc 3952280eacSKevin Wolf. ./common.filter 4052280eacSKevin Wolf. ./common.pattern 4152280eacSKevin Wolf 4252280eacSKevin Wolf# Currently only qcow2 supports rebasing 4352280eacSKevin Wolf_supported_fmt qcow2 44*57284d2aSMax Reitz_supported_proto file fuse 45755c5fe7SNir Soffer_default_cache_mode writethrough 46755c5fe7SNir Soffer_supported_cache_modes writethrough none 475262caa7SMax Reitz# The refcount table tests expect a certain minimum width for refcount entries 485262caa7SMax Reitz# (so that the refcount table actually needs to grow); that minimum is 16 bits, 495262caa7SMax Reitz# being the default refcount entry width. 505262caa7SMax Reitz# 32 and 64 bits do not work either, however, due to different leaked cluster 515262caa7SMax Reitz# count on error. 525262caa7SMax Reitz# Thus, the only remaining option is refcount_bits=16. 533be2024aSMax Reitz# 543be2024aSMax Reitz# As for data_file, none of the refcount tests can work for it. 553be2024aSMax Reitz_unsupported_imgopts 'refcount_bits=\([^1]\|.\([^6]\|$\)\)' \ 563be2024aSMax Reitz data_file 5752280eacSKevin Wolf 5852280eacSKevin Wolfecho "Errors while writing 128 kB" 5952280eacSKevin Wolfecho 6052280eacSKevin Wolf 6152280eacSKevin WolfCLUSTER_SIZE=1024 6252280eacSKevin Wolf 6352280eacSKevin WolfBLKDBG_TEST_IMG="blkdebug:$TEST_DIR/blkdebug.conf:$TEST_IMG" 6452280eacSKevin Wolf 6552280eacSKevin Wolffor event in \ 6652280eacSKevin Wolf l1_update \ 6752280eacSKevin Wolf \ 6852280eacSKevin Wolf l2_load \ 6952280eacSKevin Wolf l2_update \ 705be5b776SEric Blake l2_alloc_write \ 7152280eacSKevin Wolf \ 7252280eacSKevin Wolf write_aio \ 7352280eacSKevin Wolf \ 7452280eacSKevin Wolf refblock_load \ 7552280eacSKevin Wolf refblock_update_part \ 7652280eacSKevin Wolf refblock_alloc \ 7752280eacSKevin Wolf \ 7852280eacSKevin Wolf cluster_alloc \ 7952280eacSKevin Wolf 8052280eacSKevin Wolfdo 8152280eacSKevin Wolf 8252280eacSKevin Wolffor errno in 5 28; do 8352280eacSKevin Wolffor imm in off; do 8452280eacSKevin Wolffor once in on off; do 8552280eacSKevin Wolffor vmstate in "" "-b"; do 8652280eacSKevin Wolf 87fef9c191SJeff Codycat > "$TEST_DIR/blkdebug.conf" <<EOF 8852280eacSKevin Wolf[inject-error] 8952280eacSKevin Wolfevent = "$event" 9052280eacSKevin Wolferrno = "$errno" 9152280eacSKevin Wolfimmediately = "$imm" 9252280eacSKevin Wolfonce ="$once" 9352280eacSKevin WolfEOF 9452280eacSKevin Wolf 9552280eacSKevin Wolf_make_test_img 1G 9652280eacSKevin Wolf 9752280eacSKevin Wolfecho 9852280eacSKevin Wolfecho "Event: $event; errno: $errno; imm: $imm; once: $once; write $vmstate" 9992ab69b6SKevin Wolf 10092ab69b6SKevin Wolf# We want to catch a simple L2 update, not the allocation of the first L2 table 10192ab69b6SKevin Wolfif [ "$event" == "l2_update" ]; then 102fef9c191SJeff Cody $QEMU_IO -c "write $vmstate 0 512" "$TEST_IMG" > /dev/null 2>&1 10392ab69b6SKevin Wolffi 10492ab69b6SKevin Wolf 105fef9c191SJeff Cody$QEMU_IO -c "write $vmstate 0 128k " "$BLKDBG_TEST_IMG" | _filter_qemu_io 10652280eacSKevin Wolf 10752280eacSKevin Wolf# l2_load is not called on allocation, so issue a second write 10852280eacSKevin Wolf# Reads are another path to trigger l2_load, so do a read, too 10952280eacSKevin Wolfif [ "$event" == "l2_load" ]; then 110fef9c191SJeff Cody $QEMU_IO -c "write $vmstate 0 128k " "$BLKDBG_TEST_IMG" | _filter_qemu_io 111fef9c191SJeff Cody $QEMU_IO -c "read $vmstate 0 128k " "$BLKDBG_TEST_IMG" | _filter_qemu_io 11252280eacSKevin Wolffi 11352280eacSKevin Wolf 114ee1e66d9SVladimir Sementsov-Ogievskiy_check_test_img_ignore_leaks 2>&1 | grep -v "refcount=1 reference=0" 11552280eacSKevin Wolf 11652280eacSKevin Wolfdone 11752280eacSKevin Wolfdone 11852280eacSKevin Wolfdone 11952280eacSKevin Wolfdone 12052280eacSKevin Wolfdone 12152280eacSKevin Wolf 12252280eacSKevin Wolf 12352280eacSKevin Wolfecho 12482481694SEric Blakeecho === Refcount table growth tests === 12552280eacSKevin Wolfecho 12652280eacSKevin WolfCLUSTER_SIZE=512 12752280eacSKevin Wolf 12852280eacSKevin Wolf 12952280eacSKevin Wolffor event in \ 1305be5b776SEric Blake refblock_alloc_hookup \ 1315be5b776SEric Blake refblock_alloc_write \ 1325be5b776SEric Blake refblock_alloc_write_blocks \ 1335be5b776SEric Blake refblock_alloc_write_table \ 1345be5b776SEric Blake refblock_alloc_switch_table \ 13552280eacSKevin Wolf 13652280eacSKevin Wolfdo 13752280eacSKevin Wolf 13852280eacSKevin Wolf# This one takes a while, so let's test only one error code (ENOSPC should 13952280eacSKevin Wolf# never be generated by qemu, so it's probably a good choice) 14052280eacSKevin Wolffor errno in 28; do 14152280eacSKevin Wolffor imm in off; do 14252280eacSKevin Wolffor once in on off; do 14352280eacSKevin Wolffor vmstate in "" "-b"; do 14452280eacSKevin Wolf 145fef9c191SJeff Codycat > "$TEST_DIR/blkdebug.conf" <<EOF 14652280eacSKevin Wolf[inject-error] 14752280eacSKevin Wolfevent = "$event" 14852280eacSKevin Wolferrno = "$errno" 14952280eacSKevin Wolfimmediately = "$imm" 15052280eacSKevin Wolfonce = "$once" 15152280eacSKevin WolfEOF 15252280eacSKevin Wolf 15352280eacSKevin Wolf_make_test_img 1G 15452280eacSKevin Wolf 15552280eacSKevin Wolfecho 15652280eacSKevin Wolfecho "Event: $event; errno: $errno; imm: $imm; once: $once; write $vmstate" 157fef9c191SJeff Cody$QEMU_IO -c "write $vmstate 0 64M" "$BLKDBG_TEST_IMG" | _filter_qemu_io 15852280eacSKevin Wolf 159ee1e66d9SVladimir Sementsov-Ogievskiy_check_test_img_ignore_leaks 2>&1 | grep -v "refcount=1 reference=0" 16052280eacSKevin Wolf 16152280eacSKevin Wolfdone 16252280eacSKevin Wolfdone 16352280eacSKevin Wolfdone 16452280eacSKevin Wolfdone 16552280eacSKevin Wolfdone 16652280eacSKevin Wolf 16752280eacSKevin Wolfecho 16852280eacSKevin Wolfecho === L1 growth tests === 16952280eacSKevin Wolfecho 17052280eacSKevin WolfCLUSTER_SIZE=1024 17152280eacSKevin Wolf 17252280eacSKevin Wolf 17352280eacSKevin Wolffor event in \ 1745be5b776SEric Blake l1_grow_alloc_table \ 1755be5b776SEric Blake l1_grow_write_table \ 1765be5b776SEric Blake l1_grow_activate_table \ 17752280eacSKevin Wolf 17852280eacSKevin Wolfdo 17952280eacSKevin Wolf 18052280eacSKevin Wolffor errno in 5 28; do 18152280eacSKevin Wolffor imm in off; do 18252280eacSKevin Wolffor once in on off; do 18352280eacSKevin Wolf 184fef9c191SJeff Codycat > "$TEST_DIR/blkdebug.conf" <<EOF 18552280eacSKevin Wolf[inject-error] 18652280eacSKevin Wolfevent = "$event" 18752280eacSKevin Wolferrno = "$errno" 18852280eacSKevin Wolfimmediately = "$imm" 18952280eacSKevin Wolfonce = "$once" 19052280eacSKevin WolfEOF 19152280eacSKevin Wolf 19252280eacSKevin Wolf_make_test_img 1G 19352280eacSKevin Wolf 19452280eacSKevin Wolfecho 19552280eacSKevin Wolfecho "Event: $event; errno: $errno; imm: $imm; once: $once" 196fef9c191SJeff Cody$QEMU_IO -c "write -b 0 64k" "$BLKDBG_TEST_IMG" | _filter_qemu_io 19752280eacSKevin Wolf 198ee1e66d9SVladimir Sementsov-Ogievskiy_check_test_img_ignore_leaks 2>&1 | grep -v "refcount=1 reference=0" 19952280eacSKevin Wolf 20052280eacSKevin Wolfdone 20152280eacSKevin Wolfdone 20252280eacSKevin Wolfdone 20352280eacSKevin Wolfdone 20452280eacSKevin Wolf 205ae376c62SKevin Wolfecho 206ae376c62SKevin Wolfecho === Avoid cluster leaks after temporary failure === 207ae376c62SKevin Wolfecho 208ae376c62SKevin Wolf 209ae376c62SKevin Wolfcat > "$TEST_DIR/blkdebug.conf" <<EOF 210ae376c62SKevin Wolf[inject-error] 211ae376c62SKevin Wolfevent = "write_aio" 212ae376c62SKevin Wolferrno = "5" 213ae376c62SKevin Wolfonce = "on" 214ae376c62SKevin WolfEOF 215ae376c62SKevin Wolf 216ae376c62SKevin Wolf# After the failed first write, do a second write so that the updated refcount 217ae376c62SKevin Wolf# block is actually written back 218ae376c62SKevin Wolf_make_test_img 64M 219ae376c62SKevin Wolf$QEMU_IO -c "write 0 1M" -c "write 0 1M" "$BLKDBG_TEST_IMG" | _filter_qemu_io 220ae376c62SKevin Wolf_check_test_img 221ae376c62SKevin Wolf 22231ab00f3SMax Reitzecho 22331ab00f3SMax Reitzecho === Avoid freeing preallocated zero clusters on failure === 22431ab00f3SMax Reitzecho 22531ab00f3SMax Reitz 22631ab00f3SMax Reitzcat > "$TEST_DIR/blkdebug.conf" <<EOF 22731ab00f3SMax Reitz[inject-error] 22831ab00f3SMax Reitzevent = "write_aio" 22931ab00f3SMax Reitzerrno = "5" 23031ab00f3SMax Reitzonce = "on" 23131ab00f3SMax ReitzEOF 23231ab00f3SMax Reitz 23331ab00f3SMax Reitz_make_test_img $CLUSTER_SIZE 23431ab00f3SMax Reitz# Create a preallocated zero cluster 23531ab00f3SMax Reitz$QEMU_IO -c "write 0 $CLUSTER_SIZE" -c "write -z 0 $CLUSTER_SIZE" "$TEST_IMG" \ 23631ab00f3SMax Reitz | _filter_qemu_io 23731ab00f3SMax Reitz# Try to overwrite it (prompting an I/O error from blkdebug), thus 23831ab00f3SMax Reitz# triggering the alloc abort code 23931ab00f3SMax Reitz$QEMU_IO -c "write 0 $CLUSTER_SIZE" "$BLKDBG_TEST_IMG" | _filter_qemu_io 24031ab00f3SMax Reitz 24131ab00f3SMax Reitz_check_test_img 24231ab00f3SMax Reitz 24352280eacSKevin Wolf# success, all done 24452280eacSKevin Wolfecho "*** done" 24552280eacSKevin Wolfrm -f $seq.full 24652280eacSKevin Wolfstatus=0 247