TiDB

參考

• TiDB 2.0 is Ready - Faster, Smarter, and Battle-Tested

  • Chaos testing

  • Systemtap for delay I/O for testing

  • TLA+ for formal prove