tarantool / tarantool / 13459374128

86%

master: 88%

Build Type

push

github

Committed by locker

Commit Message

vinyl: fix race between manual compaction and range splitting

To force compaction, index:compact() sets the needs_compaction flag
on all ranges of the target LSM tree. When a range is split, the new
ranges inherit this flag. The problem is that there's a yield caused by
vy_log_tx_commit() between setting the flag in vy_lsm_split_range() and
adding the new ranges to the LSM tree. If vinyl_index_compact() is
called while vy_lsm_split_range() is waiting for vy_log_tx_commit() to
complete, the needs_compaction flag will be set for the old range but
not for the new ranges hence compaction won't be triggered for them.
This breaks assumptions made by some tests (select_consistency_test,
for example).

Fix this issue by setting the needs_compaction flag right before
modifying the LSM tree, after the vylog record is committed.

Note that vy_lsm_coalesce_range() isn't affected because it already
sets the flag after the vylog write.

Closes #11019

NO_DOC=bug fix
NO_TEST=checked by existing tests; difficult to reproduce
NO_CHANGELOG=minor issue; unlikely to happen; no adverse effects;
             easy to work around (just call index:compact() again)

(cherry picked from commit 501ef6165)

Run Details

63449 of 114806 branches covered (55.27%)

3 of 3 new or added lines in 1 file covered. (100.0%)

36 existing lines in 10 files now uncovered.

94402 of 109724 relevant lines covered (86.04%)

1896242.14 hits per line