次の方法で共有


Azure SQL Database での検出可能なクエリ パフォーマンス ボトルネックの種類

適用対象: Azure SQL データベース

パフォーマンス ボトルネックの解決を試みる際には、最初に、クエリが実行中状態または待機状態にあるときにボトルネックが発生しているかどうかを判断します。 この判断に応じて、適用される解決策が異なります。 以下の図を使用して、実行関連の問題または待機関連の問題を引き起こし得る要因を把握してください。 この記事では、各問題の種類に関して、問題と解決策を確認します。

Database Watcher または動的管理ビューを使用して、これらの種類のパフォーマンス ボトルネックを検出できます。

実行中および待機中の、ワークロードの状態のダイアグラム。

実行関連の問題:実行関連の問題は、一般的に、最適化されていないクエリ プランに起因するコンパイルの問題に関連しているか、あるいは、リソースの不足または使用過多に関係がある実行の問題に関連しています。 待機関連の問題:通常、待機関連の問題は以下と関係があります。

  • ロック (ブロック)
  • I/O
  • tempdb の使用に関連する競合
  • メモリ許可待機

この記事では、Azure SQL Database について説明します。Azure SQL Managed Instance での検出可能なクエリ パフォーマンス ボトルネックの種類に関するページも参照してください。

最適化されていないクエリ プランに起因するコンパイルの問題

SQL クエリ オプティマイザーによって生成された最適化されていないプランが、クエリ パフォーマンス低下の原因になっている可能性があります。 SQL クエリ オプティマイザーでは、インデックスの不足、古い統計、処理される行数の不正確な推定、または必要なメモリの不正確な推定が原因で、最適ではないプランが生成される場合があります。 クエリが以前または他のデータベースでは速く実行されたことがわかっている場合は、実際の実行プランと比較し、違う点を確認します。

クエリ実行プランが最適でないクエリを解決する

以下のセクションでは、クエリ実行プランが最適でないクエリの解決方法について確認します。

パラメーター依存プラン (PSP) の問題が発生しているクエリ

パラメーター依存プラン (PSP) の問題が発生するのは、クエリ オプティマイザーが特定のパラメーター値 (または値のセット) に対してのみ最適なクエリ実行プランを生成し、キャッシュされたプランが連続実行で使用されるパラメーター値に対して最適ではない場合です。 最適ではないプランでは、クエリ パフォーマンスの問題が発生し、ワークロード全体のスループットが低下する可能性があります。

パラメーター スニッフィングとクエリ処理の詳細については、「クエリ処理アーキテクチャ ガイド」を参照してください。

いくつかの回避策を使用して、PSP の問題を軽減できます。 それぞれの回避策には、関連するトレードオフと欠点があります。

  • SQL Server 2022 (16.x) で導入された新機能であるパラメーターに依存するプランの最適化では、パラメーターの感度が原因である最も最適でないクエリ プランの軽減が試みられます。 これは、Azure SQL Database のデータベース互換性レベル 160 で有効になります。
  • 各クエリ実行で RECOMPILE クエリ ヒントを使用します。 この回避策では、プランの品質の向上と引き換えに、コンパイル時間が長くなって CPU 使用率が増加します。 高スループットを必要とするワークロードでは、RECOMPILE オプションを使用できないことがよくあります。
  • OPTION (OPTIMIZE FOR...) クエリ ヒントを使用して、実際のパラメーター値を、可能性のあるほとんどのパラメーター値に対して十分良好なプランを生成する一般的なパラメーター値でオーバーライドします。 このオプションを使用するには、最適なパラメーター値および関連するプランの特性をよく理解している必要があります。
  • OPTION (OPTIMIZE FOR UNKNOWN) クエリ ヒントを使用して、実際のパラメーター値をオーバーライドし、代わりに密度ベクトルの平均を使用します。 また、受け取ったパラメーター値をローカル変数に取り込み、述語内ではパラメーター自体を使用する代わりにローカル変数を使用することによって、これを行うこともできます。 この修正では、平均密度は "十分によい" ものでなければなりません。
  • DISABLE_PARAMETER_SNIFFING クエリ ヒントを使用して、パラメーター スニッフィング全体を無効にします。
  • KEEPFIXEDPLAN クエリ ヒントを使用して、キャッシュ内の再コンパイルが行われないようにします。 この回避策では、"十分によい" 一般的なプランがキャッシュ内に既にあることを前提としています。 よいプランが破棄されて新しい悪いプランがコンパイルされる可能性を減らすため、統計の自動更新を無効にすることもできます。
  • クエリを書き直してクエリ テキストにヒントを追加することによって USE PLAN クエリ ヒントを明示的に使用することで、プランを強制します。 または、クエリ ストアを使用するか、自動チューニングを有効にして、特定のプランを設定します。
  • 1 つのプロシージャを、それぞれが条件付きロジックと関連するパラメーター値に基づいて使用できる入れ子になったプロシージャのセットに置き換えます。
  • 静的なプロシージャ定義の代わりに、動的文字列の実行を作成します。

クエリ ヒントを適用するには、クエリを変更するか、クエリ ストア ヒントを使ってコードを変更せずにヒントを適用します。

PSP 問題の解決方法について詳しくは、これらのブログ記事をご覧ください。

不適切なパラメーター化によって発生するコンパイル アクティビティ

クエリにリテラルがある場合は、データベース エンジンで自動的にステートメントがパラメーター化されるか、またはユーザーが明示的にステートメントをパラメーター化してコンパイルの数を減らします。 使用するパターンが同じでもリテラル値が異なるクエリのコンパイル回数が多いと、CPU の使用率が高くなる可能性があります。 同様に、ユーザーが継続的にリテラルを含むクエリを部分的にだけパラメーター化した場合、データベース エンジンではクエリはそれ以上パラメーター化されません。

部分的にパラメーター化されたクエリの例を次に示します。

SELECT *
FROM t1 JOIN t2 ON t1.c1 = t2.c1
WHERE t1.c1 = @p1 AND t2.c2 = '961C3970-0E54-4E8E-82B6-5545BE897F8F';

この例では、t1.c1@p1 を受け取りますが、t2.c2 は引き続きリテラルとして GUID を受け取ります。 この場合、c2 の値を変更すると、クエリは異なるクエリとして扱われて、新しいコンパイルが発生します。 この例でコンパイルを減らすためには、GUID もパラメーター化します。

次のクエリでは、クエリ ハッシュ別にクエリの数を示して、クエリが適切にパラメーター化されているか判断します。

SELECT TOP 10
  q.query_hash
  , count (distinct p.query_id ) AS number_of_distinct_query_ids
  , min(qt.query_sql_text) AS sampled_query_text
FROM sys.query_store_query_text AS qt
  JOIN sys.query_store_query AS q
     ON qt.query_text_id = q.query_text_id
  JOIN sys.query_store_plan AS p
     ON q.query_id = p.query_id
  JOIN sys.query_store_runtime_stats AS rs
     ON rs.plan_id = p.plan_id
  JOIN sys.query_store_runtime_stats_interval AS rsi
     ON rsi.runtime_stats_interval_id = rs.runtime_stats_interval_id
WHERE
  rsi.start_time >= DATEADD(hour, -2, GETUTCDATE())
  AND query_parameterization_type_desc IN ('User', 'None')
GROUP BY q.query_hash
ORDER BY count (distinct p.query_id) DESC;

クエリ プランの変更に影響する要因

クエリ実行プランが再コンパイルされると、元々キャッシュされていたプランとは異なるクエリ プランが生成される可能性があります。 元の既存のプランが自動的に再コンパイルされるのには、次のようなさまざまな理由があります。

  • スキーマでの変更がクエリによって参照されている
  • テーブルのデータ変更がクエリによって参照されている
  • クエリ コンテキストのオプションが変更された

コンパイルされたプランは、次のようなさまざまな理由でキャッシュから取り出される場合があります。

  • インスタンスの再起動
  • データベース スコープ構成の変更
  • メモリ不足
  • キャッシュをクリアする明示的な要求

RECOMPILE ヒントを使用した場合、プランはキャッシュされません。

再コンパイル (またはキャッシュの削除後に新たにコンパイル) を実行しても、元々あったものと同じクエリ実行プランが生成される可能性があります。 プランが以前のプランまたは元のプランから変更された場合、次のような説明が考えられます。

  • 物理的設計の変更:たとえば、新しく作成されたインデックスは、クエリの要件により効果的に対応します。 この新しいインデックスは、クエリ実行の最初のバージョン用に元々選択されていたデータ構造を使用するよりも、この新しいインデックスを使用した方がより最適であるとクエリ オプティマイザーが判断した場合、新しいコンパイルで使用される可能性があります。 参照されているオブジェクトに物理的変更が行われた場合、コンパイル時に新しいプランが選択されることがあります。

  • サーバー リソースの違い:あるシステムのプランが別のシステムのプランと異なる場合、利用可能なプロセッサの数などのリソースの可用性が、生成されるプランに影響を与える可能性があります。 たとえば、1 つのシステムでプロセッサの数が多い場合は、並列プランが選択される可能性があります。 Azure SQL Database での並列処理の詳細については、「Azure SQL Database での並列処理の最大限度 (MAXDOP) の構成」を参照してください。

  • 異なる統計:参照されているオブジェクトに関連する統計情報が変更されていたり、元のシステムの統計と実質的に異なる場合があります。 統計が変更され再コンパイルが発生すると、クエリ オプティマイザーは、変更された時点からの統計を使用します。 変更された統計のデータの分布と頻度は、元のコンパイルのものとは異なる可能性があります。 これらの変更は、カーディナリティ推定を作成するために使用されます。 (カーディナリティ推定は、論理クエリ ツリーを経由してフローすると予想される行数です。)カーディナリティ推定が変更されると、異なる物理演算子、および関連する操作順序の選択が必要になる場合があります。 統計に対する変更が小さくても、クエリ実行プランが変更される可能性があります。

  • データベースの互換性レベルまたはカーディナリティ推定機能のバージョンが変更された:データベースの互換性レベルの変更により、新しい戦略や機能が有効になり、それによって、異なるクエリ実行プランが作成される可能性があります。 データベースの互換性レベルのほかに、無効または有効になったトレース フラグ 4199 またはデータベース スコープ構成 QUERY_OPTIMIZER_HOTFIXES の変更された状態が、コンパイル時のクエリ実行プランの選択に影響する可能性があります。 トレース フラグ 9481 (レガシ CE を強制) と 2312 (既定の CE を強制) もプランに影響を与えます。

リソース制限の問題

最適化されていないクエリ プランおよびインデックスの不足に関連がないクエリ パフォーマンスの低下は、一般的に、リソースの不足または使用過多に関係しています。 クエリ プランが最適な場合、クエリ (およびデータベース) は、データベースまたはエラスティック プールのリソース上限に達している可能性があります。 たとえば、サービス レベルのログ書き込みスループットを超過している可能性があります。

この問題をリソース不足として識別した場合は、リソースをアップグレードして、CPU 要件を満たすようにデータベースの容量を増やすことができます。 詳細については、「Azure SQL Database で単一データベースのリソースをスケーリングする」および「Azure SQL Database でエラスティック プールのリソースをスケーリングする」を参照してください。

ワークロード ボリュームの増加が原因で発生したパフォーマンスの問題

アプリケーション トラフィックおよびワークロード ボリュームの増加が原因で、CPU 使用率が増加することがあります。 しかし、この問題を正しく診断するには注意が必要です。 CPU の使用率が高い問題が発生した場合は、これらの質問に答えて、増加の原因がワークロード ボリュームの変化であるかどうかを判断します。

  • アプリケーションからのクエリが、CPU の使用率が高い問題の原因ですか?

  • CPU 消費量が上位の特定可能なクエリについて、以下を確認します。

    • 同じクエリに複数の実行プランが関連していましたか? そうである場合、それはなぜですか?
    • 同じ実行プランを持つクエリの場合、実行時間は一貫していましたか? 実行回数は増加しましたか? その場合、ワークロードの増加がパフォーマンスの問題の原因になっている可能性があります。

まとめると、クエリ実行プランの実行方法は異ならなかったが、実行回数と共に CPU 使用率が増加した場合、パフォーマンスの問題はワークロードの増加に関連する可能性があります。

CPU の問題を引き起こしているワークロード ボリュームの変化を特定することは、必ずしも容易ではありません。 次の点を考慮します。

  • リソースの使用状況の変化:たとえば、長時間にわたり CPU 使用率が 80% に増加したようなシナリオを検討します。 ワークロードのボリュームの変化を意味するのは、CPU 使用率だけではありません。 クエリ実行プランの回帰や、データの分布の変化も、アプリケーションがまったく同じワークロードを実行しているのにリソースの使用量が増える原因になる可能性があります。

  • 新しいクエリの発生:アプリケーションでは、異なるタイミングで新しいクエリのセットが発生する可能性があります。

  • 要求数の増加または減少:このシナリオは、ワークロードの最も明白な尺度です。 クエリの数は、リソース使用率の増加に常に対応しているとは限りません。 それでもこのメトリックは、他の要因が変更されていないとすると、やはり重要なシグナルです。

Database Watcher を使用してワークロードの増加を検出し、時間の経過に伴う回帰を計画します。

  • 並列処理: 過剰な並列処理によって CPU とワーカー スレッド リソースの他のクエリが逼迫し、他の同時実行ワークロードのパフォーマンスが悪化する場合があります。 Azure SQL Database での並列処理の詳細については、「Azure SQL Database での並列処理の最大限度 (MAXDOP) の構成」を参照してください。

最適化されていないプランと、実行の問題に関係している "待機関連の問題" を取り除いたら、一般的には、パフォーマンスの問題としてクエリが何らかのリソースを待機している可能性があります。 待機に関連する問題の原因として、次のことが考えられます。

  • ブロック:

    あるクエリがデータベースのオブジェクトに対するロックを保持している間に、他のクエリが同じオブジェクトにアクセスしようとしています。 ブロックしているクエリは、DMV または Database Watcher を使って識別できます。 詳細については、「Azure SQL Database のブロックの問題の概要と解決策」を参照してください。

  • IO の問題

    ページがデータ ファイルまたはログ ファイルに書き込まれるのをクエリが待機している可能性があります。 この場合は、DMV で INSTANCE_LOG_RATE_GOVERNORWRITE_LOG、または PAGEIOLATCH_* の待機統計を確認します。 DMV を使用した「IO パフォーマンスに関する問題の特定」を参照してください。

  • Tempdb の問題

    ワークロードで一時テーブルが使用されていたり、プランで tempdb 溢れが発生したりしている場合、クエリには tempdb のスループットに問題がある可能性があります。 詳しく調査するには、tempdb に関する問題の特定に関する記事を参照してください。

  • メモリ関連の問題

    ワークロードに十分なメモリがない場合、ページの予測保持期間が低下するか、クエリが取得するメモリが必要なメモリよりも少なくなる可能性があります。 場合によっては、クエリ オプティマイザーの組み込みインテリジェンスによってメモリ関連の問題は修正されます。 DMV を使用したメモリ許可に関する問題の特定に関する記事を参照してください。 詳細情報やサンプル クエリについては、「Azure SQL Database によるメモリ不足エラーのトラブルシューティング」を参照してください。 メモリ不足エラーが発生した場合は、sys.dm_os_out_of_memory_events を確認します。

上位の待機カテゴリを表示する方法

これらの方法は、通常、待機の種類の上位カテゴリを表示するために使用されます。

  • Database Watcher を使用して、待機の増加に起因してパフォーマンスが低下しているクエリを特定します。
  • クエリ ストアを使用して、一定期間の各クエリの待機統計を検索します。 クエリ ストアでは、待機の種類は待機カテゴリに結合されます。 待機カテゴリから待機の種類へのマッピングは、sys.query_store_wait_stats にあります。
  • sys.dm_db_wait_stats を使用して、クエリの操作中に実行されたスレッドによって発生したすべての待機に関する情報を返します。 この集計ビューを使用して、Azure SQL Database のほか、特定のクエリやバッチに関するパフォーマンスの問題を診断できます。 クエリの待機は、リソース、キュー待機、または外部待機で発生する場合があります。
  • sys.dm_os_waiting_tasks を使用して、何らかのリソースを待機しているタスクのキューに関する情報を返します。

CPU の使用率が高いシナリオでは、次の場合にクエリ ストアと待機の統計に CPU 使用率が反映されない可能性があります。

  • CPU 消費量の高いクエリがまだ実行中である。
  • フェールオーバーが発生したときに、CPU 消費量の高いクエリが実行されていた。

クエリ ストアと待機の統計を追跡する DMV は、正常に完了したクエリとタイムアウトしたクエリのみの結果を表示します。 ステートメントが終了するまで、現在実行中のステートメントのデータは表示されません。 動的管理ビュー sys.dm_exec_requests を使用して、現在実行中のクエリとそれに関連するワーカーの時間を追跡します。