tarantool / tarantool / 18975811628

88%

master: 88%

Build Type

push

github

Committed by sergepetrenko

Commit Message

memtx: abort gaps after rollback

This commit fixes a Memtx-MVCC related bug that could lead to dirty gap
read in secondary indexes after rollback.

One REPLACE transaction (prepared but not yet committed) creates a
temporary situation where another concurrent transaction cannot see a
specific key in a secondary index (a "read gap"). When the first
transaction then rolls back, the previous (replaced) tuple becomes visible
again, and the "read gap" becomes irrelevant (the key becomes visible once
more). In this case, the second transaction, which read the gap, should be
aborted. However, it successfully commits, leading to a non-serializable
schedule.

This commit fixes the issue by adding the necessary handling during
rollback. Now, all such irrelevant gaps are aborted.

Closes #11802

NO_DOC=bugfix

(cherry picked from commit 2a9a463e5)

Coverage Stats

69811 of 117617 branches covered (59.35%)

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

63 existing lines in 13 files now uncovered.

104786 of 119578 relevant lines covered (87.63%)

1361208.83 hits per line