git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[PATCH v2 0/3] keep track of unresolved value of symbolic-ref in ref iterators

From
John Cai via GitGitGadget <gitgitgadget@gmail.com>
Date
Aug 1, 2024, 14:58 UTC
Message-ID
<pull.1712.v2.git.git.1722524334.gitgitgadget@gmail.com>
In-Reply-To
<pull.1712.git.git.1717694800.gitgitgadget@gmail.com>

For reftable development, it's useful to be able to print out the direct value of a symbolic reference before resolution. This is currently possible with git-for-each-ref, but since the iterators do not keep track of the value of the symbolic ref, a separate call needs to be made each time making it inefficient.

Address this inefficiency by keeping track of the value of the symbolic reference in the ref iterator. This patch series also ends with a commit to use this value in the iterator through callbacks in ref-filter.c.

This series started with [1] but I decided to send a separate patch series since it is substantially different.

Benchmarking shows that with these changes, we experience a speedup in git-for-each-ref(1) on a repository with many symbolic refs:

$ hyperfine --warmup 5 "git for-each-ref --format='%(refname) %(objectname)
%(symref)'" "~/Projects/git/git for-each-ref --format='%(refname)
%(objectname) %(symref)'" Benchmark 1: git for-each-ref --format='%(refname)
%(objectname) %(symref)' Time (mean ± σ): 905.1 ms ± 13.2 ms [User: 56.3 ms,
System: 628.6 ms] Range (min … max): 893.4 ms … 936.9 ms 10 runs
Benchmark 2: ~/Projects/git/git for-each-ref --format='%(refname)
%(objectname) %(symref)' Time (mean ± σ): 482.2 ms ± 26.4 ms [User: 34.7 ms,
System: 410.6 ms] Range (min … max): 459.4 ms … 541.8 ms 10 runs

Summary ~/Projects/git/git for-each-ref --format='%(refname) %(objectname) %(symref)' ran 1.88 ± 0.11 times faster than git for-each-ref --format='%(refname) %(objectname) %(symref)'

Changes since V1:
 * Use the return value from refs_resolve_ref_unsafe instead of using an out
   parameter
 1. https://lore.kernel.org/git/pull.1684.git.git.1709592718743.gitgitgadget@gmail.com/
John Cai (3):
  refs: keep track of unresolved reference value in iterators
  refs: add referent to each_ref_fn
  ref-filter: populate symref from iterator
 bisect.c                    |  3 ++-
 builtin/bisect.c            |  4 +++-
 builtin/checkout.c          |  2 +-
 builtin/describe.c          |  2 +-
 builtin/fetch.c             |  3 ++-
 builtin/fsck.c              |  4 ++--
 builtin/gc.c                |  1 +
 builtin/name-rev.c          |  2 +-
 builtin/pack-objects.c      |  5 +++--
 builtin/receive-pack.c      |  2 +-
 builtin/remote.c            |  4 +++-
 builtin/repack.c            |  1 +
 builtin/replace.c           |  1 +
 builtin/rev-parse.c         |  4 ++--
 builtin/show-branch.c       |  8 ++++----
 builtin/show-ref.c          |  3 ++-
 builtin/submodule--helper.c |  1 +
 builtin/worktree.c          |  1 +
 commit-graph.c              |  1 +
 delta-islands.c             |  2 +-
 fetch-pack.c                |  2 ++
 help.c                      |  2 +-
 http-backend.c              |  4 ++--
 log-tree.c                  |  2 +-
 ls-refs.c                   |  4 ++--
 midx-write.c                |  2 +-
 negotiator/default.c        |  2 +-
 negotiator/skipping.c       |  2 +-
 notes.c                     |  2 +-
 object-name.c               |  2 +-
 pseudo-merge.c              |  1 +
 reachable.c                 |  2 +-
 ref-filter.c                | 12 +++++++-----
 reflog.c                    |  1 +
 refs.c                      | 14 +++++++-------
 refs.h                      |  2 +-
 refs/files-backend.c        | 16 +++++++++++-----
 refs/iterator.c             |  5 ++++-
 refs/ref-cache.c            |  8 ++++++++
 refs/ref-cache.h            |  2 ++
 refs/refs-internal.h        |  1 +
 refs/reftable-backend.c     |  8 ++++++--
 remote.c                    |  4 ++--
 replace-object.c            |  1 +
 revision.c                  |  2 +-
 server-info.c               |  2 +-
 shallow.c                   |  2 ++
 submodule.c                 |  2 ++
 t/helper/test-ref-store.c   |  2 +-
 upload-pack.c               |  8 ++++----
 walker.c                    |  1 +
 worktree.c                  |  2 +-
 52 files changed, 113 insertions(+), 63 deletions(-)
base-commit: 557ae147e6cdc9db121269b058c757ac5092f9c9
Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-git-1712%2Fjohn-cai%2Fjc%2Fsymbolic-ref-in-iterator-v2
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-git-1712/john-cai/jc/symbolic-ref-in-iterator-v2
Pull-Request: https://github.com/git/git/pull/1712
Range-diff vs v1:
 1:  011c10f4886 < -:  ----------- refs: add referent parameter to refs_resolve_ref_unsafe
 2:  7202ada0542 ! 1:  ac0957c9e6a refs: keep track of unresolved reference value in iterators
     @@ refs/files-backend.c: static void loose_fill_ref_dir_regular_file(struct files_r
       {
       	struct object_id oid;
       	int flag;
     -+	const char* referent = NULL;
     - 
     --	if (!refs_resolve_ref_unsafe(&refs->base, refname, NULL, RESOLVE_REF_READING,
     -+	if (!refs_resolve_ref_unsafe(&refs->base, refname, referent, RESOLVE_REF_READING,
     - 				     &oid, &flag)) {
     - 		oidclr(&oid);
     +-
     +-	if (!refs_resolve_ref_unsafe(&refs->base, refname, RESOLVE_REF_READING,
     +-				     &oid, &flag)) {
     ++	const char* referent = refs_resolve_ref_unsafe(&refs->base,
     ++						       refname,
     ++						       RESOLVE_REF_READING,
     ++						       &oid, &flag);
     ++	if (!referent) {
     + 		oidclr(&oid, the_repository->hash_algo);
       		flag |= REF_ISBROKEN;
     + 	} else if (is_null_oid(&oid)) {
      @@ refs/files-backend.c: static void loose_fill_ref_dir_regular_file(struct files_ref_store *refs,
     - 		oidclr(&oid);
     + 		oidclr(&oid, the_repository->hash_algo);
       		flag |= REF_BAD_NAME | REF_ISBROKEN;
       	}
      -	add_entry_to_dir(dir, create_ref_entry(refname, &oid, flag));
     ++
      +	add_entry_to_dir(dir, create_ref_entry(refname, referent, &oid, flag));
       }
       
     @@ refs/ref-cache.c: struct ref_dir *get_ref_dir(struct ref_entry *entry)
       				   const struct object_id *oid, int flag)
       {
       	struct ref_entry *ref;
     - 
     +@@ refs/ref-cache.c: struct ref_entry *create_ref_entry(const char *refname,
       	FLEX_ALLOC_STR(ref, name, refname);
       	oidcpy(&ref->u.value.oid, oid);
     -+	if (referent)
     -+		ref->u.value.referent = xstrdup(referent);
     -+
       	ref->flag = flag;
     ++
     ++	if (flag & REF_ISSYMREF)
     ++		ref->u.value.referent = xstrdup_or_null(referent);
     ++
       	return ref;
       }
     + 
     +@@ refs/ref-cache.c: static void free_ref_entry(struct ref_entry *entry)
     + 		 */
     + 		clear_ref_dir(&entry->u.subdir);
     + 	}
     ++	free(entry->u.value.referent);
     + 	free(entry);
     + }
     + 
      @@ refs/ref-cache.c: static int cache_ref_iterator_advance(struct ref_iterator *ref_iterator)
       			level->index = -1;
       		} else {
     @@ refs/ref-cache.h: struct ref_value {
       	 * referred to by the last reference in the symlink chain.
       	 */
       	struct object_id oid;
     -+	const char *referent;
     ++	char *referent;
       };
       
       /*
     @@ refs/refs-internal.h: enum do_for_each_ref_flags {
      
       ## refs/reftable-backend.c ##
      @@ refs/reftable-backend.c: static int reftable_ref_iterator_advance(struct ref_iterator *ref_iterator)
     - 			oidread(&iter->oid, iter->ref.value.val2.value);
     + 				the_repository->hash_algo);
       			break;
       		case REFTABLE_REF_SYMREF:
     --			if (!refs_resolve_ref_unsafe(&iter->refs->base, iter->ref.refname, NULL,
     -+			if (!refs_resolve_ref_unsafe(&iter->refs->base, iter->ref.refname, iter->base.referent,
     - 						     RESOLVE_REF_READING, &iter->oid, &flags))
     - 				oidclr(&iter->oid);
     +-			if (!refs_resolve_ref_unsafe(&iter->refs->base, iter->ref.refname,
     +-						     RESOLVE_REF_READING, &iter->oid, &flags))
     ++			iter->base.referent = refs_resolve_ref_unsafe(&iter->refs->base,
     ++								      iter->ref.refname,
     ++								      RESOLVE_REF_READING,
     ++								      &iter->oid,
     ++								      &flags);
     ++			if (!iter->base.referent)
     + 				oidclr(&iter->oid, the_repository->hash_algo);
       			break;
     + 		default:
 3:  33914f84a64 ! 2:  1f3a604fae7 refs: add referent to each_ref_fn
     @@ object-name.c: struct handle_one_ref_cb {
       			  void *cb_data)
       {
      
     + ## pseudo-merge.c ##
     +@@ pseudo-merge.c: void load_pseudo_merges_from_config(struct string_list *list)
     + }
     + 
     + static int find_pseudo_merge_group_for_ref(const char *refname,
     ++					   const char *referent UNUSED,
     + 					   const struct object_id *oid,
     + 					   int flags UNUSED,
     + 					   void *_data)
     +
       ## reachable.c ##
      @@ reachable.c: static void add_rebase_files(struct rev_info *revs)
       	free_worktrees(worktrees);
     @@ refs.c: int refs_head_ref_namespaced(struct ref_store *refs, each_ref_fn fn, voi
       	return ret;
      @@ refs.c: int refs_head_ref(struct ref_store *refs, each_ref_fn fn, void *cb_data)
       
     - 	if (refs_resolve_ref_unsafe(refs, "HEAD", NULL, RESOLVE_REF_READING,
     + 	if (refs_resolve_ref_unsafe(refs, "HEAD", RESOLVE_REF_READING,
       				    &oid, &flag))
      -		return fn("HEAD", &oid, flag, cb_data);
      +		return fn("HEAD", NULL, &oid, flag, cb_data);
     @@ refs.c: struct do_for_each_reflog_help {
       				     const struct object_id *oid UNUSED,
       				     int flags,
       				     void *cb_data)
     +@@ refs.c: struct migration_data {
     + 	struct strbuf *errbuf;
     + };
     + 
     +-static int migrate_one_ref(const char *refname, const struct object_id *oid,
     ++static int migrate_one_ref(const char *refname, const char *referent UNUSED, const struct object_id *oid,
     + 			   int flags, void *cb_data)
     + {
     + 	struct migration_data *data = cb_data;
      
       ## refs.h ##
      @@ refs.h: struct ref_transaction;
     @@ walker.c: static int interpret_target(struct walker *walker, char *target, struc
      
       ## worktree.c ##
      @@ worktree.c: int other_head_refs(each_ref_fn fn, void *cb_data)
     - 					    NULL,
     + 					    refname.buf,
       					    RESOLVE_REF_READING,
       					    &oid, &flag))
      -			ret = fn(refname.buf, &oid, flag, cb_data);
 4:  6d5b1b62e6c ! 3:  3e147e7d850 ref-filter: populate symref from iterator
     @@ Metadata
       ## Commit message ##
          ref-filter: populate symref from iterator
      
     -    With a previous commit, the reference the symbolic ref points is saved
     +    With a previous commit, the reference the symbolic ref points to is saved
          in the ref iterator records. Instead of making a separate call to
          resolve_refdup() each time, we can just populate the ref_array_item with
          the value from the iterator.
     @@ ref-filter.c: static struct ref_array_item *apply_ref_filter(const char *refname
       	ref->commit = commit;
       	ref->flag = flag;
       	ref->kind = kind;
     -+	ref->symref = referent;
     ++	if (flag & REF_ISSYMREF)
     ++		ref->symref = xstrdup_or_null(referent);
       
       	return ref;
       }
-- 
gitgitgadget
Previous: John Cai via GitGitGadgetNext: John Cai via GitGitGadget
Message 21 of 44 in “keep track of unresolved value of symbolic-ref in ref iterators”
  1. 0/4 keep track of unresolved value of symbolic-ref in ref iteratorsJohn Cai via GitGitGadget, Jun 6, 2024
  2. 2/4 refs: keep track of unresolved reference value in iteratorsJohn Cai via GitGitGadget, Jun 6, 2024
  3. Jeff KingJun 11, 2024
  4. 1/4 refs: add referent parameter to refs_resolve_ref_unsafeJohn Cai via GitGitGadget, Jun 6, 2024
  5. Junio C HamanoJun 6, 2024
  6. Junio C HamanoJun 6, 2024
  7. John CaiJun 7, 2024
  8. Junio C HamanoJun 7, 2024
  9. Patrick SteinhardtJun 10, 2024
  10. Junio C HamanoJun 10, 2024
  11. John CaiJun 6, 2024
  12. Junio C HamanoJun 6, 2024
  13. Kristoffer HaugsbakkJun 28, 2024
  14. Junio C HamanoJun 28, 2024
  15. Linus ArverJun 30, 2024
  16. Junio C HamanoJun 30, 2024
  17. Jeff KingJun 11, 2024
  18. John CaiJul 30, 2024
  19. 4/4 ref-filter: populate symref from iteratorJohn Cai via GitGitGadget, Jun 6, 2024
  20. 3/4 refs: add referent to each_ref_fnJohn Cai via GitGitGadget, Jun 6, 2024
  21. 0/3 keep track of unresolved value of symbolic-ref in ref iteratorsJohn Cai via GitGitGadget, Aug 1, 2024
  22. 1/3 refs: keep track of unresolved reference value in iteratorsJohn Cai via GitGitGadget, Aug 1, 2024
  23. Junio C HamanoAug 1, 2024
  24. Patrick SteinhardtAug 5, 2024
  25. Junio C HamanoAug 5, 2024
  26. 3/3 ref-filter: populate symref from iteratorJohn Cai via GitGitGadget, Aug 1, 2024
  27. Junio C HamanoAug 1, 2024
  28. Junio C HamanoAug 1, 2024
  29. Junio C HamanoAug 1, 2024
  30. John CaiAug 6, 2024
  31. Junio C HamanoAug 6, 2024
  32. 2/3 refs: add referent to each_ref_fnJohn Cai via GitGitGadget, Aug 1, 2024
  33. 0/3 keep track of unresolved value of symbolic-ref in ref iteratorsJohn Cai via GitGitGadget, Aug 7, 2024
  34. 1/3 refs: keep track of unresolved reference value in iteratorsJohn Cai via GitGitGadget, Aug 7, 2024
  35. Junio C HamanoAug 7, 2024
  36. John CaiAug 8, 2024
  37. 2/3 refs: add referent to each_ref_fnJohn Cai via GitGitGadget, Aug 7, 2024
  38. 3/3 ref-filter: populate symref from iteratorJohn Cai via GitGitGadget, Aug 7, 2024
  39. 0/3 keep track of unresolved value of symbolic-ref in ref iteratorsJohn Cai via GitGitGadget, Aug 9, 2024
  40. 1/3 refs: keep track of unresolved reference value in iteratorsJohn Cai via GitGitGadget, Aug 9, 2024
  41. shejialuoNov 23, 2024
  42. 2/3 refs: add referent to each_ref_fnJohn Cai via GitGitGadget, Aug 9, 2024
  43. 3/3 ref-filter: populate symref from iteratorJohn Cai via GitGitGadget, Aug 9, 2024
  44. Junio C HamanoAug 9, 2024

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.