add tests for indexing packs with delta cycles
If we receive a broken or malicious pack from a remote, we
will feed it to index-pack. As index-pack processes the
objects as a stream, reconstructing and hashing each object
to get its name, it is not very susceptible to doing the
wrong with bad data (it simply notices that the data is
bogus and aborts).
However, one question raised on the list is whether it could
be susceptible to problems during the delta-resolution
phase. In particular, can a cycle in the packfile deltas
cause us to go into an infinite loop or cause any other
problem?
The answer is no.
We cannot have a cycle of delta-base offsets, because they
go only in one direction (the OFS_DELTA object mentions its
base by an offset towards the beginning of the file, and we
explicitly reject negative offsets).
We can have a cycle of REF_DELTA objects, which refer to
base objects by sha1 name. However, index-pack does not know
these sha1 names ahead of time; it has to reconstruct the
objects to get their names, and it cannot do so if there is
a delta cycle (in other words, it does not even realize
there is a cycle, but only that there are items that cannot
be resolved).
Even though we can reason out that index-pack should handle
this fine, let's add a few tests to make sure it behaves
correctly.
Signed-off-by: Jeff King <peff@peff.net>
Acked-by: Nicolas Pitre <nico@fluxnic.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2013-08-24 04:02:31 +04:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
test_description='test index-pack handling of delta cycles in packfiles'
|
|
|
|
. ./test-lib.sh
|
|
|
|
. "$TEST_DIRECTORY"/lib-pack.sh
|
|
|
|
|
|
|
|
# Two similar-ish objects that we have computed deltas between.
|
|
|
|
A=01d7713666f4de822776c7622c10f1b07de280dc
|
|
|
|
B=e68fe8129b546b101aee9510c5328e7f21ca1d18
|
|
|
|
|
|
|
|
# double-check our hand-constucted packs
|
|
|
|
test_expect_success 'index-pack works with a single delta (A->B)' '
|
|
|
|
clear_packs &&
|
|
|
|
{
|
|
|
|
pack_header 2 &&
|
|
|
|
pack_obj $A $B &&
|
|
|
|
pack_obj $B
|
|
|
|
} >ab.pack &&
|
|
|
|
pack_trailer ab.pack &&
|
|
|
|
git index-pack --stdin <ab.pack &&
|
|
|
|
git cat-file -t $A &&
|
|
|
|
git cat-file -t $B
|
|
|
|
'
|
|
|
|
|
|
|
|
test_expect_success 'index-pack works with a single delta (B->A)' '
|
|
|
|
clear_packs &&
|
|
|
|
{
|
|
|
|
pack_header 2 &&
|
|
|
|
pack_obj $A &&
|
|
|
|
pack_obj $B $A
|
|
|
|
} >ba.pack &&
|
|
|
|
pack_trailer ba.pack &&
|
|
|
|
git index-pack --stdin <ba.pack &&
|
|
|
|
git cat-file -t $A &&
|
|
|
|
git cat-file -t $B
|
|
|
|
'
|
|
|
|
|
|
|
|
test_expect_success 'index-pack detects missing base objects' '
|
|
|
|
clear_packs &&
|
|
|
|
{
|
|
|
|
pack_header 1 &&
|
|
|
|
pack_obj $A $B
|
|
|
|
} >missing.pack &&
|
|
|
|
pack_trailer missing.pack &&
|
|
|
|
test_must_fail git index-pack --fix-thin --stdin <missing.pack
|
|
|
|
'
|
|
|
|
|
|
|
|
test_expect_success 'index-pack detects REF_DELTA cycles' '
|
|
|
|
clear_packs &&
|
|
|
|
{
|
|
|
|
pack_header 2 &&
|
|
|
|
pack_obj $A $B &&
|
|
|
|
pack_obj $B $A
|
|
|
|
} >cycle.pack &&
|
|
|
|
pack_trailer cycle.pack &&
|
|
|
|
test_must_fail git index-pack --fix-thin --stdin <cycle.pack
|
|
|
|
'
|
|
|
|
|
test index-pack on packs with recoverable delta cycles
The previous commit added tests to show that index-pack
correctly bails in unrecoverable situations. There are some
situations where the data could be recovered, but it is not
currently:
1. If we can break the cycle using an object from another
pack via --fix-thin.
2. If we can break the cycle using a duplicate of one of
the objects found in the same pack.
Note that neither of these is particularly high priority; a
delta cycle within a pack should never occur, and we have no
record of even a buggy git implementation creating such a
pack.
However, it's worth adding these tests for two reasons. One,
to document that we do not currently handle the situation,
even though it is possible. And two, to exercise the code
that runs in this situation; even though it fails, by
running it we can confirm that index-pack detects the
situation and aborts, and does not misbehave (e.g., by
following the cycle in an infinite loop).
In both cases, we hit an assert that aborts index-pack.
Signed-off-by: Jeff King <peff@peff.net>
Acked-by: Nicolas Pitre <nico@fluxnic.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2013-08-24 04:02:35 +04:00
|
|
|
test_expect_failure 'failover to an object in another pack' '
|
|
|
|
clear_packs &&
|
|
|
|
git index-pack --stdin <ab.pack &&
|
|
|
|
git index-pack --stdin --fix-thin <cycle.pack
|
|
|
|
'
|
|
|
|
|
|
|
|
test_expect_failure 'failover to a duplicate object in the same pack' '
|
|
|
|
clear_packs &&
|
|
|
|
{
|
|
|
|
pack_header 3 &&
|
|
|
|
pack_obj $A $B &&
|
|
|
|
pack_obj $B $A &&
|
|
|
|
pack_obj $A
|
|
|
|
} >recoverable.pack &&
|
|
|
|
pack_trailer recoverable.pack &&
|
|
|
|
git index-pack --fix-thin --stdin <recoverable.pack
|
|
|
|
'
|
|
|
|
|
add tests for indexing packs with delta cycles
If we receive a broken or malicious pack from a remote, we
will feed it to index-pack. As index-pack processes the
objects as a stream, reconstructing and hashing each object
to get its name, it is not very susceptible to doing the
wrong with bad data (it simply notices that the data is
bogus and aborts).
However, one question raised on the list is whether it could
be susceptible to problems during the delta-resolution
phase. In particular, can a cycle in the packfile deltas
cause us to go into an infinite loop or cause any other
problem?
The answer is no.
We cannot have a cycle of delta-base offsets, because they
go only in one direction (the OFS_DELTA object mentions its
base by an offset towards the beginning of the file, and we
explicitly reject negative offsets).
We can have a cycle of REF_DELTA objects, which refer to
base objects by sha1 name. However, index-pack does not know
these sha1 names ahead of time; it has to reconstruct the
objects to get their names, and it cannot do so if there is
a delta cycle (in other words, it does not even realize
there is a cycle, but only that there are items that cannot
be resolved).
Even though we can reason out that index-pack should handle
this fine, let's add a few tests to make sure it behaves
correctly.
Signed-off-by: Jeff King <peff@peff.net>
Acked-by: Nicolas Pitre <nico@fluxnic.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2013-08-24 04:02:31 +04:00
|
|
|
test_done
|