TiDB 楽観的トランザクション モデル
オプティミスティック トランザクションでは、競合する変更がトランザクション コミットの一部として検出されます。これは、行ロックを取得するプロセスをスキップできるため、並行トランザクションが同じ行を頻繁に変更しない場合のパフォーマンスを向上させるのに役立ちます。並行トランザクションが同じ行を頻繁に変更する (競合) 場合、楽観的トランザクションは悲観的な取引よりもパフォーマンスが低下する可能性があります。
オプティミスティック トランザクションを有効にする前に、アプリケーションがCOMMITステートメントがエラーを返す可能性があることを正しく処理していることを確認してください。アプリケーションがこれを処理する方法がわからない場合は、代わりにペシミスティック トランザクションを使用することをお勧めします。
ノート：
v3.0.8 以降、TiDB はデフォルトでペシミスティック トランザクション モードを使用します。ただし、v3.0.7 以前から v3.0.8 以降にアップグレードする場合、既存のクラスターには影響しません。つまり、新しく作成されたクラスターのみがデフォルトでペシミスティック トランザクション モードを使用します。
楽観的取引の原則
分散トランザクションをサポートするために、TiDB は楽観的トランザクションで 2 フェーズ コミット (2PC) を採用しています。手順は次のとおりです。
クライアントがトランザクションを開始します。
TiDB は、現在のトランザクションの一意のトランザクション ID として PD からタイムスタンプ (時間が単調に増加し、グローバルに一意) を取得します。これは
start_tsと呼ばれます。 TiDB は複数バージョンの同時実行制御を実装しているため、start_tsはこのトランザクションによって取得されるデータベース スナップショットのバージョンとしても機能します。これは、トランザクションがstart_tsでデータベースからデータを読み取ることしかできないことを意味します。クライアントが読み取り要求を発行します。
- TiDB は PD からルーティング情報 (データが TiKV ノード間でどのように分散されるか) を受け取ります。
- TiDB は TiKV から
start_tsバージョンのデータを受け取ります。
クライアントが書き込み要求を発行します。
TiDB は、書き込まれたデータが制約を満たしているかどうかをチェックします (データ型が正しいこと、NOT NULL 制約が満たされていることなどを確認するため)。有効なデータは、TiDB のこのトランザクションのプライベート メモリに格納されます。
クライアントがコミット要求を発行します。
TiDB は 2PC から始まり、トランザクションの原子性を保証しながらデータを保存します。
- TiDB は、書き込むデータから主キーを選択します。
- TiDB は PD からリージョン分布の情報を受け取り、それに応じてすべてのキーをリージョン別にグループ化します。
- TiDB は、関連するすべての TiKV ノードに事前書き込み要求を送信します。次に、TiKV は、競合するバージョンや期限切れのバージョンがあるかどうかを確認します。有効なデータはロックされています。
- TiDB は事前書き込みフェーズですべての応答を受け取り、事前書き込みは成功します。
- TiDB は PD からコミット バージョン番号を受け取り、それを
commit_tsとしてマークします。 - TiDB は、プライマリ キーが配置されている TiKV ノードへの 2 回目のコミットを開始します。 TiKV はデータをチェックし、書き込み前フェーズで残されたロックを消去します。
- TiDB は、第 2 フェーズが正常に終了したことを報告するメッセージを受け取ります。
TiDB は、トランザクションが正常にコミットされたことをクライアントに通知するメッセージを返します。
TiDB は、このトランザクションに残っているロックを非同期的に消去します。
長所と短所
上記の TiDB でのトランザクションのプロセスから、TiDB トランザクションには次の利点があることが明らかです。
- わかりやすい
- 単一行トランザクションに基づくクロスノード トランザクションの実装
- 分散ロック管理
ただし、TiDB トランザクションには次の欠点もあります。
- 2PC によるトランザクションレイテンシー
- 一元化されたタイムスタンプ割り当てサービスが必要
- 大量のデータがメモリに書き込まれるときの OOM (メモリ不足)
トランザクションの再試行
オプティミスティック トランザクション モデルでは、競合が激しいシナリオでは、書き込みと書き込みの競合が原因で、トランザクションのコミットに失敗する可能性があります。 TiDB はデフォルトで楽観的同時実行制御を使用しますが、MySQL は悲観的同時実行制御を適用します。これは、MySQL が書き込みタイプの SQL ステートメントの実行中にロックを追加し、その Repeatable Read 分離レベルが現在の読み取りを許可することを意味するため、通常、コミットは例外に遭遇しません。アプリケーションの適応の難しさを軽減するために、TiDB は内部再試行メカニズムを提供します。
自動再試行
トランザクションのコミット中に書き込みと書き込みの競合が発生した場合、TiDB は書き込み操作を含む SQL ステートメントを自動的に再試行します。 tidb_disable_txn_auto_retryからOFFを設定して自動再試行を有効にし、 tidb_retry_limitを構成して再試行制限を設定できます。
# Whether to disable automatic retry. ("on" by default)
tidb_disable_txn_auto_retry = OFF
# Set the maximum number of the retires. ("10" by default)
# When "tidb_retry_limit = 0", automatic retry is completely disabled.
tidb_retry_limit = 10
セッション レベルまたはグローバル レベルで自動再試行を有効にできます。
セッション レベル:
SET tidb_disable_txn_auto_retry = OFF;SET tidb_retry_limit = 10;グローバルレベル:
SET GLOBAL tidb_disable_txn_auto_retry = OFF;SET GLOBAL tidb_retry_limit = 10;
ノート：
tidb_retry_limit変数は、再試行の最大回数を決定します。この変数が0に設定されている場合、自動的にコミットされる暗黙的な単一ステートメント トランザクションを含め、どのトランザクションも自動的に再試行されません。これは、TiDB の自動再試行メカニズムを完全に無効にする方法です。自動再試行が無効になった後、競合するすべてのトランザクションは、最速の方法でアプリケーションレイヤーに障害 (try again laterメッセージを含む) を報告します。
リトライの制限
デフォルトでは、TiDB はトランザクションを再試行しません。更新が失われ、破損する可能性があるためですREPEATABLE READ分離 。
理由は、再試行の手順から確認できます。
- 新しいタイムスタンプを割り当て、
start_tsとしてマークします。 - 書き込み操作を含む SQL ステートメントを再試行します。
- 2 フェーズ コミットを実装します。
ステップ 2 では、TiDB は書き込み操作を含む SQL ステートメントのみを再試行します。ただし、再試行中に、TiDB はトランザクションの開始を示す新しいバージョン番号を受け取ります。これは、TiDB が新しいstart_tsバージョンのデータを使用して SQL ステートメントを再試行することを意味します。この場合、トランザクションが他のクエリ結果を使用してデータを更新すると、 REPEATABLE READの分離に違反するため、結果に一貫性がなくなる可能性があります。
アプリケーションが更新の消失を許容でき、 REPEATABLE READの分離一貫性を必要としない場合は、 tidb_disable_txn_auto_retry = OFFを設定してこの機能を有効にできます。
競合の検出
分散データベースとして、TiDB は TiKVレイヤーで、主に書き込み前のフェーズでメモリ内競合検出を実行します。 TiDB インスタンスはステートレスであり、お互いを認識していません。つまり、書き込みがクラスター全体で競合を引き起こすかどうかを知ることができません。したがって、競合検出は TiKVレイヤーで実行されます。
構成は次のとおりです。
# Controls the number of slots. ("2048000" by default）
scheduler-concurrency = 2048000
さらに、TiKV は、スケジューラでのラッチの待機に費やされた時間の監視をサポートしています。
Scheduler latch wait durationが高く、低速書き込みがない場合、現時点で多くの書き込み競合が発生していると安全に結論付けることができます。