summaryrefslogtreecommitdiffstats
path: root/org.eclipse.jgit.pgm/.settings
diff options
context:
space:
mode:
authorShawn Pearce <spearce@spearce.org>2017-08-19 11:28:34 -0700
committerShawn Pearce <spearce@spearce.org>2017-08-21 15:39:08 -0700
commit44a75d9ea8a549d5eb3ab155bcca530b4e0ad595 (patch)
tree22eee76678ddc53816c4d0585cb29200c8ae3d12 /org.eclipse.jgit.pgm/.settings
parent231f5d9baf8502e581605c645b4a11bbc904a314 (diff)
downloadjgit-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