tarantool / tarantool / 12067080038

push

github

memtx: do not abort unrelated transactions on DDL

Currently we simply abort all concurrent transactions on any DDL. We've
already done a few workarounds for these problems - filter that prevents
DDL on temporary spaces from aborting fully remote transactions and vice
versa, and an engine flag `ENGINE_TXM_HANDLES_DDL` to prevent memtx DDL
from aborting vinyl transactions. The commit removes above-mentioned
temporary solutions and makes memtx abort only related transactions on DDL.

The new approach is to abort all writers and readers when a space is
invalidated (it happens on replace in space cache). To abort all
writers, we can iterate over all transactions and inspect their
statements. To abort all readers, MVCC trackers can be used. When MVCC
is disabled, we don't abort any transactions since memtx ones cannot yield.
Note that we swap indexes on DDL before the old space is invalidated, so
all index read gaps are actually moved to the new space. It's actually
incorrect but didn't break anything - we delete all transaction's
trackers when it is prepared or aborted, and we used to abort all
in-progress transactions on DDL. But with the new approach, we need
those gaps in the old space in order to find all space readers, so the
commit swaps read gaps back when moving space indexes.

A primary memtx difference is that it contains all system spaces, and
any schema change is a replace in a system space, hence, in memtx. So
the question is whether we should abort any active transactions on
schema changes that don't affect any space directly (for example, bump
of schema version on upgrade, replace in space `_schema`). The answer is
we shouldn't - all resources used by spaces are pinned, so we cannot
change, for example, a collation when it is used by a space, so let's
abort concurrent transactions only when a space is invalidated - it
happens on DDL operations directly affecting spaces (`space:format(...)`,
`space:create_index(...)` and so on).

Note that d... (continued)

68553 of 121778 branches covered (56.29%)

39 of 39 new or added lines in 3 files covered. (100.0%)

101160 of 115921 relevant lines covered (87.27%)

2822088.94 hits per line