xref: /qemu/tests/qemu-iotests/251 (revision abff1abf)
1#!/usr/bin/env bash
2#
3# Test qemu-img convert --salvage
4#
5# Copyright (C) 2019 Red Hat, Inc.
6#
7# This program is free software; you can redistribute it and/or modify
8# it under the terms of the GNU General Public License as published by
9# the Free Software Foundation; either version 2 of the License, or
10# (at your option) any later version.
11#
12# This program is distributed in the hope that it will be useful,
13# but WITHOUT ANY WARRANTY; without even the implied warranty of
14# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15# GNU General Public License for more details.
16#
17# You should have received a copy of the GNU General Public License
18# along with this program.  If not, see <http://www.gnu.org/licenses/>.
19#
20
21# creator
22owner=mreitz@redhat.com
23
24seq=$(basename $0)
25echo "QA output created by $seq"
26
27status=1	# failure is the default!
28
29_cleanup()
30{
31    _cleanup_test_img
32}
33trap "_cleanup; exit \$status" 0 1 2 3 15
34
35# get standard environment, filters and checks
36. ./common.rc
37. ./common.filter
38. ./common.qemu
39
40_supported_fmt generic
41_supported_proto file
42_supported_os Linux
43_unsupported_imgopts "subformat=streamOptimized"
44
45if [ "$IMGOPTSSYNTAX" = "true" ]; then
46    # We use json:{} filenames here, so we cannot work with additional options.
47    _unsupported_fmt $IMGFMT
48else
49    # With VDI, the output is ordered differently.  Just disable it.
50    _unsupported_fmt vdi
51fi
52
53
54TEST_IMG="$TEST_IMG.orig" _make_test_img 64M
55
56$QEMU_IO -c 'write -P 42 0 64M' "$TEST_IMG.orig" | _filter_qemu_io
57
58
59sector_size=512
60
61# Offsets on which to fail block-status.  Keep in ascending order so
62# the indexing done by _filter_offsets will appear in ascending order
63# in the output as well.
64status_fail_offsets="$((16 * 1024 * 1024 + 8192))
65                     $((33 * 1024 * 1024 + 512))"
66
67# Offsets on which to fail reads.  Keep in ascending order for the
68# same reason.
69# The second element is shared with $status_fail_offsets on purpose.
70# Starting with the third element, we test what happens when a
71# continuous range of sectors is inaccessible.
72read_fail_offsets="$((32 * 1024 * 1024 - 65536))
73                   $((33 * 1024 * 1024 + 512))
74                   $(seq $((34 * 1024 * 1024)) $sector_size \
75                         $((34 * 1024 * 1024 + 4096 - $sector_size)))"
76
77
78# blkdebug must be above the format layer so it can intercept all
79# block-status events
80source_img="json:{'driver': 'blkdebug',
81                  'image': {
82                      'driver': '$IMGFMT',
83                      'file': {
84                          'driver': 'file',
85                          'filename': '$TEST_IMG.orig'
86                      }
87                  },
88                  'inject-error': ["
89
90for ofs in $status_fail_offsets
91do
92    source_img+="{ 'event': 'none',
93                   'iotype': 'block-status',
94                   'errno': 5,
95                   'sector': $((ofs / sector_size)) },"
96done
97
98for ofs in $read_fail_offsets
99do
100    source_img+="{ 'event': 'none',
101                   'iotype': 'read',
102                   'errno': 5,
103                   'sector': $((ofs / sector_size)) },"
104done
105
106# Remove the trailing comma and terminate @inject-error and json:{}
107source_img="${source_img%,} ] }"
108
109
110echo
111
112
113_filter_offsets() {
114    filters=
115
116    index=0
117    for ofs in $1
118    do
119        filters+=" -e s/$ofs/status_fail_offset_$index/"
120        index=$((index + 1))
121    done
122
123    index=0
124    for ofs in $2
125    do
126        filters+=" -e s/$ofs/read_fail_offset_$index/"
127        index=$((index + 1))
128    done
129
130    sed $filters
131}
132
133# While determining the number of allocated sectors in the input
134# image, we should see one block status warning per element of
135# $status_fail_offsets.
136#
137# Then, the image is read.  Since the block status is queried in
138# basically the same way, the same warnings as in the previous step
139# should reappear.  Interleaved with those we should see a read
140# warning per element of $read_fail_offsets.
141# Note that $read_fail_offsets and $status_fail_offsets share an
142# element (read_fail_offset_1 == status_fail_offset_1), so
143# "status_fail_offset_1" in the output is the same as
144# "read_fail_offset_1".
145$QEMU_IMG convert --salvage "$source_img" "$TEST_IMG" 2>&1 \
146    | _filter_offsets "$status_fail_offsets" "$read_fail_offsets"
147
148echo
149
150# The offsets where the block status could not be determined should
151# have been treated as containing data and thus should be correct in
152# the output image.
153# The offsets where reading failed altogether should be 0.  Make them
154# 0 in the input image, too, so we can compare both images.
155for ofs in $read_fail_offsets
156do
157    $QEMU_IO -c "write -z $ofs $sector_size" "$TEST_IMG.orig" \
158        | _filter_qemu_io \
159        | _filter_offsets '' "$read_fail_offsets"
160done
161
162echo
163
164# These should be equal now.
165$QEMU_IMG compare "$TEST_IMG.orig" "$TEST_IMG"
166
167
168# success, all done
169echo "*** done"
170rm -f $seq.full
171status=0
172