EBPフレームポインターレジスタの目的は何ですか？

私はアセンブリ言語の初心者ですが、コンパイラーによって生成されたx86コードは、EBP他の何かのためにレジスターを使用できるリリース/最適化モードでも、通常フレームポインターを保持していることに気づきました。

フレームポインターがコードのデバッグを容易にする理由、およびalloca()関数内で呼び出された場合に必要になる理由を理解しています。ただし、x86には非常に少数のレジスターがあり、そのうちの2つを使用してスタックフレームの場所を保持する場合、私には意味がありません。最適化されたリリースやリリースビルドでも、フレームポインターを省略することが悪い考えと見なされるのはなぜですか？

フレームポインターは、ローカル変数または引数が単一の定数オフセットでどこにあるかをデバッガーが知ることができるようにする参照ポインターです。ESPの値は実行中に変化しますが、EBPは同じままなので、同じオフセットで同じ変数に到達することができます（たとえば、最初のパラメーターは常にEBP + 8になりますが、ESPオフセットは、 /物を飛び出る）

コンパイラがフレームポインタを破棄しないのはなぜですか？フレームポインターを使用すると、デバッガーはローカル変数と引数がEBPへの一定のオフセットであることが保証されているため、シンボルテーブルを使用している場所を特定できます。それ以外の場合、ローカル変数がコード内のどこにあるかを簡単に把握する方法はありません。

Gregが述べたように、EBPはスタックフレームの逆リンクリストを提供し、デバッガーが関数のスタックフレーム（ローカル変数+引数）のサイズを把握できるようにするため、デバッガーのスタックの巻き戻しにも役立ちます。

ほとんどのコンパイラは、デバッグを非常に困難にしますが、フレームポインタを省略するオプションを提供します。このオプションは、リリースコードであっても、グローバルに使用しないでください。ユーザーのクラッシュをいつデバッグする必要があるかはわかりません。

ちょうど良い答えに私の2セントを追加するだけです。

スタックフレームのチェーンを持つことは、優れた言語アーキテクチャの一部です。BPは、サブルーチンローカル変数が格納されている現在のフレームを指します。（ローカルは負のオフセットにあり、引数は正のオフセットにあります。）

完全に優れたレジスタが最適化で使用されないようにするという考えは、最適化が実際にいつ、どこで価値があるのか​​という疑問を投げかけます。

最適化は、1）関数を呼び出さない、2）プログラムカウンターがその時間のかなりの部分を費やす、および3）コンパイラーが実際に見るコード（つまり、非ライブラリ関数）でタイトなループでのみ価値があります。これは通常、特に大規模なシステムでは、コード全体のごく一部です。

他のコードは、サイクルを取り除くためにねじったり絞ったりすることができます。プログラムカウンターが実際にはそこにないため、それは単に問題になりません。

あなたはこれを聞かなかったと思いますが、私の経験では、パフォーマンスの問題の99％はコンパイラの最適化とはまったく関係がありません。彼らはオーバーデザインと関係があります。

それは確かにコンパイラに依存します。EBPレジスターを汎用レジスターとして自由に使用するx86コンパイラーによって生成された最適化されたコードを見てきました。（ただし、どのコンパイラで気付いたかは覚えていません。）

コンパイラーは、例外処理中のスタックの巻き戻しを支援するためにEBPレジスターを維持することも選択できますが、これもまた、正確なコンパイラーの実装に依存します。

ただし、x86にはレジスタがほとんどありません

これは、オペコードがアドレス指定できるレジスタは8つだけという意味でのみ当てはまります。プロセッサ自体には実際にはそれよりも多くのレジスタがあり、レジスタの名前変更、パイプライン処理、投機的実行、およびその他のプロセッサの流行語を使用して、その制限を回避します。ウィキペディアには、x86プロセッサーがレジスターの制限を克服するために何ができるかについての適切な紹介段落があります：http : //en.wikipedia.org/wiki/X86#Current_implementations。

スタックフレームを使用することで、遠隔地にあるどのハードウェアでも信じられないほど安価になりました。安価なスタックフレームがある場合、レジスタをいくつか保存することはそれほど重要ではありません。高速スタックフレームとレジスタ数の増加はエンジニアリングのトレードオフであり、高速スタックフレームが勝ったと私は確信しています。

純正レジスターをいくら節約しますか？その価値はありますか？