111a82d14SPhilippe Mathieu-Daudé#!/usr/bin/env bash 291d4093dSKevin Wolf# 391d4093dSKevin Wolf# Test concurrent cluster allocations 491d4093dSKevin Wolf# 591d4093dSKevin Wolf# Copyright (C) 2012 Red Hat, Inc. 691d4093dSKevin Wolf# 791d4093dSKevin Wolf# This program is free software; you can redistribute it and/or modify 891d4093dSKevin Wolf# it under the terms of the GNU General Public License as published by 991d4093dSKevin Wolf# the Free Software Foundation; either version 2 of the License, or 1091d4093dSKevin Wolf# (at your option) any later version. 1191d4093dSKevin Wolf# 1291d4093dSKevin Wolf# This program is distributed in the hope that it will be useful, 1391d4093dSKevin Wolf# but WITHOUT ANY WARRANTY; without even the implied warranty of 1491d4093dSKevin Wolf# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 1591d4093dSKevin Wolf# GNU General Public License for more details. 1691d4093dSKevin Wolf# 1791d4093dSKevin Wolf# You should have received a copy of the GNU General Public License 1891d4093dSKevin Wolf# along with this program. If not, see <http://www.gnu.org/licenses/>. 1991d4093dSKevin Wolf# 2091d4093dSKevin Wolf 2191d4093dSKevin Wolf# creator 2291d4093dSKevin Wolfowner=kwolf@redhat.com 2391d4093dSKevin Wolf 2491d4093dSKevin Wolfseq=`basename $0` 2591d4093dSKevin Wolfecho "QA output created by $seq" 2691d4093dSKevin Wolf 2791d4093dSKevin Wolfstatus=1 # failure is the default! 2891d4093dSKevin Wolf 2991d4093dSKevin Wolf_cleanup() 3091d4093dSKevin Wolf{ 3191d4093dSKevin Wolf _cleanup_test_img 3291d4093dSKevin Wolf} 3391d4093dSKevin Wolftrap "_cleanup; exit \$status" 0 1 2 3 15 3491d4093dSKevin Wolf 3591d4093dSKevin Wolf# get standard environment, filters and checks 3691d4093dSKevin Wolf. ./common.rc 3791d4093dSKevin Wolf. ./common.filter 3891d4093dSKevin Wolf 3991d4093dSKevin Wolf_supported_fmt qcow2 401f7bf7d0SPeter Lieven_supported_proto file 4191d4093dSKevin Wolf 4291d4093dSKevin WolfCLUSTER_SIZE=64k 4391d4093dSKevin Wolfsize=128M 4491d4093dSKevin Wolf 4591d4093dSKevin Wolfecho 4691d4093dSKevin Wolfecho "== creating backing file for COW tests ==" 4791d4093dSKevin Wolf 4891d4093dSKevin Wolf_make_test_img $size 4991d4093dSKevin Wolf 508cedcffdSEric Blakebacking_io() 5191d4093dSKevin Wolf{ 5291d4093dSKevin Wolf local offset=$1 5391d4093dSKevin Wolf local sectors=$2 5491d4093dSKevin Wolf local op=$3 5591d4093dSKevin Wolf local pattern=0 5691d4093dSKevin Wolf local cur_sec=0 5791d4093dSKevin Wolf 58*30edd9faSThomas Huth for ((i=0;i<=$((sectors - 1));i++)); do 5991d4093dSKevin Wolf cur_sec=$((offset / 65536 + i)) 6091d4093dSKevin Wolf pattern=$(( ( (cur_sec % 128) + (cur_sec / 128)) % 128 )) 6191d4093dSKevin Wolf 6291d4093dSKevin Wolf echo "$op -P $pattern $((cur_sec * 64))k 64k" 6391d4093dSKevin Wolf done 6491d4093dSKevin Wolf} 6591d4093dSKevin Wolf 66fef9c191SJeff Codybacking_io 0 32 write | $QEMU_IO "$TEST_IMG" | _filter_qemu_io 6791d4093dSKevin Wolf 68fef9c191SJeff Codymv "$TEST_IMG" "$TEST_IMG.base" 6991d4093dSKevin Wolf 70fef9c191SJeff Cody_make_test_img -b "$TEST_IMG.base" 6G 7191d4093dSKevin Wolf 7291d4093dSKevin Wolfecho 7391d4093dSKevin Wolfecho "== Some concurrent requests touching the same cluster ==" 7491d4093dSKevin Wolf 758cedcffdSEric Blakeoverlay_io() 7691d4093dSKevin Wolf{ 7791d4093dSKevin Wolf# Allocate middle of cluster 1, then write to somewhere before and after it 7891d4093dSKevin Wolfcat <<EOF 7991d4093dSKevin Wolfbreak write_aio A 8091d4093dSKevin Wolfaio_write -P 10 0x18000 0x2000 8191d4093dSKevin Wolfwait_break A 8291d4093dSKevin Wolf 8391d4093dSKevin Wolfaio_write -P 11 0x12000 0x2000 8491d4093dSKevin Wolfaio_write -P 12 0x1c000 0x2000 8591d4093dSKevin Wolf 8691d4093dSKevin Wolfresume A 8791d4093dSKevin Wolfaio_flush 8891d4093dSKevin WolfEOF 8991d4093dSKevin Wolf 9091d4093dSKevin Wolf# Sequential write case: Alloc middle of cluster 2, then write overlapping 9191d4093dSKevin Wolf# to next cluster 9291d4093dSKevin Wolfcat <<EOF 9391d4093dSKevin Wolfbreak write_aio A 9491d4093dSKevin Wolfaio_write -P 20 0x28000 0x2000 9591d4093dSKevin Wolfwait_break A 9691d4093dSKevin Wolfaio_write -P 21 0x2a000 0x10000 9791d4093dSKevin Wolfresume A 9891d4093dSKevin Wolfaio_flush 9991d4093dSKevin WolfEOF 10091d4093dSKevin Wolf 10191d4093dSKevin Wolf# The same with a gap between both requests 10291d4093dSKevin Wolfcat <<EOF 10391d4093dSKevin Wolfbreak write_aio A 10491d4093dSKevin Wolfaio_write -P 40 0x48000 0x2000 10591d4093dSKevin Wolfwait_break A 10691d4093dSKevin Wolfaio_write -P 41 0x4c000 0x10000 10791d4093dSKevin Wolfresume A 10891d4093dSKevin Wolfaio_flush 10991d4093dSKevin WolfEOF 11091d4093dSKevin Wolf 11191d4093dSKevin Wolf# Sequential write, but the next cluster is already allocated 11291d4093dSKevin Wolfcat <<EOF 11391d4093dSKevin Wolfwrite -P 70 0x76000 0x8000 11491d4093dSKevin Wolfaio_flush 11591d4093dSKevin Wolfbreak write_aio A 11691d4093dSKevin Wolfaio_write -P 60 0x66000 0x2000 11791d4093dSKevin Wolfwait_break A 11891d4093dSKevin Wolfaio_write -P 61 0x6a000 0xe000 11991d4093dSKevin Wolfresume A 12091d4093dSKevin Wolfaio_flush 12191d4093dSKevin WolfEOF 12291d4093dSKevin Wolf 12391d4093dSKevin Wolf# Sequential write, but the next cluster is already allocated 12491d4093dSKevin Wolf# and phyiscally in the right position 12591d4093dSKevin Wolfcat <<EOF 12691d4093dSKevin Wolfwrite -P 89 0x80000 0x1000 12791d4093dSKevin Wolfwrite -P 90 0x96000 0x8000 12891d4093dSKevin Wolfaio_flush 12991d4093dSKevin Wolfdiscard 0x80000 0x10000 13091d4093dSKevin Wolfaio_flush 13191d4093dSKevin Wolfbreak write_aio A 13291d4093dSKevin Wolfaio_write -P 80 0x86000 0x2000 13391d4093dSKevin Wolfwait_break A 13491d4093dSKevin Wolfaio_write -P 81 0x8a000 0xe000 13591d4093dSKevin Wolfresume A 13691d4093dSKevin Wolfaio_flush 13791d4093dSKevin WolfEOF 13891d4093dSKevin Wolf 13991d4093dSKevin Wolf# Sequential write, and the next cluster is compressed 14091d4093dSKevin Wolfcat <<EOF 14191d4093dSKevin Wolfwrite -P 109 0xa0000 0x1000 14291d4093dSKevin Wolfwrite -c -P 110 0xb0000 0x10000 14391d4093dSKevin Wolfaio_flush 14491d4093dSKevin Wolfdiscard 0xa0000 0x10000 14591d4093dSKevin Wolfaio_flush 14691d4093dSKevin Wolfbreak write_aio A 14791d4093dSKevin Wolfaio_write -P 100 0xa6000 0x2000 14891d4093dSKevin Wolfwait_break A 14991d4093dSKevin Wolfaio_write -P 101 0xaa000 0xe000 15091d4093dSKevin Wolfresume A 15191d4093dSKevin Wolfaio_flush 15291d4093dSKevin WolfEOF 1536f749281SKevin Wolf 1546f749281SKevin Wolf# Reverse sequential write 1556f749281SKevin Wolfcat <<EOF 1566f749281SKevin Wolfbreak write_aio A 1576f749281SKevin Wolfaio_write -P 121 0xdc000 0x2000 1586f749281SKevin Wolfwait_break A 1596f749281SKevin Wolfaio_write -P 120 0xc4000 0x18000 1606f749281SKevin Wolfresume A 1616f749281SKevin Wolfaio_flush 1626f749281SKevin WolfEOF 1636f749281SKevin Wolf 1646f749281SKevin Wolf# Reverse sequential write with a gap 1656f749281SKevin Wolfcat <<EOF 1666f749281SKevin Wolfbreak write_aio A 1676f749281SKevin Wolfaio_write -P 141 0xfc000 0x2000 1686f749281SKevin Wolfwait_break A 1696f749281SKevin Wolfaio_write -P 140 0xe4000 0x14000 1706f749281SKevin Wolfresume A 1716f749281SKevin Wolfaio_flush 1726f749281SKevin WolfEOF 1736f749281SKevin Wolf 1746f749281SKevin Wolf# Allocate an area in the middle and then overwrite with a larger request 1756f749281SKevin Wolfcat <<EOF 1766f749281SKevin Wolfbreak write_aio A 1776f749281SKevin Wolfaio_write -P 161 0x10c000 0x8000 1786f749281SKevin Wolfwait_break A 1796f749281SKevin Wolfaio_write -P 160 0x104000 0x18000 1806f749281SKevin Wolfresume A 1816f749281SKevin Wolfaio_flush 1826f749281SKevin WolfEOF 18391d4093dSKevin Wolf} 18491d4093dSKevin Wolf 185fef9c191SJeff Codyoverlay_io | $QEMU_IO blkdebug::"$TEST_IMG" | _filter_qemu_io |\ 18691d4093dSKevin Wolf sed -e 's/bytes at offset [0-9]*/bytes at offset XXX/g' 18791d4093dSKevin Wolf 18891d4093dSKevin Wolfecho 18991d4093dSKevin Wolfecho "== Verify image content ==" 19091d4093dSKevin Wolf 1918cedcffdSEric Blakeverify_io() 19291d4093dSKevin Wolf{ 19355e5a3b6SFam Zheng if ($QEMU_IMG info -U -f "$IMGFMT" "$TEST_IMG" | grep "compat: 0.10" > /dev/null); then 194a71835a0SKevin Wolf # For v2 images, discarded clusters are read from the backing file 195a71835a0SKevin Wolf # Keep the variable empty so that the backing file value can be used as 196a71835a0SKevin Wolf # the default below 197a71835a0SKevin Wolf discarded= 198a71835a0SKevin Wolf else 199a71835a0SKevin Wolf # Discarded clusters are zeroed for v3 or later 200a71835a0SKevin Wolf discarded=0 201a71835a0SKevin Wolf fi 202a71835a0SKevin Wolf 20391d4093dSKevin Wolf echo read -P 0 0 0x10000 20491d4093dSKevin Wolf 20591d4093dSKevin Wolf echo read -P 1 0x10000 0x2000 20691d4093dSKevin Wolf echo read -P 11 0x12000 0x2000 20791d4093dSKevin Wolf echo read -P 1 0x14000 0x4000 20891d4093dSKevin Wolf echo read -P 10 0x18000 0x2000 20991d4093dSKevin Wolf echo read -P 1 0x1a000 0x2000 21091d4093dSKevin Wolf echo read -P 12 0x1c000 0x2000 21191d4093dSKevin Wolf echo read -P 1 0x1e000 0x2000 21291d4093dSKevin Wolf 21391d4093dSKevin Wolf echo read -P 2 0x20000 0x8000 21491d4093dSKevin Wolf echo read -P 20 0x28000 0x2000 21591d4093dSKevin Wolf echo read -P 21 0x2a000 0x10000 21691d4093dSKevin Wolf echo read -P 3 0x3a000 0x6000 21791d4093dSKevin Wolf 21891d4093dSKevin Wolf echo read -P 4 0x40000 0x8000 21991d4093dSKevin Wolf echo read -P 40 0x48000 0x2000 22091d4093dSKevin Wolf echo read -P 4 0x4a000 0x2000 22191d4093dSKevin Wolf echo read -P 41 0x4c000 0x10000 22291d4093dSKevin Wolf echo read -P 5 0x5c000 0x4000 22391d4093dSKevin Wolf 22491d4093dSKevin Wolf echo read -P 6 0x60000 0x6000 22591d4093dSKevin Wolf echo read -P 60 0x66000 0x2000 22691d4093dSKevin Wolf echo read -P 6 0x68000 0x2000 22791d4093dSKevin Wolf echo read -P 61 0x6a000 0xe000 22891d4093dSKevin Wolf echo read -P 70 0x78000 0x6000 22991d4093dSKevin Wolf echo read -P 7 0x7e000 0x2000 23091d4093dSKevin Wolf 231a71835a0SKevin Wolf echo read -P ${discarded:-8} 0x80000 0x6000 23291d4093dSKevin Wolf echo read -P 80 0x86000 0x2000 233a71835a0SKevin Wolf echo read -P ${discarded:-8} 0x88000 0x2000 23491d4093dSKevin Wolf echo read -P 81 0x8a000 0xe000 23591d4093dSKevin Wolf echo read -P 90 0x98000 0x6000 23691d4093dSKevin Wolf echo read -P 9 0x9e000 0x2000 23791d4093dSKevin Wolf 238a71835a0SKevin Wolf echo read -P ${discarded:-10} 0xa0000 0x6000 23991d4093dSKevin Wolf echo read -P 100 0xa6000 0x2000 240a71835a0SKevin Wolf echo read -P ${discarded:-10} 0xa8000 0x2000 24191d4093dSKevin Wolf echo read -P 101 0xaa000 0xe000 24291d4093dSKevin Wolf echo read -P 110 0xb8000 0x8000 2436f749281SKevin Wolf 2446f749281SKevin Wolf echo read -P 12 0xc0000 0x4000 2456f749281SKevin Wolf echo read -P 120 0xc4000 0x18000 2466f749281SKevin Wolf echo read -P 121 0xdc000 0x2000 2476f749281SKevin Wolf echo read -P 13 0xde000 0x2000 2486f749281SKevin Wolf 2496f749281SKevin Wolf echo read -P 14 0xe0000 0x4000 2506f749281SKevin Wolf echo read -P 140 0xe4000 0x14000 2516f749281SKevin Wolf echo read -P 15 0xf8000 0x4000 2526f749281SKevin Wolf echo read -P 141 0xfc000 0x2000 2536f749281SKevin Wolf echo read -P 15 0xfe000 0x2000 2546f749281SKevin Wolf 2556f749281SKevin Wolf echo read -P 16 0x100000 0x4000 2566f749281SKevin Wolf echo read -P 160 0x104000 0x8000 2576f749281SKevin Wolf # Undefined content for 0x10c000 0x8000 2586f749281SKevin Wolf echo read -P 160 0x114000 0x8000 2596f749281SKevin Wolf echo read -P 17 0x11c000 0x4000 26091d4093dSKevin Wolf} 26191d4093dSKevin Wolf 262fef9c191SJeff Codyverify_io | $QEMU_IO "$TEST_IMG" | _filter_qemu_io 26391d4093dSKevin Wolf 26491d4093dSKevin Wolf_check_test_img 26591d4093dSKevin Wolf 26691d4093dSKevin Wolf# success, all done 26791d4093dSKevin Wolfecho "*** done" 26891d4093dSKevin Wolfrm -f $seq.full 26991d4093dSKevin Wolfstatus=0 270