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 41*3be2024aSMax Reitz# data_file does not support compressed clusters 42*3be2024aSMax Reitz_unsupported_imgopts data_file 4391d4093dSKevin Wolf 4491d4093dSKevin WolfCLUSTER_SIZE=64k 4591d4093dSKevin Wolfsize=128M 4691d4093dSKevin Wolf 4791d4093dSKevin Wolfecho 4891d4093dSKevin Wolfecho "== creating backing file for COW tests ==" 4991d4093dSKevin Wolf 5091d4093dSKevin Wolf_make_test_img $size 5191d4093dSKevin Wolf 528cedcffdSEric Blakebacking_io() 5391d4093dSKevin Wolf{ 5491d4093dSKevin Wolf local offset=$1 5591d4093dSKevin Wolf local sectors=$2 5691d4093dSKevin Wolf local op=$3 5791d4093dSKevin Wolf local pattern=0 5891d4093dSKevin Wolf local cur_sec=0 5991d4093dSKevin Wolf 6030edd9faSThomas Huth for ((i=0;i<=$((sectors - 1));i++)); do 6191d4093dSKevin Wolf cur_sec=$((offset / 65536 + i)) 6291d4093dSKevin Wolf pattern=$(( ( (cur_sec % 128) + (cur_sec / 128)) % 128 )) 6391d4093dSKevin Wolf 6491d4093dSKevin Wolf echo "$op -P $pattern $((cur_sec * 64))k 64k" 6591d4093dSKevin Wolf done 6691d4093dSKevin Wolf} 6791d4093dSKevin Wolf 68fef9c191SJeff Codybacking_io 0 32 write | $QEMU_IO "$TEST_IMG" | _filter_qemu_io 6991d4093dSKevin Wolf 70fef9c191SJeff Codymv "$TEST_IMG" "$TEST_IMG.base" 7191d4093dSKevin Wolf 72fef9c191SJeff Cody_make_test_img -b "$TEST_IMG.base" 6G 7391d4093dSKevin Wolf 7491d4093dSKevin Wolfecho 7591d4093dSKevin Wolfecho "== Some concurrent requests touching the same cluster ==" 7691d4093dSKevin Wolf 778cedcffdSEric Blakeoverlay_io() 7891d4093dSKevin Wolf{ 7991d4093dSKevin Wolf# Allocate middle of cluster 1, then write to somewhere before and after it 8091d4093dSKevin Wolfcat <<EOF 8191d4093dSKevin Wolfbreak write_aio A 8291d4093dSKevin Wolfaio_write -P 10 0x18000 0x2000 8391d4093dSKevin Wolfwait_break A 8491d4093dSKevin Wolf 8591d4093dSKevin Wolfaio_write -P 11 0x12000 0x2000 8691d4093dSKevin Wolfaio_write -P 12 0x1c000 0x2000 8791d4093dSKevin Wolf 8891d4093dSKevin Wolfresume A 8991d4093dSKevin Wolfaio_flush 9091d4093dSKevin WolfEOF 9191d4093dSKevin Wolf 9291d4093dSKevin Wolf# Sequential write case: Alloc middle of cluster 2, then write overlapping 9391d4093dSKevin Wolf# to next cluster 9491d4093dSKevin Wolfcat <<EOF 9591d4093dSKevin Wolfbreak write_aio A 9691d4093dSKevin Wolfaio_write -P 20 0x28000 0x2000 9791d4093dSKevin Wolfwait_break A 9891d4093dSKevin Wolfaio_write -P 21 0x2a000 0x10000 9991d4093dSKevin Wolfresume A 10091d4093dSKevin Wolfaio_flush 10191d4093dSKevin WolfEOF 10291d4093dSKevin Wolf 10391d4093dSKevin Wolf# The same with a gap between both requests 10491d4093dSKevin Wolfcat <<EOF 10591d4093dSKevin Wolfbreak write_aio A 10691d4093dSKevin Wolfaio_write -P 40 0x48000 0x2000 10791d4093dSKevin Wolfwait_break A 10891d4093dSKevin Wolfaio_write -P 41 0x4c000 0x10000 10991d4093dSKevin Wolfresume A 11091d4093dSKevin Wolfaio_flush 11191d4093dSKevin WolfEOF 11291d4093dSKevin Wolf 11391d4093dSKevin Wolf# Sequential write, but the next cluster is already allocated 11491d4093dSKevin Wolfcat <<EOF 11591d4093dSKevin Wolfwrite -P 70 0x76000 0x8000 11691d4093dSKevin Wolfaio_flush 11791d4093dSKevin Wolfbreak write_aio A 11891d4093dSKevin Wolfaio_write -P 60 0x66000 0x2000 11991d4093dSKevin Wolfwait_break A 12091d4093dSKevin Wolfaio_write -P 61 0x6a000 0xe000 12191d4093dSKevin Wolfresume A 12291d4093dSKevin Wolfaio_flush 12391d4093dSKevin WolfEOF 12491d4093dSKevin Wolf 12591d4093dSKevin Wolf# Sequential write, but the next cluster is already allocated 12691d4093dSKevin Wolf# and phyiscally in the right position 12791d4093dSKevin Wolfcat <<EOF 12891d4093dSKevin Wolfwrite -P 89 0x80000 0x1000 12991d4093dSKevin Wolfwrite -P 90 0x96000 0x8000 13091d4093dSKevin Wolfaio_flush 13191d4093dSKevin Wolfdiscard 0x80000 0x10000 13291d4093dSKevin Wolfaio_flush 13391d4093dSKevin Wolfbreak write_aio A 13491d4093dSKevin Wolfaio_write -P 80 0x86000 0x2000 13591d4093dSKevin Wolfwait_break A 13691d4093dSKevin Wolfaio_write -P 81 0x8a000 0xe000 13791d4093dSKevin Wolfresume A 13891d4093dSKevin Wolfaio_flush 13991d4093dSKevin WolfEOF 14091d4093dSKevin Wolf 14191d4093dSKevin Wolf# Sequential write, and the next cluster is compressed 14291d4093dSKevin Wolfcat <<EOF 14391d4093dSKevin Wolfwrite -P 109 0xa0000 0x1000 14491d4093dSKevin Wolfwrite -c -P 110 0xb0000 0x10000 14591d4093dSKevin Wolfaio_flush 14691d4093dSKevin Wolfdiscard 0xa0000 0x10000 14791d4093dSKevin Wolfaio_flush 14891d4093dSKevin Wolfbreak write_aio A 14991d4093dSKevin Wolfaio_write -P 100 0xa6000 0x2000 15091d4093dSKevin Wolfwait_break A 15191d4093dSKevin Wolfaio_write -P 101 0xaa000 0xe000 15291d4093dSKevin Wolfresume A 15391d4093dSKevin Wolfaio_flush 15491d4093dSKevin WolfEOF 1556f749281SKevin Wolf 1566f749281SKevin Wolf# Reverse sequential write 1576f749281SKevin Wolfcat <<EOF 1586f749281SKevin Wolfbreak write_aio A 1596f749281SKevin Wolfaio_write -P 121 0xdc000 0x2000 1606f749281SKevin Wolfwait_break A 1616f749281SKevin Wolfaio_write -P 120 0xc4000 0x18000 1626f749281SKevin Wolfresume A 1636f749281SKevin Wolfaio_flush 1646f749281SKevin WolfEOF 1656f749281SKevin Wolf 1666f749281SKevin Wolf# Reverse sequential write with a gap 1676f749281SKevin Wolfcat <<EOF 1686f749281SKevin Wolfbreak write_aio A 1696f749281SKevin Wolfaio_write -P 141 0xfc000 0x2000 1706f749281SKevin Wolfwait_break A 1716f749281SKevin Wolfaio_write -P 140 0xe4000 0x14000 1726f749281SKevin Wolfresume A 1736f749281SKevin Wolfaio_flush 1746f749281SKevin WolfEOF 1756f749281SKevin Wolf 1766f749281SKevin Wolf# Allocate an area in the middle and then overwrite with a larger request 1776f749281SKevin Wolfcat <<EOF 1786f749281SKevin Wolfbreak write_aio A 1796f749281SKevin Wolfaio_write -P 161 0x10c000 0x8000 1806f749281SKevin Wolfwait_break A 1816f749281SKevin Wolfaio_write -P 160 0x104000 0x18000 1826f749281SKevin Wolfresume A 1836f749281SKevin Wolfaio_flush 1846f749281SKevin WolfEOF 18591d4093dSKevin Wolf} 18691d4093dSKevin Wolf 187fef9c191SJeff Codyoverlay_io | $QEMU_IO blkdebug::"$TEST_IMG" | _filter_qemu_io |\ 18891d4093dSKevin Wolf sed -e 's/bytes at offset [0-9]*/bytes at offset XXX/g' 18991d4093dSKevin Wolf 19091d4093dSKevin Wolfecho 19191d4093dSKevin Wolfecho "== Verify image content ==" 19291d4093dSKevin Wolf 1938cedcffdSEric Blakeverify_io() 19491d4093dSKevin Wolf{ 19555e5a3b6SFam Zheng if ($QEMU_IMG info -U -f "$IMGFMT" "$TEST_IMG" | grep "compat: 0.10" > /dev/null); then 196a71835a0SKevin Wolf # For v2 images, discarded clusters are read from the backing file 197a71835a0SKevin Wolf # Keep the variable empty so that the backing file value can be used as 198a71835a0SKevin Wolf # the default below 199a71835a0SKevin Wolf discarded= 200a71835a0SKevin Wolf else 201a71835a0SKevin Wolf # Discarded clusters are zeroed for v3 or later 202a71835a0SKevin Wolf discarded=0 203a71835a0SKevin Wolf fi 204a71835a0SKevin Wolf 20591d4093dSKevin Wolf echo read -P 0 0 0x10000 20691d4093dSKevin Wolf 20791d4093dSKevin Wolf echo read -P 1 0x10000 0x2000 20891d4093dSKevin Wolf echo read -P 11 0x12000 0x2000 20991d4093dSKevin Wolf echo read -P 1 0x14000 0x4000 21091d4093dSKevin Wolf echo read -P 10 0x18000 0x2000 21191d4093dSKevin Wolf echo read -P 1 0x1a000 0x2000 21291d4093dSKevin Wolf echo read -P 12 0x1c000 0x2000 21391d4093dSKevin Wolf echo read -P 1 0x1e000 0x2000 21491d4093dSKevin Wolf 21591d4093dSKevin Wolf echo read -P 2 0x20000 0x8000 21691d4093dSKevin Wolf echo read -P 20 0x28000 0x2000 21791d4093dSKevin Wolf echo read -P 21 0x2a000 0x10000 21891d4093dSKevin Wolf echo read -P 3 0x3a000 0x6000 21991d4093dSKevin Wolf 22091d4093dSKevin Wolf echo read -P 4 0x40000 0x8000 22191d4093dSKevin Wolf echo read -P 40 0x48000 0x2000 22291d4093dSKevin Wolf echo read -P 4 0x4a000 0x2000 22391d4093dSKevin Wolf echo read -P 41 0x4c000 0x10000 22491d4093dSKevin Wolf echo read -P 5 0x5c000 0x4000 22591d4093dSKevin Wolf 22691d4093dSKevin Wolf echo read -P 6 0x60000 0x6000 22791d4093dSKevin Wolf echo read -P 60 0x66000 0x2000 22891d4093dSKevin Wolf echo read -P 6 0x68000 0x2000 22991d4093dSKevin Wolf echo read -P 61 0x6a000 0xe000 23091d4093dSKevin Wolf echo read -P 70 0x78000 0x6000 23191d4093dSKevin Wolf echo read -P 7 0x7e000 0x2000 23291d4093dSKevin Wolf 233a71835a0SKevin Wolf echo read -P ${discarded:-8} 0x80000 0x6000 23491d4093dSKevin Wolf echo read -P 80 0x86000 0x2000 235a71835a0SKevin Wolf echo read -P ${discarded:-8} 0x88000 0x2000 23691d4093dSKevin Wolf echo read -P 81 0x8a000 0xe000 23791d4093dSKevin Wolf echo read -P 90 0x98000 0x6000 23891d4093dSKevin Wolf echo read -P 9 0x9e000 0x2000 23991d4093dSKevin Wolf 240a71835a0SKevin Wolf echo read -P ${discarded:-10} 0xa0000 0x6000 24191d4093dSKevin Wolf echo read -P 100 0xa6000 0x2000 242a71835a0SKevin Wolf echo read -P ${discarded:-10} 0xa8000 0x2000 24391d4093dSKevin Wolf echo read -P 101 0xaa000 0xe000 24491d4093dSKevin Wolf echo read -P 110 0xb8000 0x8000 2456f749281SKevin Wolf 2466f749281SKevin Wolf echo read -P 12 0xc0000 0x4000 2476f749281SKevin Wolf echo read -P 120 0xc4000 0x18000 2486f749281SKevin Wolf echo read -P 121 0xdc000 0x2000 2496f749281SKevin Wolf echo read -P 13 0xde000 0x2000 2506f749281SKevin Wolf 2516f749281SKevin Wolf echo read -P 14 0xe0000 0x4000 2526f749281SKevin Wolf echo read -P 140 0xe4000 0x14000 2536f749281SKevin Wolf echo read -P 15 0xf8000 0x4000 2546f749281SKevin Wolf echo read -P 141 0xfc000 0x2000 2556f749281SKevin Wolf echo read -P 15 0xfe000 0x2000 2566f749281SKevin Wolf 2576f749281SKevin Wolf echo read -P 16 0x100000 0x4000 2586f749281SKevin Wolf echo read -P 160 0x104000 0x8000 2596f749281SKevin Wolf # Undefined content for 0x10c000 0x8000 2606f749281SKevin Wolf echo read -P 160 0x114000 0x8000 2616f749281SKevin Wolf echo read -P 17 0x11c000 0x4000 26291d4093dSKevin Wolf} 26391d4093dSKevin Wolf 264fef9c191SJeff Codyverify_io | $QEMU_IO "$TEST_IMG" | _filter_qemu_io 26591d4093dSKevin Wolf 26691d4093dSKevin Wolf_check_test_img 26791d4093dSKevin Wolf 26891d4093dSKevin Wolf# success, all done 26991d4093dSKevin Wolfecho "*** done" 27091d4093dSKevin Wolfrm -f $seq.full 27191d4093dSKevin Wolfstatus=0 272