LXR qemu/tests/qemu-iotests/251

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