Thread (6 messages) 6 messages, 2 authors, 9h ago

Re: [PATCH 0/4] send-pack: introduce a `no-ref-delta` capability

From: Jeff King <hidden>
Date: 2026-07-18 09:05:28

On Tue, Jul 14, 2026 at 02:58:36PM -0700, Taylor Blau wrote:
quoted
So I have the feeling that there's some ulterior motive, or that this is
part of a larger system, but I don't quite understand what it is. And so
it's hard to say whether this is a sensible approach.
The implementation motivating this is write-through in the sense that it
first parses and spools the incoming pack, then replays those exact
bytes together with the same ref commands to an upstream receive-pack.
OK, that kind-of makes sense. But is that intermediate layer not
indexing at all? As in, it does not know which OIDs are present in the
incoming pack?

It sounds like you _do_ index it based on this:
In retrospect, I don't think the cover letter distinguishes this well.
The pack that we receive over the wire is stored byte-for-byte as an
immutable artifact, and the per-object physical index is derived
asynchronously. That indexer is designed to operate in a single pass
forward over the pack.
So I can see how REF_DELTA makes a single streaming pass harder. But can
you actually do a single pass even with OFS_DELTA? You'll need to look
at earlier bytes in order to resolve each new object. And possibly
recursively. So you must maintain random access to the new pack data,
and you must maintain some kind of in-memory structure, at least for
each delta family (especially if you want to avoid re-generating deltas
over and over as you satisfy a long chain).
(Supporting REF_DELTA there during the indexing process is possible in
theory, but requires keeping an OID lookup around, delaying resolution,
taking another pass, or rewriting the retained pack. This design avoids
all of those.)
Right, for each new OID you discover, you need to ask "is this an OID I
was looking to resolve". But the size of that table scales with the
number of objects in the pack. And if you are generating a pack index
with one OID per object in the pack, doesn't that also scale?

I.e., I am having trouble understanding what makes REF_DELTA more
expensive than OFS_DELTA, either in terms of random-access to the pack
or in terms of indexing memory. It's more _complicated_ for sure,
though.

I guess maybe you are also trying to send the resulting .idx to each of
the child receive-packs, and you want to be able to stream it to them as
you go rather than waiting for final REF_DELTA resolution at the end?
You can't send a literal .idx as you generate it (because it's sorted),
but presumably you're mostly trying to offload the hash computation, and
it's OK if the receivers still have to sort the set of (oid,offset)
pairs themselves.

That doesn't seem all _that_ compelling to me. I think the more
interesting thing is that in the worst case, a single REF_DELTA can kill
your pipeline entirely (assuming you are trying to do as much CPU-heavy
resolving work as possible while the pack is transferring). Imagine a
pack like this:

  0: REF_DELTA(abcd)
  1: OFS_DELTA(offsetof(0))
  2: OFS_DELTA(offsetof(1))
  3: OFS_DELTA(offsetof(2))
  ...
  N: base object with hash "abcd"

You can't resolve a single delta until you hit object N, after which you
must then resolve each of 0..N-1 sequentially because they all depend on
each other.

The problem there is not REF_DELTA itself, but the fact that REF_DELTA
allows you to place a base after the delta which depends on it.

If _that_ is your main concern, would it be worth a tighter capability
advertisement that insists that bases come before their deltas (if they
are in the pack at all)? We already generate packs that way by default,
and it would really just give the server a license to reject these
non-standard packs.

But now I'm about 3 levels deep in guessing at your real issues, so I'll
stop for now and see how close I got. ;)

-Peff
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help