`_resetstkoflw`

[アーティクル]
04/03/2023

スタックオーバーフローから復元します。

重要

この API は、Windows ランタイムで実行するアプリケーションでは使用できません。詳細については、「ユニバーサル Windows プラットフォームアプリでサポートされていない CRT 関数」を参照してください。

構文

int _resetstkoflw( void );

戻り値

関数が成功した場合は 0 以外、失敗した場合は 0。

解説

_resetstkoflw 関数は、スタックオーバーフローが発生した状態からプログラムを回復させ、実行中の操作を致命的な例外エラーが発生したとして失敗させるのではなく、続行できるようにします。 _resetstkoflw 関数が呼び出されないと、前回の例外の後にガードページは作成されません。次にスタックオーバーフローが発生したときに例外は発生しないので、プロセスは警告なしで終了します。

アプリケーションのスレッドにより EXCEPTION_STACK_OVERFLOW の例外が発生した場合、そのスレッドによってスタックは破損したままの状態になります。この例外は、スタックが破損していない、またはEXCEPTION_INT_DIVIDE_BY_ZERO破損していない他EXCEPTION_ACCESS_VIOLATIONの例外とは異なります。プログラムが最初に読み込まれたときには、スタックには小さい値が設定されます。その後、スタックはスレッドのニーズに対応して必要に応じて大きくなります。オンデマンド拡張は、現在のスタックの末尾にアクセス権を持つ PAGE_GUARD ページを配置することによって実装されます。詳細については、「ガードページの作成」を参照してください。

コードによってスタックポインターがこのページのアドレスをポイントすると、例外が発生し、システムは次の 3 つのことを実行します。

スレッドがメモリに PAGE_GUARD データを読み書きできるように、ガードページの保護を削除します。
最後のページの下のページにある新しいガードページを割り当てます。
例外を発生させた命令を再実行します。

この方法では、システムがスレッドに対するスタックサイズを自動的にインクリメントできます。プロセスの各スレッドには最大スタックサイズがあります。スタックサイズは、コンパイル時 /STACK に (スタック割り当て) オプションまたはプロジェクトの STACKSIZE ファイル内の .def ステートメントによって設定されます。

この最大スタックサイズを超えると、システムは次の 3 つのことを実行します。

前述のようにガードページの PAGE_GUARD の保護を削除します。
最後のページの下に新しいガードページの割り当てを試みます。ただし、最大スタックサイズを超えたため、割り当てが失敗します。
例外を発生させて、スレッドが例外ブロックで処理できるようにします。

その時点ではスタックにガードページはありません。プログラムが次にスタックの末尾を超えて書き込む場所にスタックを拡張すると、アクセス違反が発生します。

_resetstkoflw を呼び出して、スタックオーバーフロー例外の後で回復が行われるたびにガードページを復元します。この関数は、__except ブロックのメイン部分の内側から、または __except ブロックの外側から呼び出すことができます。ただし、使用する必要がある場合には、いくつかの制限があります。 _resetstkoflw は、次の場所から呼び出す必要があります。

フィルター式。
フィルター関数。
フィルター関数から呼び出される関数。
A catch ブロック。
A __finally ブロック。

これらの時点では、スタックは完全にはアンワインドされていません。

スタックオーバーフロー例外は構造化例外として (C++ 例外ではない) 生成されます。そのため、_resetstkoflw が通常の catch ブロックで役に立たなくなります。これはスタックオーバーフロー例外をキャッチできないためです。ただし、_set_se_translator を使用して C++ 例外をスローする構造化例外の変換を実装すると (2 番目の例のように)、スタックオーバーフロー例外によって C ++ 例外が発生します。これは C++ の catch ブロックで処理できます。

構造化例外変換関数によってスローされる例外から到達した C ++ catch ブロックでの _resetstkoflw の呼び出しは安全ではありません。この場合、catch ブロックの前で消滅させられるオブジェクトに対してデストラクターが呼び出された場合でも、catch ブロックの外部に出るまでスタック領域は解放されず、スタックポインターはリセットされません。この関数は、スタック領域が解放され、スタックポインターがリセットされるまで呼び出さないようにする必要があります。したがって、catch ブロックが終了した後でのみ呼び出すようにします。できるだけ少ないスタック領域を catch ブロックで使用する必要があります。 catch ブロック内で発生したスタックオーバーフロー自体が以前のスタックオーバーフローから復旧しようとしている場合は、復旧できません。 catch ブロック内のオーバーフローによって、同じ catch ブロックによってそれ自体が処理される例外がトリガーされるため、プログラムが応答を停止する可能性があります。

_resetstkoflw が __except ブロック内などの適切な位置で使用されていても、エラーになる場合があります。スタックをアンワインドした後でも、スタックの最後のページに書き込まずに実行 _resetstkoflw できる十分なスタック領域が残っていない可能性があります。その後、 _resetstkoflw スタックの最後のページをガードページとしてリセットできず、エラーを示す 0 が返されます。この関数を安全に使用するには、スタックを使用しても安全であると想定するのではなく、戻り値をチェックする必要があります。

アプリケーションが /clr をしてコンパイルされている場合、構造化例外処理では STATUS_STACK_OVERFLOW 例外をキャッチしません (「/clr (共通言語ランタイムのコンパイル)」を参照)。

既定では、この関数のグローバル状態の適用対象は、アプリケーションになります。この動作を変更するには、「CRT のグローバル状態」を参照してください。

必要条件

ルーチンによって返される値	必須ヘッダー
`_resetstkoflw`	<malloc.h>

互換性の詳細については、「 Compatibility」を参照してください。

ライブラリ: CRT ライブラリ機能のすべてのバージョン。

例

_resetstkoflw 関数の推奨する使用例を次に示します。

// crt_resetstkoflw.c
// Launch program with and without arguments to observe
// the difference made by calling _resetstkoflw.

#include <malloc.h>
#include <stdio.h>
#include <windows.h>

void recursive(int recurse)
{
   _alloca(2000);
   if (recurse)
      recursive(recurse);
}

// Filter for the stack overflow exception.
// This function traps the stack overflow exception, but passes
// all other exceptions through.
int stack_overflow_exception_filter(int exception_code)
{
   if (exception_code == EXCEPTION_STACK_OVERFLOW)
   {
       // Do not call _resetstkoflw here, because
       // at this point, the stack isn't yet unwound.
       // Instead, signal that the handler (the __except block)
       // is to be executed.
       return EXCEPTION_EXECUTE_HANDLER;
   }
   else
       return EXCEPTION_CONTINUE_SEARCH;
}

int main(int ac)
{
   int i = 0;
   int recurse = 1, result = 0;

   for (i = 0 ; i < 10 ; i++)
   {
      printf("loop #%d\n", i + 1);
      __try
      {
         recursive(recurse);

      }

      __except(stack_overflow_exception_filter(GetExceptionCode()))
      {
         // Here, it is safe to reset the stack.

         if (ac >= 2)
         {
            puts("resetting stack overflow");
            result = _resetstkoflw();
         }
      }

      // Terminate if _resetstkoflw failed (returned 0)
      if (!result)
         return 3;
   }

   return 0;
}

プログラム引数がないサンプル出力:

loop #1

プログラムはこれ以上のイテレーションを実行せずに応答を停止します。

プログラムの引数があります:

loop #1
resetting stack overflow
loop #2
resetting stack overflow
loop #3
resetting stack overflow
loop #4
resetting stack overflow
loop #5
resetting stack overflow
loop #6
resetting stack overflow
loop #7
resetting stack overflow
loop #8
resetting stack overflow
loop #9
resetting stack overflow
loop #10
resetting stack overflow

説明

構造化例外が C++ 例外に変換されるプログラムにおける _resetstkoflw の推奨される使用法を次に示します。

コード

// crt_resetstkoflw2.cpp
// compile with: /EHa
// _set_se_translator requires the use of /EHa
#include <malloc.h>
#include <stdio.h>
#include <windows.h>
#include <eh.h>

class Exception { };

class StackOverflowException : Exception { };

// Because the overflow is deliberate, disable the warning that
// this function will cause a stack overflow.
#pragma warning (disable: 4717)
void CauseStackOverflow (int i)
{
    // Overflow the stack by allocating a large stack-based array
    // in a recursive function.
    int a[10000];
    printf("%d ", i);
    CauseStackOverflow (i + 1);
}

void __cdecl SEHTranslator (unsigned int code, _EXCEPTION_POINTERS*)
{
    // For stack overflow exceptions, throw our own C++
    // exception object.
    // For all other exceptions, throw a generic exception object.
    // Use minimal stack space in this function.
    // Do not call _resetstkoflw in this function.

    if (code == EXCEPTION_STACK_OVERFLOW)
        throw StackOverflowException ( );
    else
        throw Exception( );
}

int main ( )
{
    bool stack_reset = false;
    bool result = false;

    // Set up a function to handle all structured exceptions,
    // including stack overflow exceptions.
    _set_se_translator (SEHTranslator);

    try
    {
        CauseStackOverflow (0);
    }
    catch (StackOverflowException except)
    {
        // Use minimal stack space here.
        // Do not call _resetstkoflw here.
        printf("\nStack overflow!\n");
        stack_reset = true;
    }
    catch (Exception except)
    {
        // Do not call _resetstkoflw here.
        printf("\nUnknown Exception!\n");
    }
    if (stack_reset)
    {
        result = _resetstkoflw();
        // If stack reset failed, terminate the application.
        if (result == 0)
            exit(1);
    }

    void* pv = _alloca(100000);
    printf("Recovered from stack overflow and allocated 100,000 bytes"
           " using _alloca.");

    return 0;
}

0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
Stack overflow!
Recovered from stack overflow and allocated 100,000 bytes using _alloca.

`_resetstkoflw`

構文

戻り値

解説

必要条件

例

説明

コード

関連項目

フィードバック

フィードバック

その他のリソース