tests/qemu-iotests/271

   1 #!/usr/bin/env bash
   2 # group: rw auto
   3 #
   4 # Test qcow2 images with extended L2 entries
   5 #
   6 # Copyright (C) 2019-2020 Igalia, S.L.
   7 # Author: Alberto Garcia <berto@igalia.com>
   8 #
   9 # This program is free software; you can redistribute it and/or modify
  10 # it under the terms of the GNU General Public License as published by
  11 # the Free Software Foundation; either version 2 of the License, or
  12 # (at your option) any later version.
  13 #
  14 # This program is distributed in the hope that it will be useful,
  15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 # GNU General Public License for more details.
  18 #
  19 # You should have received a copy of the GNU General Public License
  20 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  21 #
  22
  23 # creator
  24 owner=berto@igalia.com
  25
  26 seq="$(basename $0)"
  27 echo "QA output created by $seq"
  28
  29 here="$PWD"
  30 status=1        # failure is the default!
  31
  32 _cleanup()
  33 {
  34         _cleanup_test_img
  35         rm -f "$TEST_IMG.raw"
  36 }
  37 trap "_cleanup; exit \$status" 0 1 2 3 15
  38
  39 # get standard environment, filters and checks
  40 . ./common.rc
  41 . ./common.filter
  42
  43 _supported_fmt qcow2
  44 _supported_proto file nfs
  45 _supported_os Linux
  46 _unsupported_imgopts extended_l2 compat=0.10 cluster_size data_file refcount_bits=1[^0-9]
  47
  48 l2_offset=$((0x40000))
  49
  50 _verify_img()
  51 {
  52     $QEMU_IMG compare "$TEST_IMG" "$TEST_IMG.raw" | grep -v 'Images are identical'
  53     $QEMU_IMG check "$TEST_IMG" | _filter_qemu_img_check | \
  54         grep -v 'No errors were found on the image'
  55 }
  56
  57 # Compare the bitmap of an extended L2 entry against an expected value
  58 _verify_l2_bitmap()
  59 {
  60     entry_no="$1"            # L2 entry number, starting from 0
  61     expected_alloc="$alloc"  # Space-separated list of allocated subcluster indexes
  62     expected_zero="$zero"    # Space-separated list of zero subcluster indexes
  63
  64     offset=$(($l2_offset + $entry_no * 16))
  65     entry=$(peek_file_be "$TEST_IMG" $offset 8)
  66     offset=$(($offset + 8))
  67     bitmap=$(peek_file_be "$TEST_IMG" $offset 8)
  68
  69     expected_bitmap=0
  70     for bit in $expected_alloc; do
  71         expected_bitmap=$(($expected_bitmap | (1 << $bit)))
  72     done
  73     for bit in $expected_zero; do
  74         expected_bitmap=$(($expected_bitmap | (1 << (32 + $bit))))
  75     done
  76     printf -v expected_bitmap "%u" $expected_bitmap # Convert to unsigned
  77
  78     printf "L2 entry #%d: 0x%016x %016x\n" "$entry_no" "$entry" "$bitmap"
  79     if [ "$bitmap" != "$expected_bitmap" ]; then
  80         printf "ERROR: expecting bitmap       0x%016x\n" "$expected_bitmap"
  81     fi
  82 }
  83
  84 # This should be called as _run_test c=XXX sc=XXX off=XXX len=XXX cmd=XXX
  85 # c:   cluster number (0 if unset)
  86 # sc:  subcluster number inside cluster @c (0 if unset)
  87 # off: offset inside subcluster @sc, in kilobytes (0 if unset)
  88 # len: request length, passed directly to qemu-io (e.g: 256, 4k, 1M, ...)
  89 # cmd: the command to pass to qemu-io, must be one of
  90 #      write    -> write
  91 #      zero     -> write -z
  92 #      unmap    -> write -z -u
  93 #      compress -> write -c
  94 #      discard  -> discard
  95 _run_test()
  96 {
  97     unset c sc off len cmd
  98     for var in "$@"; do eval "$var"; done
  99     case "${cmd:-write}" in
 100         zero)
 101             cmd="write -q -z";;
 102         unmap)
 103             cmd="write -q -z -u";;
 104         compress)
 105             pat=$((${pat:-0} + 1))
 106             cmd="write -q -c -P ${pat}";;
 107         write)
 108             pat=$((${pat:-0} + 1))
 109             cmd="write -q -P ${pat}";;
 110         discard)
 111             cmd="discard -q";;
 112         *)
 113             echo "Unknown option $cmd"
 114             exit 1;;
 115     esac
 116     c="${c:-0}"
 117     sc="${sc:-0}"
 118     off="${off:-0}"
 119     offset="$(($c * 64 + $sc * 2 + $off))"
 120     [ "$offset" != 0 ] && offset="${offset}k"
 121     cmd="$cmd ${offset} ${len}"
 122     raw_cmd=$(echo $cmd | sed s/-c//) # Raw images don't support -c
 123     echo $cmd | sed 's/-P [0-9][0-9]\?/-P PATTERN/'
 124     $QEMU_IO -c "$cmd" "$TEST_IMG" | _filter_qemu_io
 125     $QEMU_IO -c "$raw_cmd" -f raw "$TEST_IMG.raw" | _filter_qemu_io
 126     _verify_img
 127     _verify_l2_bitmap "$c"
 128 }
 129
 130 _reset_img()
 131 {
 132     size="$1"
 133     $QEMU_IMG create -f raw "$TEST_IMG.raw" "$size" | _filter_img_create
 134     if [ "$use_backing_file" = "yes" ]; then
 135         $QEMU_IMG create -f raw "$TEST_IMG.base" "$size" | _filter_img_create
 136         $QEMU_IO -c "write -q -P 0xFF 0 $size" -f raw "$TEST_IMG.base" | _filter_qemu_io
 137         $QEMU_IO -c "write -q -P 0xFF 0 $size" -f raw "$TEST_IMG.raw" | _filter_qemu_io
 138         _make_test_img -o extended_l2=on -F raw -b "$TEST_IMG.base" "$size"
 139     else
 140         _make_test_img -o extended_l2=on "$size"
 141     fi
 142 }
 143
 144 ############################################################
 145 ############################################################
 146 ############################################################
 147
 148 # Test that writing to an image with subclusters produces the expected
 149 # results, in images with and without backing files
 150 for use_backing_file in yes no; do
 151     echo
 152     echo "### Standard write tests (backing file: $use_backing_file) ###"
 153     echo
 154     _reset_img 1M
 155     ### Write subcluster #0 (beginning of subcluster) ###
 156     alloc="0"; zero=""
 157     _run_test sc=0 len=1k
 158
 159     ### Write subcluster #1 (middle of subcluster) ###
 160     alloc="0 1"; zero=""
 161     _run_test sc=1 off=1 len=512
 162
 163     ### Write subcluster #2 (end of subcluster) ###
 164     alloc="0 1 2"; zero=""
 165     _run_test sc=2 off=1 len=1k
 166
 167     ### Write subcluster #3 (full subcluster) ###
 168     alloc="0 1 2 3"; zero=""
 169     _run_test sc=3 len=2k
 170
 171     ### Write subclusters #4-6 (full subclusters) ###
 172     alloc="$(seq 0 6)"; zero=""
 173     _run_test sc=4 len=6k
 174
 175     ### Write subclusters #7-9 (partial subclusters) ###
 176     alloc="$(seq 0 9)"; zero=""
 177     _run_test sc=7 off=1 len=4k
 178
 179     ### Write subcluster #16 (partial subcluster) ###
 180     alloc="$(seq 0 9) 16"; zero=""
 181     _run_test sc=16 len=1k
 182
 183     ### Write subcluster #31-#33 (cluster overlap) ###
 184     alloc="$(seq 0 9) 16 31"; zero=""
 185     _run_test sc=31 off=1 len=4k
 186     alloc="0 1" ; zero=""
 187     _verify_l2_bitmap 1
 188
 189     ### Zero subcluster #1
 190     alloc="0 $(seq 2 9) 16 31"; zero="1"
 191     _run_test sc=1 len=2k cmd=zero
 192
 193     ### Zero cluster #0
 194     alloc=""; zero="$(seq 0 31)"
 195     _run_test sc=0 len=64k cmd=zero
 196
 197     ### Fill cluster #0 with data
 198     alloc="$(seq 0 31)"; zero=""
 199     _run_test sc=0 len=64k
 200
 201     ### Zero and unmap half of cluster #0 (this won't unmap it)
 202     alloc="$(seq 16 31)"; zero="$(seq 0 15)"
 203     _run_test sc=0 len=32k cmd=unmap
 204
 205     ### Zero and unmap cluster #0
 206     alloc=""; zero="$(seq 0 31)"
 207     _run_test sc=0 len=64k cmd=unmap
 208
 209     ### Write subcluster #1 (middle of subcluster)
 210     alloc="1"; zero="0 $(seq 2 31)"
 211     _run_test sc=1 off=1 len=512
 212
 213     ### Fill cluster #0 with data
 214     alloc="$(seq 0 31)"; zero=""
 215     _run_test sc=0 len=64k
 216
 217     ### Discard cluster #0
 218     alloc=""; zero="$(seq 0 31)"
 219     _run_test sc=0 len=64k cmd=discard
 220
 221     ### Write compressed data to cluster #0
 222     alloc=""; zero=""
 223     _run_test sc=0 len=64k cmd=compress
 224
 225     ### Write subcluster #1 (middle of subcluster)
 226     alloc="$(seq 0 31)"; zero=""
 227     _run_test sc=1 off=1 len=512
 228 done
 229
 230 ############################################################
 231 ############################################################
 232 ############################################################
 233
 234 # calculate_l2_meta() checks if none of the clusters affected by a
 235 # write operation need COW or changes to their L2 metadata and simply
 236 # returns when they don't. This is a test for that optimization.
 237 # Here clusters #0-#3 are overwritten but only #1 and #2 need changes.
 238 echo
 239 echo '### Overwriting several clusters without COW ###'
 240 echo
 241 use_backing_file="no" _reset_img 1M
 242 # Write cluster #0, subclusters #12-#31
 243 alloc="$(seq 12 31)"; zero=""
 244 _run_test sc=12 len=40k
 245
 246 # Write cluster #1, subcluster #13
 247 alloc="13"; zero=""
 248 _run_test c=1 sc=13 len=2k
 249
 250 # Zeroize cluster #2, subcluster #14
 251 alloc="14"; zero=""
 252 _run_test c=2 sc=14 len=2k
 253 alloc=""; zero="14"
 254 _run_test c=2 sc=14 len=2k cmd=zero
 255
 256 # Write cluster #3, subclusters #0-#16
 257 alloc="$(seq 0 16)"; zero=""
 258 _run_test c=3 sc=0 len=34k
 259
 260 # Write from cluster #0, subcluster #12 to cluster #3, subcluster #11
 261 alloc="$(seq 12 31)"; zero=""
 262 _run_test sc=12 len=192k
 263 alloc="$(seq 0 31)"; zero=""
 264 _verify_l2_bitmap 1
 265 _verify_l2_bitmap 2
 266
 267 alloc="$(seq 0 16)"; zero=""
 268 _verify_l2_bitmap 3
 269
 270 ############################################################
 271 ############################################################
 272 ############################################################
 273
 274 # Test different patterns of writing zeroes
 275 for use_backing_file in yes no; do
 276     echo
 277     echo "### Writing zeroes 1: unallocated clusters (backing file: $use_backing_file) ###"
 278     echo
 279     # Note that the image size is not a multiple of the cluster size
 280     _reset_img 2083k
 281
 282     # Cluster-aligned request from clusters #0 to #2
 283     alloc=""; zero="$(seq 0 31)"
 284     _run_test c=0 sc=0 len=192k cmd=zero
 285     _verify_l2_bitmap 1
 286     _verify_l2_bitmap 2
 287
 288     # Subcluster-aligned request from clusters #3 to #5
 289     alloc=""; zero="$(seq 16 31)"
 290     _run_test c=3 sc=16 len=128k cmd=zero
 291     alloc=""; zero="$(seq 0 31)"
 292     _verify_l2_bitmap 4
 293     alloc=""; zero="$(seq 0 15)"
 294     _verify_l2_bitmap 5
 295
 296     # Unaligned request from clusters #6 to #8
 297     if [ "$use_backing_file" = "yes" ]; then
 298         alloc="15"; zero="$(seq 16 31)" # copy-on-write happening here
 299     else
 300         alloc=""; zero="$(seq 15 31)"
 301     fi
 302     _run_test c=6 sc=15 off=1 len=128k cmd=zero
 303     alloc=""; zero="$(seq 0 31)"
 304     _verify_l2_bitmap 7
 305     if [ "$use_backing_file" = "yes" ]; then
 306         alloc="15"; zero="$(seq 0 14)" # copy-on-write happening here
 307     else
 308         alloc=""; zero="$(seq 0 15)"
 309     fi
 310     _verify_l2_bitmap 8
 311
 312     echo
 313     echo "### Writing zeroes 2: allocated clusters (backing file: $use_backing_file) ###"
 314     echo
 315     alloc="$(seq 0 31)"; zero=""
 316     _run_test c=9 sc=0 len=576k
 317     _verify_l2_bitmap 10
 318     _verify_l2_bitmap 11
 319     _verify_l2_bitmap 12
 320     _verify_l2_bitmap 13
 321     _verify_l2_bitmap 14
 322     _verify_l2_bitmap 15
 323     _verify_l2_bitmap 16
 324     _verify_l2_bitmap 17
 325
 326     # Cluster-aligned request from clusters #9 to #11
 327     alloc=""; zero="$(seq 0 31)"
 328     _run_test c=9 sc=0 len=192k cmd=zero
 329     _verify_l2_bitmap 10
 330     _verify_l2_bitmap 11
 331
 332     # Subcluster-aligned request from clusters #12 to #14
 333     alloc="$(seq 0 15)"; zero="$(seq 16 31)"
 334     _run_test c=12 sc=16 len=128k cmd=zero
 335     alloc=""; zero="$(seq 0 31)"
 336     _verify_l2_bitmap 13
 337     alloc="$(seq 16 31)"; zero="$(seq 0 15)"
 338     _verify_l2_bitmap 14
 339
 340     # Unaligned request from clusters #15 to #17
 341     alloc="$(seq 0 15)"; zero="$(seq 16 31)"
 342     _run_test c=15 sc=15 off=1 len=128k cmd=zero
 343     alloc=""; zero="$(seq 0 31)"
 344     _verify_l2_bitmap 16
 345     alloc="$(seq 15 31)"; zero="$(seq 0 14)"
 346     _verify_l2_bitmap 17
 347
 348     echo
 349     echo "### Writing zeroes 3: compressed clusters (backing file: $use_backing_file) ###"
 350     echo
 351     alloc=""; zero=""
 352     for c in $(seq 18 28); do
 353         _run_test c=$c sc=0 len=64k cmd=compress
 354     done
 355
 356     # Cluster-aligned request from clusters #18 to #20
 357     alloc=""; zero="$(seq 0 31)"
 358     _run_test c=18 sc=0 len=192k cmd=zero
 359     _verify_l2_bitmap 19
 360     _verify_l2_bitmap 20
 361
 362     # Subcluster-aligned request from clusters #21 to #23.
 363     # We cannot partially zero a compressed cluster so the code
 364     # returns -ENOTSUP, which means copy-on-write of the compressed
 365     # data and fill the rest with actual zeroes on disk.
 366     # TODO: cluster #22 should use the 'all zeroes' bits.
 367     alloc="$(seq 0 31)"; zero=""
 368     _run_test c=21 sc=16 len=128k cmd=zero
 369     _verify_l2_bitmap 22
 370     _verify_l2_bitmap 23
 371
 372     # Unaligned request from clusters #24 to #26
 373     # In this case QEMU internally sends a 1k request followed by a
 374     # subcluster-aligned 128k request. The first request decompresses
 375     # cluster #24, but that's not enough to perform the second request
 376     # efficiently because it partially writes to cluster #26 (which is
 377     # compressed) so we hit the same problem as before.
 378     alloc="$(seq 0 31)"; zero=""
 379     _run_test c=24 sc=15 off=1 len=129k cmd=zero
 380     _verify_l2_bitmap 25
 381     _verify_l2_bitmap 26
 382
 383     # Unaligned request from clusters #27 to #29
 384     # Similar to the previous case, but this time the tail of the
 385     # request does not correspond to a compressed cluster, so it can
 386     # be zeroed efficiently.
 387     # Note that the very last subcluster is partially written, so if
 388     # there's a backing file we need to perform cow.
 389     alloc="$(seq 0 15)"; zero="$(seq 16 31)"
 390     _run_test c=27 sc=15 off=1 len=128k cmd=zero
 391     alloc=""; zero="$(seq 0 31)"
 392     _verify_l2_bitmap 28
 393     if [ "$use_backing_file" = "yes" ]; then
 394         alloc="15"; zero="$(seq 0 14)" # copy-on-write happening here
 395     else
 396         alloc=""; zero="$(seq 0 15)"
 397     fi
 398     _verify_l2_bitmap 29
 399
 400     echo
 401     echo "### Writing zeroes 4: other tests (backing file: $use_backing_file) ###"
 402     echo
 403     # Unaligned request in the middle of cluster #30.
 404     # If there's a backing file we need to allocate and do
 405     # copy-on-write on the partially zeroed subclusters.
 406     # If not we can set the 'all zeroes' bit on them.
 407     if [ "$use_backing_file" = "yes" ]; then
 408         alloc="15 19"; zero="$(seq 16 18)" # copy-on-write happening here
 409     else
 410         alloc=""; zero="$(seq 15 19)"
 411     fi
 412     _run_test c=30 sc=15 off=1 len=8k cmd=zero
 413
 414     # Fill the last cluster with zeroes, up to the end of the image
 415     # (the image size is not a multiple of the cluster or subcluster size).
 416     alloc=""; zero="$(seq 0 17)"
 417     _run_test c=32 sc=0 len=35k cmd=zero
 418 done
 419
 420 ############################################################
 421 ############################################################
 422 ############################################################
 423
 424 # Zero + unmap
 425 for use_backing_file in yes no; do
 426     echo
 427     echo "### Zero + unmap 1: allocated clusters (backing file: $use_backing_file) ###"
 428     echo
 429     # Note that the image size is not a multiple of the cluster size
 430     _reset_img 2083k
 431     alloc="$(seq 0 31)"; zero=""
 432     _run_test c=9 sc=0 len=576k
 433     _verify_l2_bitmap 10
 434     _verify_l2_bitmap 11
 435     _verify_l2_bitmap 12
 436     _verify_l2_bitmap 13
 437     _verify_l2_bitmap 14
 438     _verify_l2_bitmap 15
 439     _verify_l2_bitmap 16
 440     _verify_l2_bitmap 17
 441
 442     # Cluster-aligned request from clusters #9 to #11
 443     alloc=""; zero="$(seq 0 31)"
 444     _run_test c=9 sc=0 len=192k cmd=unmap
 445     _verify_l2_bitmap 10
 446     _verify_l2_bitmap 11
 447
 448     # Subcluster-aligned request from clusters #12 to #14
 449     alloc="$(seq 0 15)"; zero="$(seq 16 31)"
 450     _run_test c=12 sc=16 len=128k cmd=unmap
 451     alloc=""; zero="$(seq 0 31)"
 452     _verify_l2_bitmap 13
 453     alloc="$(seq 16 31)"; zero="$(seq 0 15)"
 454     _verify_l2_bitmap 14
 455
 456     # Unaligned request from clusters #15 to #17
 457     alloc="$(seq 0 15)"; zero="$(seq 16 31)"
 458     _run_test c=15 sc=15 off=1 len=128k cmd=unmap
 459     alloc=""; zero="$(seq 0 31)"
 460     _verify_l2_bitmap 16
 461     alloc="$(seq 15 31)"; zero="$(seq 0 14)"
 462     _verify_l2_bitmap 17
 463
 464     echo
 465     echo "### Zero + unmap 2: compressed clusters (backing file: $use_backing_file) ###"
 466     echo
 467     alloc=""; zero=""
 468     for c in $(seq 18 28); do
 469         _run_test c=$c sc=0 len=64k cmd=compress
 470     done
 471
 472     # Cluster-aligned request from clusters #18 to #20
 473     alloc=""; zero="$(seq 0 31)"
 474     _run_test c=18 sc=0 len=192k cmd=unmap
 475     _verify_l2_bitmap 19
 476     _verify_l2_bitmap 20
 477
 478     # Subcluster-aligned request from clusters #21 to #23.
 479     # We cannot partially zero a compressed cluster so the code
 480     # returns -ENOTSUP, which means copy-on-write of the compressed
 481     # data and fill the rest with actual zeroes on disk.
 482     # TODO: cluster #22 should use the 'all zeroes' bits.
 483     alloc="$(seq 0 31)"; zero=""
 484     _run_test c=21 sc=16 len=128k cmd=unmap
 485     _verify_l2_bitmap 22
 486     _verify_l2_bitmap 23
 487
 488     # Unaligned request from clusters #24 to #26
 489     # In this case QEMU internally sends a 1k request followed by a
 490     # subcluster-aligned 128k request. The first request decompresses
 491     # cluster #24, but that's not enough to perform the second request
 492     # efficiently because it partially writes to cluster #26 (which is
 493     # compressed) so we hit the same problem as before.
 494     alloc="$(seq 0 31)"; zero=""
 495     _run_test c=24 sc=15 off=1 len=129k cmd=unmap
 496     _verify_l2_bitmap 25
 497     _verify_l2_bitmap 26
 498
 499     # Unaligned request from clusters #27 to #29
 500     # Similar to the previous case, but this time the tail of the
 501     # request does not correspond to a compressed cluster, so it can
 502     # be zeroed efficiently.
 503     # Note that the very last subcluster is partially written, so if
 504     # there's a backing file we need to perform cow.
 505     alloc="$(seq 0 15)"; zero="$(seq 16 31)"
 506     _run_test c=27 sc=15 off=1 len=128k cmd=unmap
 507     alloc=""; zero="$(seq 0 31)"
 508     _verify_l2_bitmap 28
 509     if [ "$use_backing_file" = "yes" ]; then
 510         alloc="15"; zero="$(seq 0 14)" # copy-on-write happening here
 511     else
 512         alloc=""; zero="$(seq 0 15)"
 513     fi
 514     _verify_l2_bitmap 29
 515 done
 516
 517 ############################################################
 518 ############################################################
 519 ############################################################
 520
 521 # Test qcow2_cluster_discard() with full and normal discards
 522 for use_backing_file in yes no; do
 523     echo
 524     echo "### Discarding clusters with non-zero bitmaps (backing file: $use_backing_file) ###"
 525     echo
 526     if [ "$use_backing_file" = "yes" ]; then
 527         _make_test_img -o extended_l2=on -F raw -b "$TEST_IMG.base" 1M
 528     else
 529         _make_test_img -o extended_l2=on 1M
 530     fi
 531     # Write clusters #0-#2 and then discard them
 532     $QEMU_IO -c 'write -q 0 128k' "$TEST_IMG"
 533     $QEMU_IO -c 'discard -q 0 128k' "$TEST_IMG"
 534     # 'qemu-io discard' doesn't do a full discard, it zeroizes the
 535     # cluster, so both clusters have all zero bits set now
 536     alloc=""; zero="$(seq 0 31)"
 537     _verify_l2_bitmap 0
 538     _verify_l2_bitmap 1
 539     # Now mark the 2nd half of the subclusters from cluster #0 as unallocated
 540     poke_file "$TEST_IMG" $(($l2_offset+8)) "\x00\x00"
 541     # Discard cluster #0 again to see how the zero bits have changed
 542     $QEMU_IO -c 'discard -q 0 64k' "$TEST_IMG"
 543     # And do a full discard of cluster #1 by shrinking and growing the image
 544     $QEMU_IMG resize --shrink "$TEST_IMG" 64k
 545     $QEMU_IMG resize "$TEST_IMG" 1M
 546     # A normal discard sets all 'zero' bits only if the image has a
 547     # backing file, otherwise it won't touch them.
 548     if [ "$use_backing_file" = "yes" ]; then
 549         alloc=""; zero="$(seq 0 31)"
 550     else
 551         alloc=""; zero="$(seq 0 15)"
 552     fi
 553     _verify_l2_bitmap 0
 554     # A full discard should clear the L2 entry completely. However
 555     # when growing an image with a backing file the new clusters are
 556     # zeroized to hide the stale data from the backing file
 557     if [ "$use_backing_file" = "yes" ]; then
 558         alloc=""; zero="$(seq 0 31)"
 559     else
 560         alloc=""; zero=""
 561     fi
 562     _verify_l2_bitmap 1
 563 done
 564
 565 ############################################################
 566 ############################################################
 567 ############################################################
 568
 569 # Test that corrupted L2 entries are detected in both read and write
 570 # operations
 571 for corruption_test_cmd in read write; do
 572     echo
 573     echo "### Corrupted L2 entries - $corruption_test_cmd test (allocated) ###"
 574     echo
 575     echo "# 'cluster is zero' bit set on the standard cluster descriptor"
 576     echo
 577     # We actually don't consider this a corrupted image.
 578     # The 'cluster is zero' bit is unused in extended L2 entries so
 579     # QEMU ignores it.
 580     # TODO: maybe treat the image as corrupted and make qemu-img check fix it?
 581     _make_test_img -o extended_l2=on 1M
 582     $QEMU_IO -c 'write -q -P 0x11 0 2k' "$TEST_IMG"
 583     poke_file "$TEST_IMG" $(($l2_offset+7)) "\x01"
 584     alloc="0"; zero=""
 585     _verify_l2_bitmap 0
 586     $QEMU_IO -c "$corruption_test_cmd -q -P 0x11 0 1k" "$TEST_IMG"
 587     if [ "$corruption_test_cmd" = "write" ]; then
 588         alloc="0"; zero=""
 589     fi
 590     _verify_l2_bitmap 0
 591
 592     echo
 593     echo "# Both 'subcluster is zero' and 'subcluster is allocated' bits set"
 594     echo
 595     _make_test_img -o extended_l2=on 1M
 596     # Write from the middle of cluster #0 to the middle of cluster #2
 597     $QEMU_IO -c 'write -q 32k 128k' "$TEST_IMG"
 598     # Corrupt the L2 entry from cluster #1
 599     poke_file_be "$TEST_IMG" $(($l2_offset+24)) 4 1
 600     alloc="$(seq 0 31)"; zero="0"
 601     _verify_l2_bitmap 1
 602     $QEMU_IO -c "$corruption_test_cmd 0 192k" "$TEST_IMG"
 603
 604     echo
 605     echo "### Corrupted L2 entries - $corruption_test_cmd test (unallocated) ###"
 606     echo
 607     echo "# 'cluster is zero' bit set on the standard cluster descriptor"
 608     echo
 609     # We actually don't consider this a corrupted image.
 610     # The 'cluster is zero' bit is unused in extended L2 entries so
 611     # QEMU ignores it.
 612     # TODO: maybe treat the image as corrupted and make qemu-img check fix it?
 613     _make_test_img -o extended_l2=on 1M
 614     # We want to modify the (empty) L2 entry from cluster #0,
 615     # but we write to #4 in order to initialize the L2 table first
 616     $QEMU_IO -c 'write -q 256k 1k' "$TEST_IMG"
 617     poke_file "$TEST_IMG" $(($l2_offset+7)) "\x01"
 618     alloc=""; zero=""
 619     _verify_l2_bitmap 0
 620     $QEMU_IO -c "$corruption_test_cmd -q 0 1k" "$TEST_IMG"
 621     if [ "$corruption_test_cmd" = "write" ]; then
 622         alloc="0"; zero=""
 623     fi
 624     _verify_l2_bitmap 0
 625
 626     echo
 627     echo "# 'subcluster is allocated' bit set"
 628     echo
 629     _make_test_img -o extended_l2=on 1M
 630     # We want to corrupt the (empty) L2 entry from cluster #0,
 631     # but we write to #4 in order to initialize the L2 table first
 632     $QEMU_IO -c 'write -q 256k 1k' "$TEST_IMG"
 633     poke_file "$TEST_IMG" $(($l2_offset+15)) "\x01"
 634     alloc="0"; zero=""
 635     _verify_l2_bitmap 0
 636     $QEMU_IO -c "$corruption_test_cmd 0 1k" "$TEST_IMG"
 637
 638     echo
 639     echo "# Both 'subcluster is zero' and 'subcluster is allocated' bits set"
 640     echo
 641     _make_test_img -o extended_l2=on 1M
 642     # We want to corrupt the (empty) L2 entry from cluster #1,
 643     # but we write to #4 in order to initialize the L2 table first
 644     $QEMU_IO -c 'write -q 256k 1k' "$TEST_IMG"
 645     # Corrupt the L2 entry from cluster #1
 646     poke_file_be "$TEST_IMG" $(($l2_offset+24)) 8 $(((1 << 32) | 1))
 647     alloc="0"; zero="0"
 648     _verify_l2_bitmap 1
 649     $QEMU_IO -c "$corruption_test_cmd 0 192k" "$TEST_IMG"
 650
 651     echo
 652     echo "### Compressed cluster with subcluster bitmap != 0 - $corruption_test_cmd test ###"
 653     echo
 654     # We actually don't consider this a corrupted image.
 655     # The bitmap in compressed clusters is unused so QEMU should just ignore it.
 656     _make_test_img -o extended_l2=on 1M
 657     $QEMU_IO -c 'write -q -P 11 -c 0 64k' "$TEST_IMG"
 658     # Change the L2 bitmap to allocate subcluster #31 and zeroize subcluster #0
 659     poke_file "$TEST_IMG" $(($l2_offset+11)) "\x01\x80"
 660     alloc="31"; zero="0"
 661     _verify_l2_bitmap 0
 662     $QEMU_IO -c "$corruption_test_cmd -P 11 0 64k" "$TEST_IMG" | _filter_qemu_io
 663     # Writing allocates a new uncompressed cluster so we get a new bitmap
 664     if [ "$corruption_test_cmd" = "write" ]; then
 665         alloc="$(seq 0 31)"; zero=""
 666     fi
 667     _verify_l2_bitmap 0
 668 done
 669
 670 ############################################################
 671 ############################################################
 672 ############################################################
 673
 674 echo
 675 echo "### Detect and repair unaligned clusters ###"
 676 echo
 677 # Create a backing file and fill it with data
 678 $QEMU_IMG create -f raw "$TEST_IMG.base" 128k | _filter_img_create
 679 $QEMU_IO -c "write -q -P 0xff 0 128k" -f raw "$TEST_IMG.base" | _filter_qemu_io
 680
 681 echo "# Corrupted L2 entry, allocated subcluster #"
 682 # Create a new image, allocate a cluster and write some data to it
 683 _make_test_img -o extended_l2=on -F raw -b "$TEST_IMG.base"
 684 $QEMU_IO -c 'write -q -P 1 4k 2k' "$TEST_IMG"
 685 # Corrupt the L2 entry by making the offset unaligned
 686 poke_file "$TEST_IMG" "$(($l2_offset+6))" "\x02"
 687 # This cannot be repaired, qemu-img check will fail to fix it
 688 _check_test_img -r all
 689 # Attempting to read the image will still show that it's corrupted
 690 $QEMU_IO -c 'read -q 0 2k' "$TEST_IMG"
 691
 692 echo "# Corrupted L2 entry, no allocated subclusters #"
 693 # Create a new image, allocate a cluster and zeroize subcluster #2
 694 _make_test_img -o extended_l2=on -F raw -b "$TEST_IMG.base"
 695 $QEMU_IO -c 'write -q -P 1 4k 2k' "$TEST_IMG"
 696 $QEMU_IO -c 'write -q -z   4k 2k' "$TEST_IMG"
 697 # Corrupt the L2 entry by making the offset unaligned
 698 poke_file "$TEST_IMG" "$(($l2_offset+6))" "\x02"
 699 # This time none of the subclusters are allocated so we can repair the image
 700 _check_test_img -r all
 701 # And the data can be read normally
 702 $QEMU_IO -c 'read -q -P 0xff  0   4k' "$TEST_IMG"
 703 $QEMU_IO -c 'read -q -P 0x00 4k   2k' "$TEST_IMG"
 704 $QEMU_IO -c 'read -q -P 0xff 6k 122k' "$TEST_IMG"
 705
 706 ############################################################
 707 ############################################################
 708 ############################################################
 709
 710 echo
 711 echo "### Image creation options ###"
 712 echo
 713 echo "# cluster_size < 16k"
 714 _make_test_img -o extended_l2=on,cluster_size=8k 1M
 715
 716 echo "# backing file and preallocation=metadata"
 717 # For preallocation with backing files, create a backing file first
 718 $QEMU_IMG create -f raw "$TEST_IMG.base" 1M | _filter_img_create
 719 $QEMU_IO -c "write -q -P 0xff 0 1M" -f raw "$TEST_IMG.base" | _filter_qemu_io
 720
 721 _make_test_img -o extended_l2=on,preallocation=metadata -F raw -b "$TEST_IMG.base" 512k
 722 $QEMU_IMG resize "$TEST_IMG" 1M
 723 $QEMU_IO -c 'read -P 0xff    0 512k' "$TEST_IMG" | _filter_qemu_io
 724 $QEMU_IO -c 'read -P 0x00 512k 512k' "$TEST_IMG" | _filter_qemu_io
 725 $QEMU_IMG map "$TEST_IMG" | _filter_testdir
 726
 727 echo "# backing file and preallocation=falloc"
 728 _make_test_img -o extended_l2=on,preallocation=falloc -F raw -b "$TEST_IMG.base" 512k
 729 $QEMU_IMG resize "$TEST_IMG" 1M
 730 $QEMU_IO -c 'read -P 0xff    0 512k' "$TEST_IMG" | _filter_qemu_io
 731 $QEMU_IO -c 'read -P 0x00 512k 512k' "$TEST_IMG" | _filter_qemu_io
 732 $QEMU_IMG map "$TEST_IMG" | _filter_testdir
 733
 734 echo "# backing file and preallocation=full"
 735 _make_test_img -o extended_l2=on,preallocation=full -F raw -b "$TEST_IMG.base" 512k
 736 $QEMU_IMG resize "$TEST_IMG" 1M
 737 $QEMU_IO -c 'read -P 0xff    0 512k' "$TEST_IMG" | _filter_qemu_io
 738 $QEMU_IO -c 'read -P 0x00 512k 512k' "$TEST_IMG" | _filter_qemu_io
 739 $QEMU_IMG map "$TEST_IMG" | _filter_testdir
 740
 741 echo
 742 echo "### Image resizing with preallocation and backing files ###"
 743 echo
 744 # In this case the new subclusters must have the 'all zeroes' bit set
 745 echo "# resize --preallocation=metadata"
 746 _make_test_img -o extended_l2=on -F raw -b "$TEST_IMG.base" 503k
 747 $QEMU_IMG resize --preallocation=metadata "$TEST_IMG" 1013k
 748 $QEMU_IO -c 'read -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 749 $QEMU_IO -c 'read -P 0x00 503k 510k' "$TEST_IMG" | _filter_qemu_io
 750
 751 # In this case and the next one the new subclusters must be allocated
 752 echo "# resize --preallocation=falloc"
 753 _make_test_img -o extended_l2=on -F raw -b "$TEST_IMG.base" 503k
 754 $QEMU_IMG resize --preallocation=falloc "$TEST_IMG" 1013k
 755 $QEMU_IO -c 'read -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 756 $QEMU_IO -c 'read -P 0x00 503k 510k' "$TEST_IMG" | _filter_qemu_io
 757
 758 echo "# resize --preallocation=full"
 759 _make_test_img -o extended_l2=on -F raw -b "$TEST_IMG.base" 503k
 760 $QEMU_IMG resize --preallocation=full "$TEST_IMG" 1013k
 761 $QEMU_IO -c 'read -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 762 $QEMU_IO -c 'read -P 0x00 503k 510k' "$TEST_IMG" | _filter_qemu_io
 763
 764 echo
 765 echo "### Image resizing with preallocation without backing files ###"
 766 echo
 767 # In this case the new subclusters must have the 'all zeroes' bit set
 768 echo "# resize --preallocation=metadata"
 769 _make_test_img -o extended_l2=on 503k
 770 $QEMU_IO -c 'write -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 771 $QEMU_IMG resize --preallocation=metadata "$TEST_IMG" 1013k
 772 $QEMU_IO -c 'read -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 773 $QEMU_IO -c 'read -P 0x00 503k 510k' "$TEST_IMG" | _filter_qemu_io
 774
 775 # In this case and the next one the new subclusters must be allocated
 776 echo "# resize --preallocation=falloc"
 777 _make_test_img -o extended_l2=on 503k
 778 $QEMU_IO -c 'write -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 779 $QEMU_IMG resize --preallocation=falloc "$TEST_IMG" 1013k
 780 $QEMU_IO -c 'read -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 781 $QEMU_IO -c 'read -P 0x00 503k 510k' "$TEST_IMG" | _filter_qemu_io
 782
 783 echo "# resize --preallocation=full"
 784 _make_test_img -o extended_l2=on 503k
 785 $QEMU_IO -c 'write -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 786 $QEMU_IMG resize --preallocation=full "$TEST_IMG" 1013k
 787 $QEMU_IO -c 'read -P 0xff    0 503k' "$TEST_IMG" | _filter_qemu_io
 788 $QEMU_IO -c 'read -P 0x00 503k 510k' "$TEST_IMG" | _filter_qemu_io
 789
 790 echo
 791 echo "### qemu-img measure ###"
 792 echo
 793 echo "# 512MB, extended_l2=off" # This needs one L2 table
 794 $QEMU_IMG measure --size 512M -O qcow2 -o extended_l2=off
 795 echo "# 512MB, extended_l2=on"  # This needs two L2 tables
 796 $QEMU_IMG measure --size 512M -O qcow2 -o extended_l2=on
 797
 798 echo "# 16K clusters, 64GB, extended_l2=off" # This needs one full L1 table cluster
 799 $QEMU_IMG measure --size 64G -O qcow2 -o cluster_size=16k,extended_l2=off
 800 echo "# 16K clusters, 64GB, extended_l2=on"  # This needs two full L2 table clusters
 801 $QEMU_IMG measure --size 64G -O qcow2 -o cluster_size=16k,extended_l2=on
 802
 803 echo "# 8k clusters" # This should fail
 804 $QEMU_IMG measure --size 1M -O qcow2 -o cluster_size=8k,extended_l2=on
 805
 806 echo "# 1024 TB" # Maximum allowed size with extended_l2=on and 64K clusters
 807 $QEMU_IMG measure --size 1024T -O qcow2 -o extended_l2=on
 808 echo "# 1025 TB" # This should fail
 809 $QEMU_IMG measure --size 1025T -O qcow2 -o extended_l2=on
 810
 811 echo
 812 echo "### qemu-img amend ###"
 813 echo
 814 _make_test_img -o extended_l2=on 1M
 815 $QEMU_IMG amend -o extended_l2=off "$TEST_IMG" && echo "Unexpected pass"
 816
 817 _make_test_img -o extended_l2=off 1M
 818 $QEMU_IMG amend -o extended_l2=on "$TEST_IMG" && echo "Unexpected pass"
 819
 820 echo
 821 echo "### Test copy-on-write on an image with snapshots ###"
 822 echo
 823 _make_test_img -o extended_l2=on 1M
 824
 825 # For each cluster from #0 to #9 this loop zeroes subcluster #7
 826 # and allocates subclusters #13 and #18.
 827 alloc="13 18"; zero="7"
 828 for c in $(seq 0 9); do
 829     $QEMU_IO -c "write -q -z $((64*$c+14))k 2k" \
 830              -c "write -q -P $((0xd0+$c)) $((64*$c+26))k 2k" \
 831              -c "write -q -P $((0xe0+$c)) $((64*$c+36))k 2k" "$TEST_IMG"
 832     _verify_l2_bitmap "$c"
 833 done
 834
 835 # Create a snapshot and set l2_offset to the new L2 table
 836 $QEMU_IMG snapshot -c snap1 "$TEST_IMG"
 837 l2_offset=$((0x110000))
 838
 839 # Write different patterns to each one of the clusters
 840 # in order to see how copy-on-write behaves in each case.
 841 $QEMU_IO -c "write -q -P 0xf0 $((64*0+30))k 1k" \
 842          -c "write -q -P 0xf1 $((64*1+20))k 1k" \
 843          -c "write -q -P 0xf2 $((64*2+40))k 1k" \
 844          -c "write -q -P 0xf3 $((64*3+26))k 1k" \
 845          -c "write -q -P 0xf4 $((64*4+14))k 1k" \
 846          -c "write -q -P 0xf5 $((64*5+1))k  1k" \
 847          -c "write -q -z      $((64*6+30))k 3k" \
 848          -c "write -q -z      $((64*7+26))k 2k" \
 849          -c "write -q -z      $((64*8+26))k 1k" \
 850          -c "write -q -z      $((64*9+12))k 1k" \
 851          "$TEST_IMG"
 852 alloc="$(seq 13 18)"; zero="7" _verify_l2_bitmap 0
 853 alloc="$(seq 10 18)"; zero="7" _verify_l2_bitmap 1
 854 alloc="$(seq 13 20)"; zero="7" _verify_l2_bitmap 2
 855 alloc="$(seq 13 18)"; zero="7" _verify_l2_bitmap 3
 856 alloc="$(seq 7 18)";  zero=""  _verify_l2_bitmap 4
 857 alloc="$(seq 0 18)";  zero=""  _verify_l2_bitmap 5
 858 alloc="13 18";  zero="7 15 16" _verify_l2_bitmap 6
 859 alloc="18";        zero="7 13" _verify_l2_bitmap 7
 860 alloc="$(seq 13 18)"; zero="7" _verify_l2_bitmap 8
 861 alloc="13 18";      zero="6 7" _verify_l2_bitmap 9
 862
 863 echo
 864 echo "### Test concurrent requests ###"
 865 echo
 866
 867 _concurrent_io()
 868 {
 869 # Allocate three subclusters in the same cluster.
 870 # This works because handle_dependencies() checks whether the requests
 871 # allocate the same cluster, even if the COW regions don't overlap (in
 872 # this case they don't).
 873 cat <<EOF
 874 open -o driver=$IMGFMT blkdebug::$TEST_IMG
 875 break write_aio A
 876 aio_write -P 10 30k 2k
 877 wait_break A
 878 aio_write -P 11 20k 2k
 879 aio_write -P 12 40k 2k
 880 resume A
 881 aio_flush
 882 EOF
 883 }
 884
 885 _concurrent_verify()
 886 {
 887 cat <<EOF
 888 open -o driver=$IMGFMT $TEST_IMG
 889 read -q -P 10 30k 2k
 890 read -q -P 11 20k 2k
 891 read -q -P 12 40k 2k
 892 EOF
 893 }
 894
 895 _make_test_img -o extended_l2=on 1M
 896 # Second and third writes in _concurrent_io() are independent and may finish in
 897 # different order. So, filter offset out to match both possible variants.
 898 _concurrent_io     | $QEMU_IO | _filter_qemu_io | \
 899     sed -e 's/\(20480\|40960\)/OFFSET/'
 900 _concurrent_verify | $QEMU_IO | _filter_qemu_io
 901
 902 # success, all done
 903 echo "*** done"
 904 rm -f $seq.full
 905 status=0