-9

GCC はスタックがオーバーフローしないことをどのように保証しますか? 特に暗黙的に定義されている場合、サイズが保持できる最大値よりも小さいことを確認し、それに応じてユーザーにプロンプ​​トを表示するべきではありませんか?これは優れたプログラミング パラダイムではないでしょうか?

4

2 に答える 2

8

そうではありません。十分に深く再帰する、オーバーフローが発生し、コンパイラがそれに対してできることは何もありません。


編集:私がこの質問に答えた時点で、質問は単に次のように書かれていることを指摘しておく必要があります。

「GCC はスタックがオーバーフローしないことをどのように保証しますか?」

于 2013-01-28T13:13:23.420 に答える
1

Linuxは「ガードエリア」を使用します。各スレッドのスタックの最後に1つ以上のアクセス保護ページを配置します。

プログラムがガードエリアにアクセスすると、OSが障害を処理します。スレッドがすでに最大許容スタックを使用している場合は、何かを終了します(スレッドまたはプロセス全体、どちらかは覚えていません)。それ以外の場合は、スタックとして使用するためにガード領域が占めるアドレスにメモリをマップしようとし、新しく拡大されたスタックの終わりを超えて新しい領域を保護します。

ユーザーにプロンプ​​トを表示することは、多くのプロセスがユーザーによって監視されていないLinuxのようなOSにはあまり適していません。さらに言えば、問題が発生したときにログインしているユーザーがいない可能性があります。したがって、プロセスは失敗します。これは万能コンパイラであるため、gccは実行時のユーザーインタラクションも試行しません。

他のOSおよびプラットフォームには、スタックガードページがある場合とない場合があります(Windowsにはあります)。gccが実際に行う必要があるのは、スタックを超えた場合に、ずっと前にジャンプしてガードページを「見逃さない」ようにすることです。

于 2013-01-28T13:45:47.137 に答える