From: Taylor Blau <me@ttaylorr.com>
To: git@vger.kernel.org
Cc: Junio C Hamano <gitster@pobox.com>, Jeff King <peff@peff.net>,
Elijah Newren <newren@gmail.com>
Subject: [PATCH v2 2/9] t5333: demonstrate various pseudo-merge bugs
Date: Tue, 21 Apr 2026 16:01:58 -0400 [thread overview]
Message-ID: <11de33437264ef2d4eaae9b718ff2f3b1e26a114.1776801694.git.me@ttaylorr.com> (raw)
In-Reply-To: <cover.1776801694.git.me@ttaylorr.com>
Using the test helper introduced via the previous commit, add various
failing tests demonstrating bugs in the pseudo-merge implementation.
These are all marked as failing with one exception. The "sampleRate=0"
test describes a latent bug, which is only reachable through a code path
that is itself masked by a separate bug. A future commit will fix that
bug, and, in turn, cause the aforementioned test to fail. Accordingly,
that commit will mark the test as failing, and it will be re-marked as
passing in a separate commit which fixes the once-latent bug.
For the rest: the following commits will explain and fix the underlying
bugs in detail.
Signed-off-by: Taylor Blau <me@ttaylorr.com>
---
t/t5333-pseudo-merge-bitmaps.sh | 198 ++++++++++++++++++++++++++++++++
1 file changed, 198 insertions(+)
diff --git a/t/t5333-pseudo-merge-bitmaps.sh b/t/t5333-pseudo-merge-bitmaps.sh
index 1f7a5d82ee4..0e9638c31c3 100755
--- a/t/t5333-pseudo-merge-bitmaps.sh
+++ b/t/t5333-pseudo-merge-bitmaps.sh
@@ -462,4 +462,202 @@ test_expect_success 'use pseudo-merge in boundary traversal' '
)
'
+test_expect_failure 'apply pseudo-merges during fill-in traversal' '
+ test_when_finished "rm -fr pseudo-merge-fill-in-traversal" &&
+ git init pseudo-merge-fill-in-traversal &&
+ (
+ cd pseudo-merge-fill-in-traversal &&
+
+ git config bitmapPseudoMerge.test.pattern refs/tags/ &&
+ git config bitmapPseudoMerge.test.maxMerges 1 &&
+ git config bitmapPseudoMerge.test.stableThreshold never &&
+
+ test_commit_bulk 64 &&
+ tag_everything &&
+ git repack -ad &&
+
+ pack=$(ls .git/objects/pack/pack-*.pack) &&
+ git rev-parse HEAD~63 >in &&
+ test-tool bitmap write "$(basename $pack)" <in &&
+
+ test_pseudo_merges >merges &&
+ test_line_count = 1 merges &&
+
+ test_commit stale &&
+
+ git rev-list --count --objects HEAD >expect &&
+
+ : >trace2.txt &&
+ GIT_TRACE2_EVENT=$PWD/trace2.txt \
+ git rev-list --count --objects --use-bitmap-index HEAD >actual &&
+ test_pseudo_merges_satisfied 1 <trace2.txt &&
+
+ test_cmp expect actual
+ )
+'
+
+test_expect_failure 'apply pseudo-merges from multiple groups during fill-in' '
+ test_when_finished "rm -fr pseudo-merge-fill-in-multi" &&
+ git init pseudo-merge-fill-in-multi &&
+ (
+ cd pseudo-merge-fill-in-multi &&
+
+ test_commit base &&
+ base=$(git rev-parse HEAD) &&
+
+ for side in left right
+ do
+ git checkout -B $side base &&
+
+ test_commit_bulk --id=$side 64 &&
+ git rev-list --no-object-names HEAD --not $base >in &&
+ while read oid
+ do
+ echo "create refs/group-$side/$oid $oid" || return 1
+ done <in | git update-ref --stdin || return 1
+ done &&
+
+ git checkout left &&
+ git merge right &&
+ git repack -ad &&
+
+ git config bitmapPseudoMerge.left.pattern "refs/group-left/" &&
+ git config bitmapPseudoMerge.left.maxMerges 1 &&
+ git config bitmapPseudoMerge.left.stableThreshold never &&
+
+ git config bitmapPseudoMerge.right.pattern "refs/group-right/" &&
+ git config bitmapPseudoMerge.right.maxMerges 1 &&
+ git config bitmapPseudoMerge.right.stableThreshold never &&
+
+ pack="$(ls .git/objects/pack/pack-*.pack)" &&
+ git rev-parse "$base" >in &&
+ test-tool bitmap write "$(basename $pack)" <in &&
+
+ test_pseudo_merges >merges &&
+ test_line_count = 2 merges &&
+
+ test_commit stale &&
+
+ git rev-list --count --objects HEAD >expect &&
+
+ : >trace2.txt &&
+ GIT_TRACE2_EVENT=$PWD/trace2.txt \
+ git rev-list --count --objects --use-bitmap-index HEAD >actual &&
+ test_pseudo_merges_satisfied 2 <trace2.txt &&
+
+ test_cmp expect actual
+ )
+'
+
+test_expect_failure 'apply pseudo-merges with overlapping groups during fill-in' '
+ test_when_finished "rm -fr pseudo-merge-fill-in-overlap" &&
+ git init pseudo-merge-fill-in-overlap &&
+ (
+ cd pseudo-merge-fill-in-overlap &&
+
+ test_commit_bulk 64 &&
+ tag_everything &&
+ git repack -ad &&
+
+ pack="$(ls .git/objects/pack/pack-*.pack)" &&
+
+ # Use two pseudo-merge group patterns that both match
+ # refs/tags/, so every tagged commit belongs to both
+ # groups. This exercises the extended lookup table
+ # path in apply_pseudo_merges_for_commit().
+ git config bitmapPseudoMerge.all.pattern "refs/tags/" &&
+ git config bitmapPseudoMerge.all.maxMerges 1 &&
+ git config bitmapPseudoMerge.all.stableThreshold never &&
+
+ git config bitmapPseudoMerge.tags.pattern "refs/tags/" &&
+ git config bitmapPseudoMerge.tags.maxMerges 1 &&
+ git config bitmapPseudoMerge.tags.stableThreshold never &&
+
+ git rev-parse HEAD~63 >in &&
+ test-tool bitmap write "$(basename $pack)" <in &&
+
+ test_pseudo_merges >merges &&
+ test_line_count = 2 merges &&
+
+ test_commit stale &&
+
+ git rev-list --count --objects HEAD >expect &&
+
+ : >trace2.txt &&
+ GIT_TRACE2_EVENT=$PWD/trace2.txt \
+ git rev-list --count --objects --use-bitmap-index HEAD >actual &&
+ test_pseudo_merges_satisfied 2 <trace2.txt &&
+
+ test_cmp expect actual
+ )
+'
+
+test_expect_failure 'pseudo-merge commits are correctly classified by date' '
+ test_when_finished "rm -fr pseudo-merge-date-classification" &&
+ git init pseudo-merge-date-classification &&
+ (
+ cd pseudo-merge-date-classification &&
+
+ test_commit_bulk 64 &&
+ tag_everything &&
+ git repack -ad &&
+
+ pack="$(ls .git/objects/pack/pack-*.pack)" &&
+
+ # Configure two pseudo-merge groups: one that only
+ # matches "stable" refs (older than one month), and one
+ # that matches all refs. With 64 freshly-created tags
+ # (all younger than one month) the stable group should
+ # have zero pseudo-merges and the catch-all group should
+ # have one.
+ #
+ # Use GIT_TEST_DATE_NOW to align "now" (and therefore
+ # "1.month.ago") with the test_tick timestamps so that
+ # the commits are within the last month.
+ #
+ # This exercises the date-based classification in
+ # find_pseudo_merge_group_for_ref(), which requires
+ # that commits are parsed before inspecting their date.
+ git config bitmapPseudoMerge.stable.pattern "refs/tags/" &&
+ git config bitmapPseudoMerge.stable.maxMerges 64 &&
+ git config bitmapPseudoMerge.stable.stableThreshold never &&
+ git config bitmapPseudoMerge.stable.threshold 1.month.ago &&
+
+ git config bitmapPseudoMerge.all.pattern "refs/tags/" &&
+ git config bitmapPseudoMerge.all.maxMerges 1 &&
+ git config bitmapPseudoMerge.all.stableThreshold never &&
+ git config bitmapPseudoMerge.all.threshold now &&
+
+ git rev-parse HEAD~63 >in &&
+ GIT_TEST_DATE_NOW=$test_tick \
+ test-tool bitmap write "$(basename $pack)" <in &&
+
+ test_pseudo_merges >merges &&
+ test_line_count = 1 merges
+ )
+'
+
+test_expect_success 'sampleRate=0 does not cause division by zero' '
+ test_when_finished "rm -fr pseudo-merge-sample-rate-zero" &&
+ git init pseudo-merge-sample-rate-zero &&
+ (
+ cd pseudo-merge-sample-rate-zero &&
+
+ test_commit_bulk 64 &&
+ tag_everything &&
+ git repack -ad &&
+
+ pack="$(ls .git/objects/pack/pack-*.pack)" &&
+
+ git config bitmapPseudoMerge.test.pattern "refs/tags/" &&
+ git config bitmapPseudoMerge.test.maxMerges 1 &&
+ git config bitmapPseudoMerge.test.sampleRate 0 &&
+ git config bitmapPseudoMerge.test.threshold now &&
+ git config bitmapPseudoMerge.test.stableThreshold never &&
+
+ git rev-parse HEAD~63 >in &&
+ test-tool bitmap write "$(basename $pack)" <in
+ )
+'
+
test_done
--
2.54.0.9.gb905fd5d0ae
next prev parent reply other threads:[~2026-04-21 20:02 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-04-13 23:56 [PATCH 0/8] pack-bitmap: fix various pseudo-merge bugs Taylor Blau
2026-04-13 23:56 ` [PATCH 1/8] t/helper: add 'test-tool bitmap write' subcommand Taylor Blau
2026-04-14 19:48 ` Junio C Hamano
2026-04-14 21:29 ` Taylor Blau
2026-04-14 21:34 ` Junio C Hamano
2026-04-14 21:40 ` Taylor Blau
2026-04-14 20:08 ` Junio C Hamano
2026-04-14 21:40 ` Taylor Blau
2026-04-19 0:24 ` Elijah Newren
2026-04-21 18:51 ` Taylor Blau
2026-04-13 23:56 ` [PATCH 2/8] t5333: demonstrate various pseudo-merge bugs Taylor Blau
2026-04-19 0:25 ` Elijah Newren
2026-04-13 23:56 ` [PATCH 3/8] pack-bitmap-write: sort pseudo-merge commit lookup table in pack order Taylor Blau
2026-04-13 23:56 ` [PATCH 4/8] pack-bitmap: fix inverted binary search in `pseudo_merge_at()` Taylor Blau
2026-04-13 23:56 ` [PATCH 5/8] pack-bitmap: fix pseudo-merge lookup for shared commits Taylor Blau
2026-04-13 23:56 ` [PATCH 6/8] pack-bitmap: parse commits in `find_pseudo_merge_group_for_ref()` Taylor Blau
2026-04-13 23:56 ` [PATCH 7/8] pack-bitmap: reject pseudo-merge "sampleRate" of 0 Taylor Blau
2026-04-19 0:26 ` Elijah Newren
2026-04-13 23:57 ` [PATCH 8/8] pack-bitmap: prevent pattern leak on pseudo-merge re-assignment Taylor Blau
2026-04-21 20:01 ` [PATCH v2 0/9] pack-bitmap: fix various pseudo-merge bugs Taylor Blau
2026-04-21 20:01 ` [PATCH v2 1/9] t/helper: add 'test-tool bitmap write' subcommand Taylor Blau
2026-04-21 20:01 ` Taylor Blau [this message]
2026-04-21 20:02 ` [PATCH v2 3/9] pack-bitmap-write: sort pseudo-merge commit lookup table in pack order Taylor Blau
2026-04-21 20:02 ` [PATCH v2 4/9] pack-bitmap: fix inverted binary search in `pseudo_merge_at()` Taylor Blau
2026-04-21 20:02 ` [PATCH v2 5/9] pack-bitmap: fix pseudo-merge lookup for shared commits Taylor Blau
2026-04-21 20:02 ` [PATCH v2 6/9] pack-bitmap: parse commits in `find_pseudo_merge_group_for_ref()` Taylor Blau
2026-04-21 20:02 ` [PATCH v2 7/9] pack-bitmap: reject pseudo-merge "sampleRate" of 0 Taylor Blau
2026-04-21 20:02 ` [PATCH v2 8/9] Documentation: fix broken `sampleRate` in gitpacking(7) Taylor Blau
2026-04-21 20:02 ` [PATCH v2 9/9] pack-bitmap: prevent pattern leak on pseudo-merge re-assignment Taylor Blau
2026-04-22 1:37 ` [PATCH v2 0/9] pack-bitmap: fix various pseudo-merge bugs Elijah Newren
2026-05-11 2:53 ` Junio C Hamano
2026-05-12 0:48 ` Taylor Blau
2026-05-12 0:10 ` Taylor Blau
2026-05-12 0:46 ` [PATCH v3 " Taylor Blau
2026-05-12 0:46 ` [PATCH v3 1/9] t/helper: add 'test-tool bitmap write' subcommand Taylor Blau
2026-05-12 0:46 ` [PATCH v3 2/9] t5333: demonstrate various pseudo-merge bugs Taylor Blau
2026-05-12 0:46 ` [PATCH v3 3/9] pack-bitmap-write: sort pseudo-merge commit lookup table in pack order Taylor Blau
2026-05-12 0:46 ` [PATCH v3 4/9] pack-bitmap: fix inverted binary search in `pseudo_merge_at()` Taylor Blau
2026-05-12 0:47 ` [PATCH v3 5/9] pack-bitmap: fix pseudo-merge lookup for shared commits Taylor Blau
2026-05-12 0:47 ` [PATCH v3 6/9] pack-bitmap: parse commits in `find_pseudo_merge_group_for_ref()` Taylor Blau
2026-05-12 0:47 ` [PATCH v3 7/9] pack-bitmap: reject pseudo-merge "sampleRate" of 0 Taylor Blau
2026-05-12 0:47 ` [PATCH v3 8/9] Documentation: fix broken `sampleRate` in gitpacking(7) Taylor Blau
2026-05-12 0:47 ` [PATCH v3 9/9] pack-bitmap: prevent pattern leak on pseudo-merge re-assignment Taylor Blau
2026-05-12 1:38 ` [PATCH v3 0/9] pack-bitmap: fix various pseudo-merge bugs Junio C Hamano
2026-05-12 1:46 ` Taylor Blau
2026-05-12 1:49 ` Junio C Hamano
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=11de33437264ef2d4eaae9b718ff2f3b1e26a114.1776801694.git.me@ttaylorr.com \
--to=me@ttaylorr.com \
--cc=git@vger.kernel.org \
--cc=gitster@pobox.com \
--cc=newren@gmail.com \
--cc=peff@peff.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox