TiDB
#分散DB
PingCAP社が開発
MySQL互換
アーキテクチャ
TiDBサーバー: MySQLのエンドポイントを提供。SQLレイヤ。
PDサーバー: メタデータ管理。各TiKVノードの管理をする。トランザクションIDを割り当てる
TSO(タイムスタンプオラクル): タイムスタンプ割当を担当
ストレージサーバー
TiKVサーバー: データ保存(Key-Valueストア)。行指向。OLTP向け
TiFlaskサーバー: 列指向のストレージエンジン。OLAP向け
参考資料
アーキテクチャ: https://docs.pingcap.com/ja/tidb/stable/tidb-architecture
TLA+で実装の形式検証をしているらしい: https://github.com/pingcap/tla-plus