xref: /qemu/tests/qemu-iotests/046 (revision 30edd9fa50e86fbf40c780bf47d7cb214e6f8438)
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