diff options
| author | Shawn Pearce <spearce@spearce.org> | 2017-08-19 11:28:34 -0700 |
|---|---|---|
| committer | Shawn Pearce <spearce@spearce.org> | 2017-08-21 15:39:08 -0700 |
| commit | 44a75d9ea8a549d5eb3ab155bcca530b4e0ad595 (patch) | |
| tree | 22eee76678ddc53816c4d0585cb29200c8ae3d12 /Documentation | |
| parent | 231f5d9baf8502e581605c645b4a11bbc904a314 (diff) | |
| download | jgit-44a75d9ea8a549d5eb3ab155bcca530b4e0ad595.tar.gz jgit-44a75d9ea8a549d5eb3ab155bcca530b4e0ad595.zip | |
reftable: explicitly store update_index per ref
Add an update_index to every reference in a reftable, storing the
exact transaction that last modified the reference. This is necessary
to fix some merge race conditions.
Consider updates at T1, T3 are present in two reftables. Compacting
these will create a table with range [T1,T3]. If T2 arrives during
or after the compaction its impossible for readers to know how to
merge the [T1,T3] table with the T2 table.
With an explicit update_index per reference, MergedReftable is able to
individually sort each reference, merging individual entries at T3
from [T1,T3] ahead of identically named entries appearing in T2.
Change-Id: Ie4065d4176a5a0207dcab9696ae05d086e042140
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/technical/reftable.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/technical/reftable.md b/Documentation/technical/reftable.md index 34f752950d..47c61a350d 100644 --- a/Documentation/technical/reftable.md +++ b/Documentation/technical/reftable.md @@ -243,6 +243,7 @@ its value(s). Records are formatted as: varint( prefix_length ) varint( (suffix_length << 3) | value_type ) suffix + varint( update_index_delta ) value? The `prefix_length` field specifies how many leading bytes of the @@ -258,6 +259,10 @@ Recovering a reference name from any `ref_record` is a simple concat: The `suffix_length` value provides the number of bytes available in `suffix` to copy from `suffix` to complete the reference name. +The `update_index` that last modified the reference can be obtained by +adding `update_index_delta` to the `min_update_index` from the file +header: `min_update_index + update_index_delta`. + The `value` follows. Its format is determined by `value_type`, one of the following: |