t/t5302-pack-index.sh

   1 #!/bin/sh
   2 #
   3 # Copyright (c) 2007 Nicolas Pitre
   4 #
   5
   6 test_description='pack index with 64-bit offsets and object CRC'
   7 . ./test-lib.sh
   8
   9 test_expect_success \
  10     'setup' \
  11     'rm -rf .git &&
  12      git init &&
  13      git config pack.threads 1 &&
  14      i=1 &&
  15      while test $i -le 100
  16      do
  17          iii=`printf '%03i' $i`
  18          test-genrandom "bar" 200 > wide_delta_$iii &&
  19          test-genrandom "baz $iii" 50 >> wide_delta_$iii &&
  20          test-genrandom "foo"$i 100 > deep_delta_$iii &&
  21          test-genrandom "foo"`expr $i + 1` 100 >> deep_delta_$iii &&
  22          test-genrandom "foo"`expr $i + 2` 100 >> deep_delta_$iii &&
  23          echo $iii >file_$iii &&
  24          test-genrandom "$iii" 8192 >>file_$iii &&
  25          git update-index --add file_$iii deep_delta_$iii wide_delta_$iii &&
  26          i=`expr $i + 1` || return 1
  27      done &&
  28      { echo 101 && test-genrandom 100 8192; } >file_101 &&
  29      git update-index --add file_101 &&
  30      tree=`git write-tree` &&
  31      commit=`git commit-tree $tree </dev/null` && {
  32          echo $tree &&
  33          git ls-tree $tree | sed -e "s/.* \\([0-9a-f]*\\)       .*/\\1/"
  34      } >obj-list &&
  35      git update-ref HEAD $commit'
  36
  37 test_expect_success \
  38     'pack-objects with index version 1' \
  39     'pack1=$(git pack-objects --index-version=1 test-1 <obj-list) &&
  40      git verify-pack -v "test-1-${pack1}.pack"'
  41
  42 test_expect_success \
  43     'pack-objects with index version 2' \
  44     'pack2=$(git pack-objects --index-version=2 test-2 <obj-list) &&
  45      git verify-pack -v "test-2-${pack2}.pack"'
  46
  47 test_expect_success \
  48     'both packs should be identical' \
  49     'cmp "test-1-${pack1}.pack" "test-2-${pack2}.pack"'
  50
  51 test_expect_success \
  52     'index v1 and index v2 should be different' \
  53     '! cmp "test-1-${pack1}.idx" "test-2-${pack2}.idx"'
  54
  55 test_expect_success \
  56     'index-pack with index version 1' \
  57     'git index-pack --index-version=1 -o 1.idx "test-1-${pack1}.pack"'
  58
  59 test_expect_success \
  60     'index-pack with index version 2' \
  61     'git index-pack --index-version=2 -o 2.idx "test-1-${pack1}.pack"'
  62
  63 test_expect_success \
  64     'index-pack results should match pack-objects ones' \
  65     'cmp "test-1-${pack1}.idx" "1.idx" &&
  66      cmp "test-2-${pack2}.idx" "2.idx"'
  67
  68 test_expect_success 'index-pack --verify on index version 1' '
  69         git index-pack --verify "test-1-${pack1}.pack"
  70 '
  71
  72 test_expect_success 'index-pack --verify on index version 2' '
  73         git index-pack --verify "test-2-${pack2}.pack"
  74 '
  75
  76 test_expect_success \
  77     'index v2: force some 64-bit offsets with pack-objects' \
  78     'pack3=$(git pack-objects --index-version=2,0x40000 test-3 <obj-list)'
  79
  80 if msg=$(git verify-pack -v "test-3-${pack3}.pack" 2>&1) ||
  81         ! (echo "$msg" | grep "pack too large .* off_t")
  82 then
  83         test_set_prereq OFF64_T
  84 else
  85         say "# skipping tests concerning 64-bit offsets"
  86 fi
  87
  88 test_expect_success OFF64_T \
  89     'index v2: verify a pack with some 64-bit offsets' \
  90     'git verify-pack -v "test-3-${pack3}.pack"'
  91
  92 test_expect_success OFF64_T \
  93     '64-bit offsets: should be different from previous index v2 results' \
  94     '! cmp "test-2-${pack2}.idx" "test-3-${pack3}.idx"'
  95
  96 test_expect_success OFF64_T \
  97     'index v2: force some 64-bit offsets with index-pack' \
  98     'git index-pack --index-version=2,0x40000 -o 3.idx "test-1-${pack1}.pack"'
  99
 100 test_expect_success OFF64_T \
 101     '64-bit offsets: index-pack result should match pack-objects one' \
 102     'cmp "test-3-${pack3}.idx" "3.idx"'
 103
 104 test_expect_success OFF64_T 'index-pack --verify on 64-bit offset v2 (cheat)' '
 105         # This cheats by knowing which lower offset should still be encoded
 106         # in 64-bit representation.
 107         git index-pack --verify --index-version=2,0x40000 "test-3-${pack3}.pack"
 108 '
 109
 110 test_expect_success OFF64_T 'index-pack --verify on 64-bit offset v2' '
 111         git index-pack --verify "test-3-${pack3}.pack"
 112 '
 113
 114 # returns the object number for given object in given pack index
 115 index_obj_nr()
 116 {
 117     idx_file=$1
 118     object_sha1=$2
 119     nr=0
 120     git show-index < $idx_file |
 121     while read offs sha1 extra
 122     do
 123       nr=$(($nr + 1))
 124       test "$sha1" = "$object_sha1" || continue
 125       echo "$(($nr - 1))"
 126       break
 127     done
 128 }
 129
 130 # returns the pack offset for given object as found in given pack index
 131 index_obj_offset()
 132 {
 133     idx_file=$1
 134     object_sha1=$2
 135     git show-index < $idx_file | grep $object_sha1 |
 136     ( read offs extra && echo "$offs" )
 137 }
 138
 139 test_expect_success \
 140     '[index v1] 1) stream pack to repository' \
 141     'git index-pack --index-version=1 --stdin < "test-1-${pack1}.pack" &&
 142      git prune-packed &&
 143      git count-objects | ( read nr rest && test "$nr" -eq 1 ) &&
 144      cmp "test-1-${pack1}.pack" ".git/objects/pack/pack-${pack1}.pack" &&
 145      cmp "test-1-${pack1}.idx"  ".git/objects/pack/pack-${pack1}.idx"'
 146
 147 test_expect_success \
 148     '[index v1] 2) create a stealth corruption in a delta base reference' \
 149     '# This test assumes file_101 is a delta smaller than 16 bytes.
 150      # It should be against file_100 but we substitute its base for file_099
 151      sha1_101=`git hash-object file_101` &&
 152      sha1_099=`git hash-object file_099` &&
 153      offs_101=`index_obj_offset 1.idx $sha1_101` &&
 154      nr_099=`index_obj_nr 1.idx $sha1_099` &&
 155      chmod +w ".git/objects/pack/pack-${pack1}.pack" &&
 156      dd of=".git/objects/pack/pack-${pack1}.pack" seek=$(($offs_101 + 1)) \
 157         if=".git/objects/pack/pack-${pack1}.idx" \
 158         skip=$((4 + 256 * 4 + $nr_099 * 24)) \
 159         bs=1 count=20 conv=notrunc &&
 160      git cat-file blob $sha1_101 > file_101_foo1'
 161
 162 test_expect_success \
 163     '[index v1] 3) corrupted delta happily returned wrong data' \
 164     'test -f file_101_foo1 && ! cmp file_101 file_101_foo1'
 165
 166 test_expect_success \
 167     '[index v1] 4) confirm that the pack is actually corrupted' \
 168     'test_must_fail git fsck --full $commit'
 169
 170 test_expect_success \
 171     '[index v1] 5) pack-objects happily reuses corrupted data' \
 172     'pack4=$(git pack-objects test-4 <obj-list) &&
 173      test -f "test-4-${pack1}.pack"'
 174
 175 test_expect_success \
 176     '[index v1] 6) newly created pack is BAD !' \
 177     'test_must_fail git verify-pack -v "test-4-${pack1}.pack"'
 178
 179 test_expect_success \
 180     '[index v2] 1) stream pack to repository' \
 181     'rm -f .git/objects/pack/* &&
 182      git index-pack --index-version=2 --stdin < "test-1-${pack1}.pack" &&
 183      git prune-packed &&
 184      git count-objects | ( read nr rest && test "$nr" -eq 1 ) &&
 185      cmp "test-1-${pack1}.pack" ".git/objects/pack/pack-${pack1}.pack" &&
 186      cmp "test-2-${pack1}.idx"  ".git/objects/pack/pack-${pack1}.idx"'
 187
 188 test_expect_success \
 189     '[index v2] 2) create a stealth corruption in a delta base reference' \
 190     '# This test assumes file_101 is a delta smaller than 16 bytes.
 191      # It should be against file_100 but we substitute its base for file_099
 192      sha1_101=`git hash-object file_101` &&
 193      sha1_099=`git hash-object file_099` &&
 194      offs_101=`index_obj_offset 1.idx $sha1_101` &&
 195      nr_099=`index_obj_nr 1.idx $sha1_099` &&
 196      chmod +w ".git/objects/pack/pack-${pack1}.pack" &&
 197      dd of=".git/objects/pack/pack-${pack1}.pack" seek=$(($offs_101 + 1)) \
 198         if=".git/objects/pack/pack-${pack1}.idx" \
 199         skip=$((8 + 256 * 4 + $nr_099 * 20)) \
 200         bs=1 count=20 conv=notrunc &&
 201      git cat-file blob $sha1_101 > file_101_foo2'
 202
 203 test_expect_success \
 204     '[index v2] 3) corrupted delta happily returned wrong data' \
 205     'test -f file_101_foo2 && ! cmp file_101 file_101_foo2'
 206
 207 test_expect_success \
 208     '[index v2] 4) confirm that the pack is actually corrupted' \
 209     'test_must_fail git fsck --full $commit'
 210
 211 test_expect_success \
 212     '[index v2] 5) pack-objects refuses to reuse corrupted data' \
 213     'test_must_fail git pack-objects test-5 <obj-list &&
 214      test_must_fail git pack-objects --no-reuse-object test-6 <obj-list'
 215
 216 test_expect_success \
 217     '[index v2] 6) verify-pack detects CRC mismatch' \
 218     'rm -f .git/objects/pack/* &&
 219      git index-pack --index-version=2 --stdin < "test-1-${pack1}.pack" &&
 220      git verify-pack ".git/objects/pack/pack-${pack1}.pack" &&
 221      obj=`git hash-object file_001` &&
 222      nr=`index_obj_nr ".git/objects/pack/pack-${pack1}.idx" $obj` &&
 223      chmod +w ".git/objects/pack/pack-${pack1}.idx" &&
 224      printf xxxx | dd of=".git/objects/pack/pack-${pack1}.idx" conv=notrunc \
 225         bs=1 count=4 seek=$((8 + 256 * 4 + `wc -l <obj-list` * 20 + $nr * 4)) &&
 226      ( while read obj
 227        do git cat-file -p $obj >/dev/null || exit 1
 228        done <obj-list ) &&
 229      test_must_fail git verify-pack ".git/objects/pack/pack-${pack1}.pack"
 230 '
 231
 232 test_expect_success 'running index-pack in the object store' '
 233     rm -f .git/objects/pack/* &&
 234     cp test-1-${pack1}.pack .git/objects/pack/pack-${pack1}.pack &&
 235     (
 236         cd .git/objects/pack
 237         git index-pack pack-${pack1}.pack
 238     ) &&
 239     test -f .git/objects/pack/pack-${pack1}.idx
 240 '
 241
 242 test_done