3 ms·TiDB Passes Jepsen Test for Snapshot Isolation and Single-Key Linearizability1 points by fipar 7y ago