影の記憶

コンピューティングにおいて、シャドウ メモリは、プログラムの実行中に使用されるコンピュータ メモリの情報を追跡および保存するために使用される手法です。シャドウ メモリは、メイン メモリ内の個々のビットまたは 1 つ以上のバイトにマップされるシャドウ バイトで構成されます。これらのシャドウ バイトは通常、元のプログラムからは見えず、元のデータに関する情報を記録するために使用されます。

この技術は、チェック対象のプログラムに割り当てられたメモリ部分に関する情報を保存できるメモリエラー チェッカーによって利用されます。このシャドウ メモリは、セグメンテーション エラーなどが原因でプログラムがクラッシュしていない場合でも、メモリの不正アクセスを検出して報告するために使用されます。エラー チェッカーは、どのビットが定義されていて、どのビットが定義されていないかなど、メモリに関する追加情報を保存することもあります。Valgrindスイートの一部であるMemcheck は、これを使用して、未定義のメモリ値の操作または印刷によって生じる未定義の動作を検出します。

ただし、シャドウ メモリの使用はメモリ エラー チェッカーに限定されません。シャドウ バイトに格納される情報は固定されていないためです。たとえば、データ競合検出器の ThreadSanitizer によって使用されます。

シャドウ メモリは、さまざまな方法で実装および使用することができ、パフォーマンス特性も異なります。たとえば、Memcheck はビット精度で値を追跡しますが、clangコンパイラの一部であるAddressSanitizer は比較的高速です。Memcheck は、すべての Valgrind ツールと同様に、バイナリ変換とインストルメンテーションを使用して、プログラム メモリの使用に対応するシャドウ メモリを操作するコードを実行します。一方、AddressSanitizer はコンパイル時に作成され、コンパイル中にプログラムにエラー チェック コードをインラインで挿入します。そのシャドウ メモリ実装では、シャドウ メモリ用に仮想メモリを大量に予約するため、パフォーマンス特性が大きく異なります。

• Nethercote, N.; Seward, J. (2007)。「プログラムが使用するメモリのバイトをすべてシャドウする方法」。プログラムが使用するメモリのバイトをすべてシャドウする方法。第 3 回国際仮想実行環境会議 (米国カリフォルニア州サンディエゴ) の議事録。ACMニューヨーク (2007 年 6 月 13 ～ 15 日発行)。65 ～ 74 ページ。CiteSeerX 10.1.1.643.7117。doi :  10.1145 /1254810.1254820。ISBN 9781595936301. S2CID  10263496。 {{cite book}}:|work=無視されました (ヘルプ)
• http://research.google.com/pubs/pub37752.html