Note:

This page is primarily intended for developers of Mercurial.

Note:

This page is no longer relevant but is kept for historical purposes.

This plan has been superseded by GeneralDelta and BundleFormat2.

Revlog parent deltas

Improving revlog compression by avoiding deltas between interleaved branches.

1. Introduction

The RevlogNG file format has a few known weaknesses, one of which is the lack of parent deltas. That is, new revisions are always delta'ed against the revision directly before it, when in many cases it makes much more sense to diff against the parent revision instead (e.g. when they're on very different branches). This makes some revlogs very space-inefficient, particularly in very branchy repositories or in repositories that have been converted from some other VCS. This can be seen from the reduction caused by "manual" reordering of the revlog, particularly for the manifest revlog in larger repositories.

2. Implementation

It would be nice to reduce at least some of the inefficiency by being able to delta against the parent revision in cases where that's an easy win. In RevlogNG, revisions can be constructed from taking the (specified) base revision and applying all revisions from that base revision, in a contiguous block, through to the requested revision. This means there's little seek time (seeks, being dependent on disk rotation speeds, are particularly expensive and resistent to Moore's law). Any algorithm for parent deltas should not expand the number of seeks too much, this means the distance between the offset of the base rev and tip should be smaller than a certain amount.

The case of merge revision should be investigated, should we always take the first parent, or can we allow both?

3. Strategy

3.1. Disk format changes

In current revlogs, the implicit rev to delta from is the former revision. If there are cases in which we don't want to do that anymore, we will:

Of course, we also need all the backwards compatibility trappings (e.g. requires, wire protocol stuff).

3.2. Wire protocol changes

For efficiency (to avoid re-diffing every rev), the WireProtocol can be changed to allow a different changegroup format:

If all the delta from the changegroup are using diff vs. parent, reordering on the fly during a pull/push/clone might be much cheaper (less delta to recompute).

Backward compatibility matrix:

old client

new client

old repo

new repo

old server

linear

linear

linear[4]a

new server

old repo

linear

linear[2]

linear[1][3][4]b

new repo

linear[1]

parent[1][4]

parent

[1] manifest and filelogs reordered by server on the fly

[2] new bundle format

[3] server reuses deltas from revlogs wherever possible, with reordering, may send parent deltas for deltas it generates at run time, client reuses delta whenever possible except when a config option is activated (which means the clients repo will always stay fully parent-delta-ified).

[4] client redeltas

Note: It might come in handy if we had the following amongst the delta base options:

This would help with shallow clones if they ever materialize.

4. Literature


ParentDeltaPlan (last edited 2015-03-08 04:32:20 by KevinBullock)