为何Task未释放Mutex后无法捕获AbandonedMutexException？

我原本期望在未释放Mutex的Task执行完成后触发AbandonedMutexException，但调用WaitOne时程序陷入永久等待；然而用Thread执行同样未释放Mutex的逻辑，却能成功捕获该异常。请问造成这种差异的原因是什么？Task难道不是Thread的包装吗？

Task示例（陷入永久等待） #

Mutex mutex = new();

BankAccount account = new();

var task = Task.Run(() =>
{
    bool locked = false;
    try
    {
        locked = mutex.WaitOne();
        if (locked) account.Deposit(100);
    }
    finally
    {
        // if (locked) mutex.ReleaseMutex(); 
    }
});

task.Wait();

try
{
    _ = mutex.WaitOne(); // 此处永久等待
}
catch (AbandonedMutexException)
{
    Console.WriteLine($"{nameof(AbandonedMutexException)} was thrown");
}

public class BankAccount
{
    public int Balance { get; private set; }
    public void Deposit(int amount) => Balance += amount;
    public void Withdraw(int amount) => Balance -= amount;
}

Thread示例（成功捕获异常） #

Mutex mutex = new();

BankAccount account = new();

new Thread(() =>
{
    bool locked = false;
    try
    {
        locked = mutex.WaitOne();
        if (locked) account.Deposit(100);
    }
    finally
    {
        // if (locked) mutex.ReleaseMutex(); 
    }
}).Start();

Thread.Sleep(1000);

try
{
    _ = mutex.WaitOne();
}
catch (AbandonedMutexException)
{
    // 成功捕获异常
    Console.WriteLine($"{nameof(AbandonedMutexException)} was thrown");
}

差异原因解析 #

1. Task不是Thread的简单包装
   Task基于.NET线程池实现，而Thread是直接创建的独立操作系统线程，二者的生命周期管理逻辑完全不同。

2. 线程生命周期的核心差异

• Thread场景：当独立Thread执行完逻辑退出后，操作系统会立即清理该线程持有的所有未释放的同步资源，包括Mutex。此时Mutex会被标记为"被遗弃"，后续其他线程调用WaitOne时，操作系统会抛出AbandonedMutexException来提示这个异常状态。
• Task场景：Task.Run会将任务分配给线程池线程执行。线程池线程执行完当前任务后，不会立即终止，而是会被线程池回收，回到空闲队列等待执行下一个任务。这意味着持有Mutex的线程并没有退出，Mutex仍然被该线程持有，只是线程处于空闲状态。此时调用WaitOne会一直等待这个被线程池线程持有的Mutex，自然陷入永久等待，不会触发异常。

只有当线程池因资源收缩等原因销毁了持有Mutex的线程时，才可能触发AbandonedMutexException，但线程池的回收策略是不确定的，所以不会像独立Thread那样必然触发异常。

内容的提问来源于stack exchange，提问作者jamgoo