for verifying transactional isolation, based on cycle de- tection.1 The monotonic test finds dependency cycles over increment-only registers, the txn-cycle test finds write-read dependency cycles over read-write realtime guarantees, but our results hold both with and without those constraints. 1The details of our cycle detection strategy are somewhat involved, and will be published in an upcoming paper. 3 3 Results cally speed up convergence. TiDB has a patch adding an initialized flag to the upcoming 3.0.0-rc.3 release; deployment systems could use this flag to ensure full region replication as a part of cluster setup

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 28 2.2 TiDB 5.3 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2531 13.2.10 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 2531 13.2.11 Does TiDB support the · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2571 14 Release Notes 2573 14.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 26 2.2 TiDB 5.1 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2348 13.2.10 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 2348 13.2.11 Does TiDB support the · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2388 14 Release Notes 2391 14.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 27 2.2 TiDB 5.2 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2420 13.2.10 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 2420 13.2.11 Does TiDB support the · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 2461 14 Release Notes 2463 14.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 36 2.2 TiDB 7.5.0 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 36 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 4809 15.3.14 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 4809 15.3.15 Why does the query speed · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 4868 16 Release Notes 4869 16.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 29 2.2 TiDB 5.4 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1734 11.9.15 TiDB Data Migration Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 1744 11.10 TiCDC· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 3140 13.2.10 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 3140 13.2.11 Does TiDB support the

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 42 2.2 TiDB 8.4.0 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 42 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5254 15.3.14 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 5255 15.3.15 Why does the query speed · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5313 16 Release Notes 5313 16.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 37 2.2 TiDB 8.4.0 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 37 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5233 15.3.14 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 5234 15.3.15 Why does the query speed · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5292 16 Release Notes 5292 16.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 37 2.2 TiDB 8.1.0 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 37 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5106 15.3.14 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 5107 15.3.15 Why does the query speed · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5166 16 Release Notes 5166 16.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 37 2.2 TiDB 8.3.0 Release Notes · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 37 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5181 15.3.14 Does TiDB release space immediately after deleting data? · · · · · · · · · · · 5182 15.3.15 Why does the query speed · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 5241 16 Release Notes 5241 16.1 TiDB Release Notes· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·