.NET にゾンビは存在するのか? 質問する

Question

ここで説明したものよりも明確な「ゾンビスレッド」の定義はありますか?

私にとっては、これはかなり良い説明のように思えます。スレッドは終了した（したがって、リソースを解放できなくなった）が、そのリソース（ハンドルなど）はまだ存在しており、（潜在的に）問題を引き起こしているのです。

.NET でゾンビスレッドが発生する可能性はありますか? (理由は何ですか?)
該当する場合、.NET でゾンビスレッドを強制的に作成するにはどうすればよいですか?

確かにそうですよ、見てよ、私が作ったのよ！

[DllImport("kernel32.dll")]
private static extern void ExitThread(uint dwExitCode);

static void Main(string[] args)
{
    new Thread(Target).Start();
    Console.ReadLine();
}

private static void Target()
{
    using (var file = File.Open("test.txt", FileMode.OpenOrCreate))
    {
        ExitThread(0);
    }
}

Targetこのプログラムは、ファイルを開いてすぐに自分自身を終了させるスレッドを開始します。ExitThread. 結果として生じるゾンビスレッドは "test.txt" ファイルへのハンドルを解放しないため、プログラムは終了するまでファイルは開いたままになります (プロセスエクスプローラーなどで確認できます)。 "test.txt" へのハンドルはが呼び出されるまで解放されませんGC.Collect。ハンドルをリークするゾンビスレッドを作成するのは、思ったよりも難しいことがわかりました)

該当する場合、.NET でゾンビスレッドシナリオのリスクを冒さずにロックを活用するにはどうすればよいでしょうか。

私が今やったことと同じことをしないでください!

コードが適切にクリーンアップされていれば（安全なハンドルまたは、アンマネージリソースで作業している場合は同等のクラス) を使用し、奇妙で素晴らしい方法でスレッドを強制終了しない限り (最も安全な方法は、スレッドを強制終了しないことです。スレッドが通常どおりに終了するか、必要に応じて例外を介して終了するようにします)、ゾンビスレッドに似たものが発生する唯一の方法は、何かが非常にうまくいかない場合 (たとえば、CLR で何かがうまくいかない場合) です。

実際のところ、ゾンビスレッドを作成するのは驚くほど困難です (ドキュメントで基本的に C の外部で呼び出さないように指示されている関数に P/Invoke する必要がありました)。たとえば、次の (ひどい) コードは実際にはゾンビスレッドを作成しません。

static void Main(string[] args)
{
    var thread = new Thread(Target);
    thread.Start();
    // Ugh, never call Abort...
    thread.Abort();
    Console.ReadLine();
}

private static void Target()
{
    // Ouch, open file which isn't closed...
    var file = File.Open("test.txt", FileMode.OpenOrCreate);
    while (true)
    {
        Thread.Sleep(1);
    }
    GC.KeepAlive(file);
}

かなりひどい間違いを犯しているにもかかわらず、「test.txt」へのハンドルは呼び出されるとすぐに閉じられます（裏ではAbortファイナライザの一部としてfileセーフファイルハンドルファイルハンドルをラップする)

ロックの例C.Evenhuisの回答これはおそらく、スレッドが異常でない方法で終了したときにリソース (この場合はロック) を解放できない最も簡単な方法ですが、lock代わりにステートメントを使用するか、解放をfinallyブロック内に配置すると簡単に修正できます。

参照

C# IL コード生成の微妙な点キーワードを使用していても例外によってロックが解除されない可能性がある非常に微妙なケースlock(ただし、.Net 3.5 以前のみ)
ロックと例外は混在しない

Answer 1

ここで説明したものよりも明確な「ゾンビスレッド」の定義はありますか?