Philippe Mathieu-Daudé | 11a82d1 | 2019-03-07 15:58:38 +0100 | [diff] [blame] | 1 | #!/usr/bin/env bash |
Vladimir Sementsov-Ogievskiy | 9dd003a | 2021-01-16 16:44:19 +0300 | [diff] [blame] | 2 | # group: rw auto quick |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 3 | # |
| 4 | # General test case for qcow2's image check |
| 5 | # |
| 6 | # Copyright (C) 2015 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 |
John Snow | 42a5009 | 2022-03-22 13:42:12 -0400 | [diff] [blame] | 23 | owner=hreitz@redhat.com |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 24 | |
| 25 | seq="$(basename $0)" |
| 26 | echo "QA output created by $seq" |
| 27 | |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 28 | status=1 # failure is the default! |
| 29 | |
| 30 | _cleanup() |
| 31 | { |
| 32 | _cleanup_test_img |
| 33 | } |
| 34 | trap "_cleanup; exit \$status" 0 1 2 3 15 |
| 35 | |
| 36 | # get standard environment, filters and checks |
| 37 | . ./common.rc |
| 38 | . ./common.filter |
| 39 | |
Max Reitz | e696f33 | 2019-11-07 17:36:47 +0100 | [diff] [blame] | 40 | # This tests qcow2-specific low-level functionality |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 41 | _supported_fmt qcow2 |
Max Reitz | 57284d2 | 2020-10-27 20:05:59 +0100 | [diff] [blame] | 42 | _supported_proto file fuse |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 43 | _supported_os Linux |
Max Reitz | 3be2024 | 2019-11-07 17:37:07 +0100 | [diff] [blame] | 44 | # With an external data file, data clusters are not refcounted |
Max Reitz | a507c51 | 2020-03-24 18:27:57 +0100 | [diff] [blame] | 45 | # (so qemu-img check would not do much); |
| 46 | # we want to modify the refcounts, so we need them to have a specific |
| 47 | # format (namely u16) |
| 48 | _unsupported_imgopts data_file 'refcount_bits=\([^1]\|.\([^6]\|$\)\)' |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 49 | |
| 50 | echo |
| 51 | echo '=== Check on an image with a multiple of 2^32 clusters ===' |
| 52 | echo |
| 53 | |
Max Reitz | 407fb56 | 2019-11-07 17:36:57 +0100 | [diff] [blame] | 54 | _make_test_img -o "cluster_size=512" 512 |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 55 | |
| 56 | # Allocate L2 table |
| 57 | $QEMU_IO -c 'write 0 512' "$TEST_IMG" | _filter_qemu_io |
| 58 | |
| 59 | # Put the data cluster at a multiple of 2 TB, resulting in the image apparently |
| 60 | # having a multiple of 2^32 clusters |
| 61 | # (To be more specific: It is at 32 PB) |
Vladimir Sementsov-Ogievskiy | a5fff8d | 2019-02-27 16:14:30 +0300 | [diff] [blame] | 62 | poke_file "$TEST_IMG" $((2048 + 8)) "\x00\x80\x00\x00\x00\x00\x00\x00" |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 63 | |
| 64 | # An offset of 32 PB results in qemu-img check having to allocate an in-memory |
Vladimir Sementsov-Ogievskiy | a5fff8d | 2019-02-27 16:14:30 +0300 | [diff] [blame] | 65 | # refcount table of 128 TB (16 bit refcounts, 512 byte clusters), if qemu-img |
| 66 | # don't check that referenced data cluster is far beyond the end of file. |
| 67 | # But starting from 4.0, qemu-img does this check, and instead of "Cannot |
| 68 | # allocate memory", we have an error showing that l2 entry is invalid. |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 69 | _check_test_img |
| 70 | |
Max Reitz | a507c51 | 2020-03-24 18:27:57 +0100 | [diff] [blame] | 71 | echo |
| 72 | echo '=== Check leaks-fixed/corruptions-fixed report' |
| 73 | echo |
| 74 | |
| 75 | # After leaks and corruptions were fixed, those numbers should be |
| 76 | # reported by qemu-img check |
| 77 | _make_test_img 64k |
| 78 | |
| 79 | # Allocate data cluster |
| 80 | $QEMU_IO -c 'write 0 64k' "$TEST_IMG" | _filter_qemu_io |
| 81 | |
| 82 | reftable_ofs=$(peek_file_be "$TEST_IMG" 48 8) |
| 83 | refblock_ofs=$(peek_file_be "$TEST_IMG" $reftable_ofs 8) |
| 84 | |
| 85 | # Introduce a leak: Make the image header's refcount 2 |
| 86 | poke_file_be "$TEST_IMG" "$refblock_ofs" 2 2 |
| 87 | |
| 88 | l1_ofs=$(peek_file_be "$TEST_IMG" 40 8) |
| 89 | |
| 90 | # Introduce a corruption: Drop the COPIED flag from the (first) L1 entry |
| 91 | l1_entry=$(peek_file_be "$TEST_IMG" $l1_ofs 8) |
| 92 | l1_entry=$((l1_entry & ~(1 << 63))) |
| 93 | poke_file_be "$TEST_IMG" $l1_ofs 8 $l1_entry |
| 94 | |
| 95 | echo |
| 96 | # Should print the number of corruptions and leaks fixed |
| 97 | # (Filter out all JSON fields (recognizable by their four-space |
| 98 | # indentation), but keep the "-fixed" fields (by removing two spaces |
| 99 | # from their indentation)) |
| 100 | # (Also filter out the L1 entry, because why not) |
| 101 | _check_test_img -r all --output=json \ |
| 102 | | sed -e 's/^ \(.*\)-fixed"/\1-fixed"/' \ |
| 103 | -e '/^ /d' \ |
| 104 | -e "s/\\([^0-9a-f]\\)$(printf %x $l1_entry)\\([^0-9a-f]\\)/\1L1_ENTRY_VALUE\2/" |
| 105 | |
Max Reitz | 097b500 | 2015-09-09 18:09:47 +0200 | [diff] [blame] | 106 | # success, all done |
| 107 | echo "*** done" |
| 108 | rm -f $seq.full |
| 109 | status=0 |