オプティマイザー修正コントロール
製品が継続的に進化するにつれて、TiDBオプティマイザーの動作が変化し、より合理的な実行プランが生成されるようになります。しかし、特定のシナリオでは、新しい動作が予期しない結果につながる可能性があります。例えば、
- 一部の動作の効果は特定のシナリオに依存します。ほとんどのシナリオで改善をもたらす変更が、他のシナリオでは後退を引き起こす可能性があります。
- 場合によっては、行動の詳細の変化とその結果の関係が非常に複雑になることがあります。特定の行動の改善が、全体的な退行を引き起こす可能性があります。
そのため、TiDBは、複数の修正値を設定することでTiDBオプティマイザの動作をきめ細かく制御できるオプティマイザ修正制御機能を提供しています。このドキュメントでは、オプティマイザ修正制御機能とその使用方法について説明し、TiDBが現在オプティマイザ修正制御でサポートしているすべての修正値を一覧表示します。
tidb_opt_fix_control
の紹介
v6.5.3 および v7.1.0 以降、TiDB は、オプティマイザーの動作をより細かく制御するためのtidb_opt_fix_control
システム変数を提供します。
各修正は、特定の目的のためにTiDBオプティマイザーの動作を調整するための制御項目です。修正には、動作変更の技術的な詳細を含むGitHub Issueに対応する番号が付けられています。例えば、修正44262
場合、その制御内容は問題44262で確認できます。
システム変数tidb_opt_fix_control
、複数の修正をカンマ区切りで 1 つの値として指定します ( ,
)。形式は"<#issue1>:<value1>,<#issue2>:<value2>,...,<#issueN>:<valueN>"
で、 <#issueN>
修正番号です。例:
SET SESSION tidb_opt_fix_control = '44262:ON,44389:ON';
オプティマイザー修正コントロールリファレンス
33031
バージョン8.0.0の新機能
- デフォルト値:
OFF
- 可能
OFF
値:ON
- この変数はパーティションテーブル
ON
準備されたステートメントプランキャッシュと非プリペアドステートメントプランキャッシュどちらも有効になりません。
44262
v6.5.3 および v7.2.0 の新機能
- デフォルト値:
OFF
- 可能
OFF
値:ON
- この変数は、テーブルの世界統計が欠落している場合に、パーティションテーブルにアクセスするために動的プルーニングモードの使用を許可するかどうかを制御します。
44389
バージョン6.5.3およびバージョン7.2.0の新機能
- デフォルト値:
OFF
- 可能
OFF
値:ON
c = 10 and (a = 'xx' or (a = 'kk' and b = 1))
などのフィルターの場合、この変数はIndexRangeScan
より包括的なスキャン範囲を構築するかどうかを制御します。
44823
バージョン7.3.0の新機能
- デフォルト値:
200
- 可能な値:
[0, 2147483647]
- メモリを節約するために、プラン キャッシュでは、この変数で指定された数を超えるパラメータを持つクエリはキャッシュされません。
0
制限がないことを意味します。
44830
v6.5.7 および v7.3.0 の新機能
- デフォルト値:
OFF
- 可能
OFF
値:ON
- この変数は、物理的な最適化中に生成された
PointGet
演算子を使用して実行プランをプラン キャッシュがキャッシュできるかどうかを制御します。
44855
バージョン6.5.4およびバージョン7.3.0の新機能
- デフォルト値:
OFF
- 可能
OFF
値:ON
- 一部のシナリオでは、
IndexJoin
演算子のProbe
側にSelection
演算子が含まれている場合、TiDB は行数をIndexScan
と過大評価します。その結果、IndexJoin
ではなく、最適ではないクエリプランが選択される場合があります。 - この問題を軽減するために、TiDB では改善が導入されました。ただし、クエリプランのフォールバックリスクが発生する可能性があるため、この改善はデフォルトで無効になっています。
- この変数は、前述の改善を有効にするかどうかを制御します。
45132
バージョン7.4.0の新機能
- デフォルト値:
1000
- 可能な値:
[0, 2147483647]
- この変数は、オプティマイザがアクセスパスを選択する際のヒューリスティック戦略の閾値を設定します。あるアクセスパスの推定行数(例えば
Index_A
)が他のアクセスパスの推定行数(デフォルトは1000
倍)よりも大幅に少ない場合、オプティマイザはコスト比較をスキップし、直接Index_A
選択します。 0
、このヒューリスティック戦略を無効にすることを意味します。
45798
バージョン7.5.0の新機能
- デフォルト値:
ON
- 可能
OFF
値:ON
- この変数は、プラン キャッシュが生成された列アクセスする実行プランをキャッシュできるかどうかを制御します。
46177
v6.5.6、v7.1.3、v7.5.0 の新機能
- デフォルト値:
ON
。v8.5.0 より前では、デフォルト値はOFF
です。 - 可能
OFF
値:ON
- この変数は、強制されていないプランを見つけた後、クエリの最適化中にオプティマイザーが強制されているプランを探索するかどうかを制御します。
47400
バージョン8.4.0の新機能
- デフォルト値:
ON
- 可能
OFF
値:ON
- クエリプランの各プランステップで適切な行数を正確に推定することは困難であるため、オプティマイザは
estRows
小さく推定する場合があります。この変数は、最小値estRows
を制限するかどうかを制御します。 ON
: 最小値estRows
を 1 に制限します。これは、v8.4.0 で導入された新しい動作であり、Oracle や Db2 などの他のデータベースと一致しています。OFF
: 最小行数推定制限を無効にします。これにより、v8.4.0 より前のバージョンとの動作の一貫性が維持されます。この場合、estRows
0 になる可能性があります。
52592
バージョン8.4.0の新機能
デフォルト値:
OFF
可能
OFF
値:ON
この変数は、クエリ実行時に演算子
Point Get
とBatch Point Get
無効にするかどうかを制御します。デフォルト値OFF
、演算子Point Get
とBatch Point Get
クエリ実行に使用できることを意味します。11ON
設定すると、オプティマイザは演算子Point Get
とBatch Point Get
無効にし、クエリ実行にコプロセッサーを強制的に選択します。Point Get
とBatch Point Get
列投影をサポートしていません(つまり、列のサブセットのみを返すことはできません)。そのため、シナリオによっては、実行効率がコプロセッサーよりも低くなる可能性があります。この変数をON
に設定すると、クエリのパフォーマンスが向上する可能性があります。この変数をON
に設定する推奨シナリオは次のとおりです。- 多数の列を持つ幅の広いテーブルで、少数の列のみがクエリされます。
- 大きな JSON 値を持つテーブルで、JSON 列がクエリされないか、JSON 列の小さな部分のみがクエリされます。
52869
バージョン8.1.0の新機能
- デフォルト値:
OFF
- 可能
OFF
値:ON
- インデックスマージを使用したステートメントの説明の注に記載されているように、オプティマイザがクエリ プランに対して単一インデックス スキャン方式 (フル テーブル スキャン以外) を選択できる場合、オプティマイザはインデックス マージを自動的に使用しません。
- この制限は、この修正制御を有効にすることで解除できます。この制限を解除すると、オプティマイザはより多くのクエリでインデックスマージを自動的に選択できるようになりますが、最適な実行プランを無視してしまう可能性があります。したがって、この制限を解除する前に、実際のユースケースで十分なテストを実施し、パフォーマンスの低下が発生しないことを確認することをお勧めします。
54337
バージョン8.3.0の新機能
- デフォルト値:
OFF
- 可能
OFF
値:ON
- 現在、TiDBオプティマイザは、各接続詞が範囲のリストで構成される複雑な接続詞条件のインデックス範囲の導出に限界があります。これは、一般的な範囲交差を適用することで解決できます。
- この制限は、この修正コントロールを有効にすると解除され、オプティマイザーが複雑な範囲交差を処理できるようになります。ただし、接続詞の数が多い(10個を超える)条件の場合、最適化時間がわずかに長くなる可能性があります。
56318
注記:
これはTiDB Cloudスターターのみ利用可能です。
- デフォルト値:
ON
- 可能
OFF
値:ON
- この変数は
ORDER BY
ステートメントで使用される重い式を 2 回計算することを回避するかどうかを制御します。