tests/xfs/227

   1 #! /bin/bash
   2 # SPDX-License-Identifier: GPL-2.0
   3 # Copyright (c) 2010 Dave Chinner.  All Rights Reserved.
   4 #
   5 # FS QA Test No. 227
   6 #
   7 # xfs_fsr QA tests
   8 # run xfs_fsr over the test filesystem to give it a wide and varied set of
   9 # inodes to try to defragment. This is effectively a crash/assert failure
  10 # test looking for corruption induced by the kernel inadequately checking
  11 # the indoes to be swapped. It also is good for validating fsr's attribute fork
  12 # generation code.
  13 #
  14 seq=`basename $0`
  15 seqres=$RESULT_DIR/$seq
  16 echo "QA output created by $seq"
  17
  18 here=`pwd`
  19 tmp=/tmp/$$
  20 status=1        # failure is the default!
  21
  22 _cleanup()
  23 {
  24     rm -f $tmp.*
  25 }
  26
  27 trap "_cleanup ; exit \$status" 0 1 2 3 15
  28
  29 # get standard environment, filters and checks
  30 . ./common/rc
  31 . ./common/filter
  32
  33 # real QA test starts here
  34 _supported_fs xfs
  35 _require_scratch
  36
  37 rm -f $seqres.full
  38
  39 [ "$XFS_FSR_PROG" = "" ] && _notrun "xfs_fsr not found"
  40
  41 # create freespace holes of 1-3 blocks in length
  42 #
  43 # This is done to ensure that defragmented files have roughly 1/3 the
  44 # number of extents they started with. This will ensure we get
  45 # transistions from btree format (say 15 extents) to extent format
  46 # (say 5 extents) and lots of variations around that dependent on the
  47 # number of attributes in the files being defragmented.
  48 #
  49 # We have to make sure there are enough free inodes for the test to
  50 # pass without needing to allocate new clusters during the test.
  51 # With such fragemented free space, that will fail.
  52 #
  53 fragment_freespace()
  54 {
  55         _file="$SCRATCH_MNT/not_free"
  56         _dir="$SCRATCH_MNT/saved"
  57
  58         # allocate inode space
  59         mkdir -p $_dir
  60         for i in `seq 0 1 1000`; do
  61                 touch $_file.$i
  62         done
  63         for i in `seq 0 63 1000`; do
  64                 mv $_file.$i $_dir
  65         done
  66         for i in `seq 0 1 1000`; do
  67                 rm -f $_file.$i
  68         done
  69
  70         $XFS_IO_PROG -fs -c "resvsp 0 40000k" $_file > /dev/null 2>&1
  71
  72         for i in `seq 0 8 40000`; do
  73                 $XFS_IO_PROG -f -c "unresvsp ${i}k 4k" $_file \
  74                                         > /dev/null 2>&1
  75         done
  76         for i in `seq 0 28 40000`; do
  77                 $XFS_IO_PROG -f -c "unresvsp ${i}k 4k" $_file \
  78                                         > /dev/null 2>&1
  79         done
  80         sync
  81
  82         # and now use up all the remaining extents larger than 3 blocks
  83         $XFS_IO_PROG -fs -c "resvsp 0 4m" $_file.large > /dev/null 2>&1
  84 }
  85
  86 create_attrs()
  87 {
  88         for foo in `seq 0 1 $1`; do
  89                 $SETFATTR_PROG -n user.$foo -v 0xbabe $2
  90         done
  91 }
  92
  93 create_data()
  94 {
  95         size=`expr \( $1 + 1 \) \* 4096`
  96         $XFS_IO_PROG -f -c "truncate $size" $2 > /dev/null 2>&1
  97         for foo in `seq $1 -1 0`; do
  98                 let offset=$foo*4096
  99                 $XFS_IO_PROG -f -c "resvsp $offset 4096" $2 > /dev/null 2>&1
 100         done
 101 }
 102
 103 # create the designated file with a certain number of attributes and a certain
 104 # number of data extents. Reverse order synchronous data writes are used to
 105 # create fragmented files, though with the way the filesystem freespace is
 106 # fragmented, this is probably not necessary. Create the attributes first so
 107 # that they cause the initial fork offset pressure to move it about.
 108 #
 109 create_target_attr_first()
 110 {
 111         nattrs=$1
 112         file_blocks=$2
 113         target=$3
 114
 115         rm -f $target
 116         touch $target
 117         create_attrs $nattrs $target
 118         create_data $file_blocks $target
 119 }
 120
 121 # Same as create_target_attr_first, but this time put the attributes on after
 122 # the data extents have been created. This puts different pressure on the
 123 # inode fork offset, so should exercise the kernel code differently and give us
 124 # a different pattern of fork offsets to work with compared to creating the
 125 # attrs first.
 126 #
 127 create_target_attr_last()
 128 {
 129         nattrs=$1
 130         file_blocks=$2
 131         target=$3
 132
 133         rm -f $target
 134         touch $target
 135         create_data $file_blocks $target
 136         create_attrs $nattrs $target
 137 }
 138
 139 # use a small filesystem so we can control freespace easily
 140 _scratch_mkfs_sized $((50 * 1024 * 1024)) >> $seqres.full 2>&1
 141 _scratch_mount
 142 fragment_freespace
 143
 144 # unmount and remount to reset all allocator indexes
 145 _scratch_unmount
 146 _scratch_mount
 147
 148 # create a range of source files, then fsr them to a known size
 149 #
 150 # This assumes 256 byte inodes.
 151 #
 152 # n = number of target fragments for xfs_fsr
 153 #       - only a guideline, but forces multiple fragments via sync writes
 154 #       - start at 4 as that typically covers all extent format situations
 155 #       - end at 12 as that is beyond the maximum that canbe fit in extent
 156 #         format
 157 # i = number of 2 byte attributes on the file
 158 #       - it takes 6 attributes to change the fork offset from the start value
 159 #         of 120 bytes to 112 bytes, so we start at 5.
 160 #       - 15 is enough to push to btree format, so we stop there.
 161 # j = number of data extents on the file
 162 #       - start in extent format, but we also want btree format as well, so
 163 #         start at 5 so that the number of attributes determines the starting
 164 #         format.
 165 #       - need enough extents that if they are all 3 blocks in length the final
 166 #         format will be dependent on the number of attributes on the inode. 20
 167 #         initial single block extents gives us 6-8 extents after defrag which
 168 #         puts us right on the threshold of what the extent format can hold.
 169
 170 targ=$SCRATCH_MNT/fsr_test_file.$$
 171 for n in `seq 4 1 12`; do
 172         echo "*** n == $n ***" >> $seqres.full
 173         for i in `seq 5 1 15`; do
 174                 for j in `seq 5 1 20`; do
 175                         create_target_attr_first $i $j $targ.$i.$j >> $seqres.full 2>&1
 176                 done
 177                 xfs_bmap -vp $targ.$i.* >> $seqres.full 2>&1
 178                 FSRXFSTEST=true xfs_fsr -d -v -C $n $targ.$i.* >> $seqres.full 2>&1
 179                 xfs_bmap -vp $targ.$i.* >> $seqres.full 2>&1
 180                 for j in `seq 5 1 20`; do
 181                         create_target_attr_last $i $j $targ.$i.$j >> $seqres.full 2>&1
 182                 done
 183                 xfs_bmap -vp $targ.$i.* >> $seqres.full 2>&1
 184                 FSRXFSTEST=true xfs_fsr -d -v -C $n $targ.$i.* >> $seqres.full 2>&1
 185                 xfs_bmap -vp $targ.$i.* >> $seqres.full 2>&1
 186         done
 187 done
 188
 189 _scratch_unmount
 190 echo "--- silence is golden ---"
 191 status=0 ; exit