tarantool / tarantool / 19282078074

88%

master: 88%

Build Type

push

github

Committed by Gerold103

Commit Message

limbo: do not limit its size on replicas

There was a possible deadlock when a replica had
box.cfg.replication_synchro_queue_max_size smaller than the
master.

The scenario was that the replica would receive some transactions,
they would all enter the limbo and wait for CONFIRM in "submitted"
state.

But the master sends more transactions instead of CONFIRM. Those
transactions block the applier fiber in txn_commit_submit(),
because the fiber can't exceed the limbo max size and is waiting
for free space.

The free space however will never appear, because those
"submitted" transactions aren't going anywhere until CONFIRM
receipt. Which in turn will never happen, because the applier
fiber is blocked on waiting for limbo space.

The only way is to let the replica apply these transactions
bypassing the limbo max size limitation. It makes no sense to
block them. Otherwise their CONFIRM can't be received.

This was probably working until commit
20aad159d ("limbo: handle
spurious wakeups on space waiting") (not counting that before that
it was broken in many other ways), but seems like wasn't covered
by the tests.

Closes #11836

NO_DOC=bugfix

(cherry picked from commit cc77a6ead)

Coverage Stats

69836 of 117647 branches covered (59.36%)

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

49 existing lines in 14 files now uncovered.

104803 of 119601 relevant lines covered (87.63%)

1371327.79 hits per line