From: "Ævar Arnfjörð Bjarmason" <avarab@gmail.com>
To: Derrick Stolee via GitGitGadget <gitgitgadget@gmail.com>
Cc: git@vger.kernel.org, gitster@pobox.com, me@ttaylorr.com,
vdye@github.com, Jeff King <peff@peff.net>,
Derrick Stolee <derrickstolee@github.com>
Subject: Re: [PATCH v2 8/8] commit-reach: add tips_reachable_from_bases()
Date: Wed, 15 Mar 2023 15:13:56 +0100 [thread overview]
Message-ID: <230315.864jqmxfd9.gmgdl@evledraar.gmail.com> (raw)
In-Reply-To: <f3fb6833bd71d559a3076d9617a235614ad9a5f8.1678468864.git.gitgitgadget@gmail.com>
On Fri, Mar 10 2023, Derrick Stolee via GitGitGadget wrote:
> From: Derrick Stolee <derrickstolee@github.com>
> +{
> + size_t i;
Ditto the decl suggestion in an earlier commit, i.e...
> + struct commit_and_index *commits;
> + unsigned int min_generation_index = 0;
> + timestamp_t min_generation;
> + struct commit_list *stack = NULL;
> +
> + if (!bases || !tips || !tips_nr)
> + return;
> +
> + /*
> + * Do a depth-first search starting at 'bases' to search for the
> + * tips. Stop at the lowest (un-found) generation number. When
> + * finding the lowest commit, increase the minimum generation
> + * number to the next lowest (un-found) generation number.
> + */
> +
> + CALLOC_ARRAY(commits, tips_nr);
> +
> + for (i = 0; i < tips_nr; i++) {
...move this here?
> + commits[i].commit = tips[i];
> + commits[i].index = i;
> + commits[i].generation = commit_graph_generation(tips[i]);
> + }
> +
> + /* Sort with generation number ascending. */
> + QSORT(commits, tips_nr, compare_commit_and_index_by_generation);
> + min_generation = commits[0].generation;
> +
> + while (bases) {
> + parse_commit(bases->item);
> + commit_list_insert(bases->item, &stack);
> + bases = bases->next;
> + }
> +
> + while (stack) {
> + unsigned int j;
...ditto...
> + int explored_all_parents = 1;
> + struct commit_list *p;
> + struct commit *c = stack->item;
> + timestamp_t c_gen = commit_graph_generation(c);
> +
> + /* Does it match any of our tips? */
> + for (j = min_generation_index; j < tips_nr; j++) {
...to here...
> + if (c_gen < commits[j].generation)
> + break;
> +
> + if (commits[j].commit == c) {
> + tips[commits[j].index]->object.flags |= mark;
> +
> + if (j == min_generation_index) {
> + unsigned int k = j + 1;
> + while (k < tips_nr &&
> + (tips[commits[k].index]->object.flags & mark))
> + k++;
> +
> + /* Terminate early if all found. */
> + if (k >= tips_nr)
> + goto done;
> +
> + min_generation_index = k;
> + min_generation = commits[k].generation;
> + }
> + }
> + }
> +
> + for (p = c->parents; p; p = p->next) {
> + parse_commit(p->item);
> +
> + /* Have we already explored this parent? */
> + if (p->item->object.flags & SEEN)
> + continue;
> +
> + /* Is it below the current minimum generation? */
> + if (commit_graph_generation(p->item) < min_generation)
> + continue;
> +
> + /* Ok, we will explore from here on. */
> + p->item->object.flags |= SEEN;
> + explored_all_parents = 0;
> + commit_list_insert(p->item, &stack);
> + break;
> + }
> +
> + if (explored_all_parents)
> + pop_commit(&stack);
> + }
> +
> +done:
> + free(commits);
> + repo_clear_commit_marks(the_repository, SEEN);
I didn't see this in my earlier suggestion for passing "struct
repository", but I think we should do the same here, i.e. have this
function take a "r" argument.
> [...]
> @@ -2390,33 +2390,21 @@ static void reach_filter(struct ref_array *array,
> struct commit_list *check_reachable,
> int include_reached)
> {
> - struct rev_info revs;
> int i, old_nr;
> struct commit **to_clear;
> - struct commit_list *cr;
>
> if (!check_reachable)
> return;
>
> CALLOC_ARRAY(to_clear, array->nr);
> -
> - repo_init_revisions(the_repository, &revs, NULL);
> -
> for (i = 0; i < array->nr; i++) {
> struct ref_array_item *item = array->items[i];
> - add_pending_object(&revs, &item->commit->object, item->refname);
> to_clear[i] = item->commit;
> }
>
> - for (cr = check_reachable; cr; cr = cr->next) {
> - struct commit *merge_commit = cr->item;
> - merge_commit->object.flags |= UNINTERESTING;
> - add_pending_object(&revs, &merge_commit->object, "");
> - }
> -
> - revs.limited = 1;
> - if (prepare_revision_walk(&revs))
> - die(_("revision walk setup failed"));
> + tips_reachable_from_bases(check_reachable,
> + to_clear, array->nr,
> + UNINTERESTING);
I.e. it's not ideal, but we had a the_repository in this function before
(should probably have passed it from further up, but whatever), so we
could pass that to the new tips_reachable_from_bases() still.
> -test_perf 'ahead-behind counts: git rev-list' '
> - for r in $(cat refs)
> - do
> - git rev-list --count "HEAD..$r" || return 1
> - done
Why does this change require deleting the old perf test? Your commit 7/8
notes this test, but here we're deleting it, let's keep it and instead
note if the results changed, or stayed the same?
More generally, your commit message says:
> Add extra tests for this behavior in t6600-test-reach.sh as the
> interesting data shape of that repository can sometimes demonstrate
> corner case bugs.
And here for a supposed optimization commit you're adding new tests, but
when I try them with the C code at 7/8 they pass.
So it seems we should add them earlier, and this is a pure-optimization
commit, but one that's a bit confused about what goes where? :)
next prev parent reply other threads:[~2023-03-15 14:24 UTC|newest]
Thread overview: 90+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-06 14:06 [PATCH 0/8] ahead-behind: new builtin for counting multiple commit ranges Derrick Stolee via GitGitGadget
2023-03-06 14:06 ` [PATCH 1/8] ahead-behind: create empty builtin Derrick Stolee via GitGitGadget
2023-03-06 18:48 ` Junio C Hamano
2023-03-07 0:40 ` Taylor Blau
2023-03-08 22:14 ` Derrick Stolee
2023-03-08 22:56 ` Junio C Hamano
2023-03-06 14:06 ` [PATCH 2/8] ahead-behind: parse tip references Derrick Stolee via GitGitGadget
2023-03-07 0:43 ` Taylor Blau
2023-03-06 14:06 ` [PATCH 3/8] ahead-behind: implement --ignore-missing option Derrick Stolee via GitGitGadget
2023-03-07 0:46 ` Taylor Blau
2023-03-06 14:06 ` [PATCH 4/8] commit-graph: combine generation computations Derrick Stolee via GitGitGadget
2023-03-06 14:06 ` [PATCH 5/8] commit-graph: return generation from memory Derrick Stolee via GitGitGadget
2023-03-06 14:06 ` [PATCH 6/8] commit-graph: introduce `ensure_generations_valid()` Taylor Blau via GitGitGadget
2023-03-06 18:52 ` Junio C Hamano
2023-03-07 0:50 ` Taylor Blau
2023-03-06 14:06 ` [PATCH 7/8] ahead-behind: implement ahead_behind() logic Derrick Stolee via GitGitGadget
2023-03-07 1:05 ` Taylor Blau
2023-03-09 17:32 ` Derrick Stolee
2023-03-06 14:06 ` [PATCH 8/8] ahead-behind: add --contains mode Derrick Stolee via GitGitGadget
2023-03-06 18:26 ` [PATCH 0/8] ahead-behind: new builtin for counting multiple commit ranges Junio C Hamano
2023-03-06 20:18 ` Derrick Stolee
2023-03-06 22:24 ` Junio C Hamano
2023-03-07 0:36 ` Taylor Blau
2023-03-09 9:20 ` Jeff King
2023-03-09 21:51 ` Junio C Hamano
2023-03-07 0:33 ` Taylor Blau
2023-03-10 17:20 ` [PATCH v2 0/8] ref-filter: ahead/behind counting, faster --merged option Derrick Stolee via GitGitGadget
2023-03-10 17:20 ` [PATCH v2 1/8] for-each-ref: add --stdin option Derrick Stolee via GitGitGadget
2023-03-10 18:08 ` Junio C Hamano
2023-03-13 10:31 ` Phillip Wood
2023-03-13 13:33 ` Derrick Stolee
2023-03-13 21:10 ` Taylor Blau
2023-03-15 13:37 ` Ævar Arnfjörð Bjarmason
2023-03-15 17:17 ` Jeff King
2023-03-15 17:49 ` Jeff King
2023-03-15 19:24 ` Junio C Hamano
2023-03-15 19:44 ` Jeff King
2023-03-10 17:20 ` [PATCH v2 2/8] for-each-ref: explicitly test no matches Derrick Stolee via GitGitGadget
2023-03-10 17:20 ` [PATCH v2 3/8] commit-graph: combine generation computations Derrick Stolee via GitGitGadget
2023-03-10 17:20 ` [PATCH v2 4/8] commit-graph: return generation from memory Derrick Stolee via GitGitGadget
2023-03-10 17:21 ` [PATCH v2 5/8] commit-graph: introduce `ensure_generations_valid()` Taylor Blau via GitGitGadget
2023-03-10 17:21 ` [PATCH v2 6/8] commit-reach: implement ahead_behind() logic Derrick Stolee via GitGitGadget
2023-03-15 13:50 ` Ævar Arnfjörð Bjarmason
2023-03-15 16:03 ` Junio C Hamano
2023-03-15 16:13 ` Derrick Stolee
2023-03-10 17:21 ` [PATCH v2 7/8] for-each-ref: add ahead-behind format atom Derrick Stolee via GitGitGadget
2023-03-10 19:09 ` Junio C Hamano
2023-03-15 13:57 ` Ævar Arnfjörð Bjarmason
2023-03-15 16:01 ` Junio C Hamano
2023-03-15 16:12 ` Derrick Stolee
2023-03-15 16:11 ` Derrick Stolee
2023-03-10 17:21 ` [PATCH v2 8/8] commit-reach: add tips_reachable_from_bases() Derrick Stolee via GitGitGadget
2023-03-15 14:13 ` Ævar Arnfjörð Bjarmason [this message]
2023-03-15 16:17 ` Derrick Stolee
2023-03-15 16:18 ` Derrick Stolee
2023-03-10 19:16 ` [PATCH v2 0/8] ref-filter: ahead/behind counting, faster --merged option Junio C Hamano
2023-03-10 19:25 ` Derrick Stolee
2023-03-15 17:31 ` Jeff King
2023-03-15 17:44 ` Derrick Stolee
2023-03-15 19:34 ` Junio C Hamano
2023-03-15 13:22 ` Ævar Arnfjörð Bjarmason
2023-03-15 13:54 ` Derrick Stolee
2023-03-15 17:45 ` [PATCH v3 " Derrick Stolee via GitGitGadget
2023-03-15 17:45 ` [PATCH v3 1/8] for-each-ref: add --stdin option Derrick Stolee via GitGitGadget
2023-03-15 18:06 ` Jeff King
2023-03-15 19:14 ` Junio C Hamano
2023-03-15 22:41 ` Jonathan Tan
2023-03-15 17:45 ` [PATCH v3 2/8] for-each-ref: explicitly test no matches Derrick Stolee via GitGitGadget
2023-03-15 17:45 ` [PATCH v3 3/8] commit-graph: combine generation computations Derrick Stolee via GitGitGadget
2023-03-15 22:49 ` Jonathan Tan
2023-03-17 18:30 ` Derrick Stolee
2023-03-15 17:45 ` [PATCH v3 4/8] commit-graph: return generation from memory Derrick Stolee via GitGitGadget
2023-03-15 22:58 ` Jonathan Tan
2023-03-15 17:45 ` [PATCH v3 5/8] commit-graph: introduce `ensure_generations_valid()` Taylor Blau via GitGitGadget
2023-03-15 17:45 ` [PATCH v3 6/8] commit-reach: implement ahead_behind() logic Derrick Stolee via GitGitGadget
2023-03-15 23:28 ` Jonathan Tan
2023-03-17 18:44 ` Derrick Stolee
2023-03-15 17:45 ` [PATCH v3 7/8] for-each-ref: add ahead-behind format atom Derrick Stolee via GitGitGadget
2023-03-15 17:45 ` [PATCH v3 8/8] commit-reach: add tips_reachable_from_bases() Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 0/9] ref-filter: ahead/behind counting, faster --merged option Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 1/9] for-each-ref: add --stdin option Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 2/9] for-each-ref: explicitly test no matches Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 3/9] commit-graph: refactor compute_topological_levels() Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 4/9] commit-graph: simplify compute_generation_numbers() Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 5/9] commit-graph: return generation from memory Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 6/9] commit-graph: introduce `ensure_generations_valid()` Taylor Blau via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 7/9] commit-reach: implement ahead_behind() logic Derrick Stolee via GitGitGadget
2023-03-20 20:40 ` Jonathan Tan
2023-03-20 11:26 ` [PATCH v4 8/9] for-each-ref: add ahead-behind format atom Derrick Stolee via GitGitGadget
2023-03-20 11:26 ` [PATCH v4 9/9] commit-reach: add tips_reachable_from_bases() Derrick Stolee via GitGitGadget
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
List information: http://vger.kernel.org/majordomo-info.html
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=230315.864jqmxfd9.gmgdl@evledraar.gmail.com \
--to=avarab@gmail.com \
--cc=derrickstolee@github.com \
--cc=git@vger.kernel.org \
--cc=gitgitgadget@gmail.com \
--cc=gitster@pobox.com \
--cc=me@ttaylorr.com \
--cc=peff@peff.net \
--cc=vdye@github.com \
/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.
Code repositories for project(s) associated with this public inbox
https://80x24.org/mirrors/git.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).