4

バックグラウンド

私たちは、Joe Duffy の「Windows での並行プログラミング」(149 ページ) からそのままコピーしたコードを、1 年以上実稼働環境で使用してきました。コード (以下) は、Asp.Net Web アプリケーションで使用され、十分なスタック領域があるかどうかを調べます。私たちのサイトでは、ユーザーが自分の Web ページをスクリプト化し、単純な独自のスクリプト言語でロジックを制御することができます。ユーザーが何か厄介なスクリプトを作成して、stackoverflow 例外を引き起こす可能性があるため、Duffy のコード例を使用して、誤ったスクリプトの実行を停止する前にキャッチできない StackOverflow 例外により、IIS AppPool 全体がダウンします。これは非常にうまく機能しています。

問題

今日の午後、突然ログが System.OverflowException エラーでいっぱいになりました。そのサーバーへのすべてのリクエストで同じ例外が発生しました。IIS をすばやくリセットすると、問題が解決しました。

例外の種類: System.OverflowException

例外メッセージ: 算術演算でオーバーフローが発生しました。

スタック トレース: C:\SVN\LiquidHtml\Trunk\LiquidHtmlFlowManager\StackManagement.cs:line 47 の LiquidHtmlFlowManager.StackManagement.CheckForSufficientStack(UInt64 バイト) の System.IntPtr..ctor(Int64 値)

コード：

public static class StackManagement
{
    [StructLayout(LayoutKind.Sequential)]
    struct MEMORY_BASIC_INFORMATION
    {
        public uint BaseAddress;
        public uint AllocationBase;
        public uint AllocationProtect;
        public uint RegionSize;
        public uint State;
        public uint Protect;
        public uint Type;
    };

    //We are conservative here. We assume that the platform needs a 
    //whole 16 pages to respond to stack overflow (using an X86/X64
    //page-size, not IA64). That's 64KB, which means that for very
    //small stacks (e.g. 128kb) we'll fail a lot of stack checks (say in asp.net)
    //incorrectly.
    private const long STACK_RESERVED_SPACE = 4096 * 16;

    /// <summary>
    /// Checks to see if there is at least "bytes" bytes free on the stack.
    /// </summary>
    /// <param name="bytes">Number of Free bytes in stack we need.</param>
    /// <returns>If true then there is suffient space.</returns>
    public unsafe static bool CheckForSufficientStack(ulong bytes)
    {
        MEMORY_BASIC_INFORMATION stackInfo = new MEMORY_BASIC_INFORMATION();
        //We subtract one page for our request. VirtualQuery rounds up
        //to the next page. But the stack grows down. If we're on the 
        //first page (last page in the VirtualAlloc), we'll be moved to
        //the next page which is off the stack! Note this doesn't work
        //right for IA64 due to bigger pages.
        IntPtr currentAddr = new IntPtr((uint)&stackInfo - 4096);

        //Query for the current stack allocation information.
        VirtualQuery(currentAddr, ref stackInfo, sizeof(MEMORY_BASIC_INFORMATION));

        //If the current address minus the base (remember: the stack
        //grows downward in the address space) is greater than the 
        //number of bytes requested plus the unreserved space at the end,
        //the request has succeeded.
        System.Diagnostics.Debug.WriteLine(String.Format("CurrentAddr = {0}, stackInfo.AllocationBase = {1}. Space left = {2} bytes.", (uint)currentAddr.ToInt64(),
            stackInfo.AllocationBase,
            ((uint)currentAddr.ToInt64() - stackInfo.AllocationBase)));

        return ((uint)currentAddr.ToInt64() - stackInfo.AllocationBase) > (bytes + STACK_RESERVED_SPACE);
    }

    [DllImport("kernel32.dll")]
    private static extern int VirtualQuery(IntPtr lpAddress, ref MEMORY_BASIC_INFORMATION lpBuffer, int dwLength);
}

注：47行目はこれです

IntPtr currentAddr = new IntPtr((uint)&stackInfo - 4096);

質問：

コードのどの部分がオーバーフローしますか?ポインタから uint へのキャスト、「- 4096」操作、または Int64 へのキャストですか?

これをより堅牢にする方法はありますか？

いくつかの詳細情報:

OS は 64 ビット Windows Server 2008 で、Intel Zeon (x86) CPU で IIS7 を実行しています。

CheckForSufficientStack 関数に渡されるパラメーターは次のとおりです。

private const Int32 _minimumStackSpaceLimit = 48 * 1024;

編集：答えてくれてありがとう。コードを更新して、キャストを削除し、ポインター サイズの変数を使用して、32 ビットと 64 ビットの両方で動作するようにしました。ここに他の誰かがそれを望むべきです：

public static class StackManagement
    {
        [StructLayout(LayoutKind.Sequential)]
        struct MEMORY_BASIC_INFORMATION
        {
            public UIntPtr BaseAddress;
            public UIntPtr AllocationBase;
            public uint AllocationProtect;
            public UIntPtr RegionSize;
            public uint State;
            public uint Protect;
            public uint Type;
        };

        private const long STACK_RESERVED_SPACE = 4096 * 16;

        public unsafe static bool CheckForSufficientStack(UInt64 bytes)
        {
            MEMORY_BASIC_INFORMATION stackInfo = new MEMORY_BASIC_INFORMATION();
            UIntPtr currentAddr = new UIntPtr(&stackInfo);
            VirtualQuery(currentAddr, ref stackInfo, sizeof(MEMORY_BASIC_INFORMATION));

            UInt64 stackBytesLeft = currentAddr.ToUInt64() - stackInfo.AllocationBase.ToUInt64();

            System.Diagnostics.Debug.WriteLine(String.Format("CurrentAddr = {0}, stackInfo.AllocationBase = {1}. Space left = {2} bytes.", 
                currentAddr,
                stackInfo.AllocationBase,
                stackBytesLeft));

            return stackBytesLeft > (bytes + STACK_RESERVED_SPACE);
        }

        [DllImport("kernel32.dll")]
        private static extern int VirtualQuery(UIntPtr lpAddress, ref MEMORY_BASIC_INFORMATION lpBuffer, int dwLength);
    }
4

1 に答える 1

6

キャストが間違っています。stackinfoのアドレスは64ビット値です。OverflowExceptionのリスクを冒さずに、それをuintにキャストすることはできません。4096を引くことにも意味はありません。とにかく、VirtualQuery（）はベースアドレスを見つけます。修理：

 IntPtr currentAddr = new IntPtr(&stackInfo);

Duffyのコードは、32ビットコードでのみ機能します。

于 2011-03-14T19:37:16.433 に答える