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 /org.eclipse.jgit.pgm/.settings | |
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 'org.eclipse.jgit.pgm/.settings')
0 files changed, 0 insertions, 0 deletions