動的追跡PostgreSQLは、データベースサーバの動的追跡をサポートする機能を提供します。これにより、外部ユーティリティをコードの特定のポイントで呼び出すことができ、追跡を行うことができるようになります。多くの追跡やプローブ用のポイントは、すでにソースコード内部に存在します。これらのプローブはデータベースの開発者や管理者が使うことを意図しています。デフォルトでは、これらのプローブはPostgreSQLにコンパイルされません。ユーザは明示的にconfigureスクリプトでプローブを有効にするように設定する必要があります。Linuxで利用可能なDTraceユーティリティがサポートされています。SystemTapプロジェクトではDtrace相当の機能をLinux向けに提供しており、それを使うこともできます。他の動的追跡ユーティリティのサポートは、src/include/utils/probes.h内のPG_TRACEマクロ定義を変更することで、理論上は可能です。動的追跡のためのコンパイルデフォルトでは、プローブは有効ではありません。そのため、PostgreSQLでプローブが利用できるようにするためにconfigureスクリプトで明示的に設定しなければなりません。DTraceサポートを含めるには、configureに--enable-dtraceを指定します。詳細は項15.4を参照してください。組み込み済みのプローブ表27-15で示されるように、多くの標準的なプローブがソースコード内で提供されています。表27-16はプローブで使用している型を示しています。PostgreSQL内の可観測性を強化するためのプローブ追加が可能です。新しいトランザクションの開始を捕捉するプローブ。arg0はトランザクションIDです。トランザクションの正常終了を捕捉するプローブ。arg0はトランザクションIDです。トランザクションの異常終了を捕捉するプローブ。arg0はトランザクションIDです。問い合わせ処理の開始を捕捉するプローブ。arg0は問い合わせ文字列です。問い合わせ処理の正常終了を捕捉するプローブ。arg0は問い合わせ文字列です。問い合わせのパース処理の開始を捕捉するプローブ。arg0は問い合わせ文字列です。問い合わせのパース処理の正常終了を捕捉するプローブ。arg0は問い合わせ文字列です。問い合わせの書き換え処理の開始を捕捉するプローブ。arg0は問い合わせ文字列です。問い合わせの書き換え処理の正常終了を捕捉するプローブ。arg0は問い合わせ文字列です。問い合わせのプランナ処理の開始を捕捉するプローブ。問い合わせのプランナ処理の正常終了を捕捉するプローブ。問い合わせの実行(エクゼキュータ)処理の開始を捕捉するプローブ。問い合わせの実行(エクゼキュータ)処理の正常終了を捕捉するプローブ。サーバプロセスによるpg_stat_activity.statusの状態の更新を捕捉するプローブ。arg0は新しい状態の文字列です。チェックポイントの開始を捕捉するプローブです。arg0はチェックポイントの種類の違い(shutdown、immediate、force)を区別するためのビットフラグを持っています。チェックポイントの正常終了を捕捉するプローブ(以下に示すプローブはチェックポイント進行に従い順番に捕捉されます)。されたxlogの数です。CLOG部分のチェックポイントの開始を捕捉するプローブ。arg0がtrueならば通常のチェックポイントであり、falseならばシャットダウン時のチェックポイントを示します。CLOG部分のチェックポイントの正常終了を捕捉するプローブ。arg0はclog-checkpoint-startと同じ意味を持ちます。サブトランザクション部分のチェックポイントの開始を捕捉するプローブ。arg0がtrueならば通常のチェックポイントであり、falseならばシャットダウン時のチェックポイントを示します。サブトランザクション部分のチェックポイントの正常終了を捕捉するプローブ。arg0はsubtrans-checkpoint-startと同じ意味を持ちます。マルチトランザクション部分のチェックポイントの開始を捕捉するプローブ。arg0がtrueならば通常のチェックポイントであり、falseならばシャットダウン時のチェックポイントを示します。マルチトランザクション部分のチェックポイントの正常終了を捕捉するプローブ。arg0はmultixact-checkpoint-startと同じ意味を持ちます。チェックポイントのバッファ書き込み部分の開始を捕捉するプローブ。arg0はチェックポイントの種類の違い(shutdown、immediate、force)を区別するためのビットフラグを持っています。チェックポイント中のダーティバッファの書き出し開始を捕捉するプローブ(どのバッファが書き出す必要があるのかを判定した後です)。arg0はバッファの総数で、arg1は現在ダーティであり、書き出す必要のあるバッファ数です。チェックポイント中のそれぞれのバッファを書き出し後を捕捉するプローブ。arg0はバッファのIDを示します。全てのダーティバッファの書き出し後を捕捉するプローブ。arg0はバッファの総数です。arg1はチェックポイント処理により実際に書き出されたバッファ数です。arg2は書き出されるであろうと見積もられたバッファ数(buffer-sync-startのarg1相当)です。この違いはチェックポイント中に他のプロセスにより書き出されたバッファ分です。カーネルへのダーティバッファの書き出し処理発行の後、そして同期書き出し要求を開始する前を捕捉するプローブ。バッファからディスクへの同期書き出し処理の終了を捕捉するプローブ。二相コミット部分のチェックポイントの開始を捕捉するプローブ。二相コミット部分のチェックポイントの正常終了を捕捉するプローブ。バッファ読み込みの開始を捕捉するプローブ。arg0はとarg1は読み込みページのフォーク番号とブロック番号です(ただし、リレーションの拡張要求があった場合、arg1は-1になるでしょう)。arg2、arg3、arg4は対象のリレーションを識別するテーブル空間、データベース、そしてリレーションのOIDです。arg5は一時テーブルをローカルバッファに作成していればそのバックエンドのIDであり、無効なバックエンドID(-1)であれは共有バッファを指します。arg6はtrueならばリレーションの拡張要求、falseは通常の読み込みを示します。バッファ読み込みの終了を捕捉するプローブ。arg0とarg1は読み込みページのフォーク番号とブロック番号です(もしリレーションの拡張要求があった場合、arg1は新たに追加されたブロックの番号を含みます)。arg2、arg3、arg4は対象のテーブルを識別するテーブル空間、データベース、そしてテーブルのOIDです。arg5は一時テーブルをローカルバッファに作成していればそのバックエンドのIDであり、無効なバックエンドID(-1)であれは共有バッファを指します。arg6はtrueならばリレーションの拡張要求、falseは通常の読み込みを示します。arg7はtrueならばバッファがプール内にある、falseはプール内に無かったことを示します。共有バッファへの書き込み要求開始を捕捉するプローブ。arg0とarg1はそのページのフォーク番号とブロック番号です。arg2、arg3、arg4は対象のリレーションを識別するテーブル空間、データベース、そしてテーブルのOIDです。書き込み要求の終了を捕捉するプローブ。この時点ではまだ実際にディスクへ書き込まれていません。)引数はbuffer-flush-startと同じです。サーバプロセスによるダーティバッファの書き出し開始を捕捉するプローブ。(もしこれが頻発するようでしたら、shared_buffersが少な過ぎるか、バックグラウンドライタ制御のパラメータの調節が必要なことを意味します。)arg0とarg1はそのページのフォーク番号とブロック番号です。arg2、arg3、arg4は対象のリレーションを識別するテーブル空間、データベース、そしてリレーションのOIDです。ダーティバッファの書き出しの終了を捕捉するプローブです。引数はbuffer-write-dirty-startと同じです。WALバッファ領域の不足によるサーバプロセスのダーティなWALバッファを書き出しを捕捉するプローブ。(もしこれが頻発するようでしたら、wal_buffersが小さすぎることを意味します。ダーティなWALバッファの書き出し終了を捕捉するプローブ。WALレコードの挿入を捕捉するプローブ。arg0はレコードのリソースマネージャ(rmid)です。arg1は情報フラグです。WALセグメントのスイッチ要求を捕捉するプローブです。リレーションからのブロック読み込みの開始を捕捉するプローブ。arg0とarg1はそのページのフォーク番号とブロック番号です。arg2、arg3、arg4は対象のリレーションを識別するテーブル空間、データベース、そしてリレーションのOIDです。arg5は一時テーブルをローカルバッファに作成していればそのバックエンドのIDであり、無効なバックエンドID(-1)であれは共有バッファを指します。ブロックの読み込み終了を捕捉するプローブ。arg0とarg1はそのページのフォーク番号とブロック番号です。arg2、arg3、arg4は対象のリレーションを識別するテーブル空間、データベース、そしてリレーションのOIDです。arg5は一時テーブルをローカルバッファに作成していればそのバックエンドのIDであり、無効なバックエンドID(-1)であれは共有バッファを指します。arg6は実際に読み込んだバイト数、arg7はリクエストされた読み込みバイト数です(もし、これらに差異があった場合、何らかの問題があることを示します)。リレーションへのブロック書き出しの開始を捕捉するプローブ。arg0とarg1はそのページのフォーク番号とブロック番号です。arg2、arg3、arg4は対象のリレーションを識別するテーブル空間、データベース、そしてリレーションのOIDです。arg5は一時テーブルをローカルバッファに作成していればそのバックエンドのIDであり、無効なバックエンドID(-1)であれは共有バッファを指します。ブロックの書き出し終了を捕捉するプローブ。arg0とarg1はそのページのフォーク番号とブロック番号です。arg2、arg3、arg4は対象のリレーションを識別するテーブル空間、データベース、そしてリレーションのOIDです。arg5は一時テーブルをローカルバッファに作成していればそのバックエンドのIDであり、無効なバックエンドID(-1)であれは共有バッファを指します。arg6は実際に書き出したバイト数、arg7はリクエストされた書き出しバイト数です(もし、これらに差異があった場合、何らかの問題があることを示します)。ソート処理の開始を捕捉するプローブ。arg0は対象データがヒープ、インデックス、またはdatumのどれかを示します。arg1はtrueならば一意性を必要としていることを示します。arg2はカラムのキー数です。arg3は許容されている作業メモリ(work_mem)のキロバイト数です。arg4はtrueならばソート結果に対するランダムアクセスが要求されていることを示します。ソート処理の終了を捕捉するプローブ。arg0はtrueならば外部ソート、falseは内部ソートを示します。arg1は外部ソートで使用されたディスクブロック数、もしくは内部ソートで使用されたメモリーのキロバイト数を示します。LWLock(軽量ロック)の取得を捕捉するプローブ。arg0は軽量ロックのIDを示します。arg1は要求されたロックモード(排他、もしくは共有)を示します。軽量ロックの開放を捕捉するプローブ(ただし、開放待ちのプロセスはまだこのロックを取得できないことに注意して下さい)。arg0は軽量ロックのIDを示します。軽量ロックを即座に取得できなかったため、サーバプロセスがロックを利用できるまでロック待機状態になった際の開始を捕捉するプローブ。arg0は軽量ロックのIDを示します。arg1は要求されたロックモード(排他、もしくは共有)を示します。サーバプロセスの軽量ロック待機の開放を捕捉するプローブ(実際にはまだロックは取得していません)。arg0は軽量ロックのIDを示します。arg1は要求されたロックモード(排他、もしくは共有)を示します。呼び出し元が待機しないことを指定した際の、軽量ロックの獲得成功を捕捉するプローブ。arg0は軽量ロックのIDを示します。arg1は要求されたロックモード(排他、もしくは共有)を示します。呼び出し元が待機しないことを指定した際の、軽量ロックの獲得失敗を捕捉するプローブ。arg0は軽量ロックのIDを示します。arg1は要求されたロックモード(排他、もしくは共有)を示します。lock)を即座に取得できなかったため、サーバプロセスがロックを利用できるまでロック待ち状態になった際の開始を捕捉するプローブ。arg0からarg3はロックされたオブジェクトの識別用タグ領域です。arg4はロックされたオブジェクトのタイプを示します。arg5は要求されたロックの種類を示します。lock)要求の待機終了を捕捉するプローブ(つまりロックを取得した)。引数はlock-wait-startと同じです。デッドロック検知器によるデッドロックの発見を捕捉するプローブ。以下の例では、システムにおけるトランザクション数を解析するDTraceスクリプトを示します。性能試験前後でpg_stat_databaseのスナップショットを取ることで代替可能です。self->ts=0;}実行すると、例のDスクリプトは以下のような出力をします。基本となる追跡ポイントの互換性はありますが、SystemTapはDTraceと異なる追跡スクリプトの表記を用います。表記に関して特に注意すべき点として、SystemTapでは参照する追跡ポイント名のハイフンの代わりに二重のアンダースコアを用いる必要があります。これは将来的なSystemTapのリリースで修正されることを期待しています。DTraceスクリプトの作成には注意が必要であり、デバッグが必要であることは忘れないでください。ないと、収集される追跡情報の意味がなくなるかもしれません。ほとんどの場合、見つかる問題はシステムではなく使用方法の間違いです。動的追跡を使用して見つかった情報に関して議論を行う際には、スクリプトの検査や議論もできるようにスクリプトも含めるようにしてください。projectにあります。開発者が望めばコード内に新しくプローブを定義することができます。これには再コンパイルが必要です。下記は、新規プローブの定義の手順です。これはトランザクションIDを用いて新規トランザクションを追跡するプローブ追加の仕方の例です。transaction__start(LocalTransactionId);プローブ名に二重のアンダースコアを使用する場合は注意して下さい。DTraceスクリプトでプローブを用いる場合、二重のアンダースコアをハイフンに置き換える必要があります。そのため、transaction-startがユーザ向けの文書に記載される名前となります。コンパイル時に、transaction__startはTRACE_POSTGRESQL_TRANSACTION_STARTと呼ばれるマクロに変換されます(ここではアンダースコアはひとつになります)。このマクロは、pg_trace.hをインクルードすることにより使用可能となります。このマクロをソースコード中の適切な箇所へ追加していきます。この場合、以下の様になります。TRACE_POSTGRESQL_TRANSACTION_START(vxid.localTransactionId);再コンパイル後に新しいバイナリでサーバを起動し、下記の様なDTraceコマンドの実行により新たに追加したプローブが利用可能なチェックします。transaction-startCのソースコードに追跡用のマクロを追加する際、いくつかの注意点があります:プローブの引数に指定したデータ型がマクロで使用される変数のデータ型と一致するよう注意しなければなりません。なければ、コンパイル時にエラーとなるでしょう。ほとんどのプラットホームでは、もしPostgreSQLが--enable-dtrace付きでビルドされた場合、何の追跡がされなかったとしても、制御がマクロを通過する際はいつでも追跡用マクロの引数が評価されます。少数のローカルな変数を報告するような場合はそれほど心配はいりません。追加した高価な関数が引数を呼ぶような場合は注意して下さい。TRACE_POSTGRESQL_TRANSACTION_START(some_function(...));各追跡マクロは対応するENABLEDマクロを持っています。