アーキテクチャ
- TiDBサーバー: MySQLのエンドポイントを提供。SQLレイヤ。
- PDサーバー: メタデータ管理。各TiKVノードの管理をする。トランザクションIDを割り当てる
- TSO): タイムスタンプ割当を担当
- ストレージサーバー
参考資料
- アーキテクチャ: https://docs.pingcap.com/ja/tidb/stable/tidb-architecture
- TLA+で実装の形式検証をしているらしい: https://github.com/pingcap/tla-plus