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