分散式事務深度解析 (三)：System.Transactions 依賴事務與 TransactionScope 完整實戰

回顧：可提交事務 vs 依賴事務

• CommittableTransaction：獨立事務根，可 Commit()/Rollback()。
• DependentTransaction：依附現有事務 (根或另一依賴)，**無 Commit**，僅 Complete() 通知完成；若未 Complete 父事務會阻塞或回滾。

DependentTransaction 兩大核心場景

場景一：跨執行緒流動事務 (非同步作業)

Transaction.Current 存於 TLS，新執行緒看不到。解法：主執行緒建立 DependentTransaction 傳給背景執行緒，背景執行緒設為 Transaction.Current。

private static void Transfer(string from, string to, double amount)
{
    var originalTx = Transaction.Current;
    var rootTx = new CommittableTransaction();
    try
    {
        Transaction.Current = rootTx;

        ThreadPool.QueueUserWorkItem(state =>
        {
            var depTx = state as DependentTransaction;
            Transaction.Current = depTx;
            try
            {
                Withdraw(from, amount);
                Deposit(to, amount);
                depTx.Complete(); // 通知父事務此分支完成
            }
            catch (Exception ex)
            {
                Transaction.Current.Rollback(ex);
            }
            finally
            {
                (depTx as IDisposable).Dispose();
                Transaction.Current = null;
            }
        }, rootTx.DependentClone(DependentCloneOption.BlockCommitUntilComplete));
        // BlockCommitUntilComplete：Commit 時等待所有 DependentTransaction.Complete()

        // 其他同步作業...
        rootTx.Commit();
    }
    catch (TransactionAbortedException ex)
    {
        rootTx.Rollback(ex);
    }
    finally
    {
        Transaction.Current = originalTx;
        rootTx.Dispose();
    }
}

DependentCloneOption 選擇指南

場景二：實現「事務型方法」 (Transactional Methods)

目標：方法**有事務則加入，無事務則自建**。

static void InvokeInTransaction(Action action)
{
    var originalTx = Transaction.Current;
    CommittableTransaction rootTx = null;
    DependentTransaction depTx = null;

    if (Transaction.Current == null)
    {
        rootTx = new CommittableTransaction();
        Transaction.Current = rootTx;
    }
    else
    {
        depTx = Transaction.Current.DependentClone(DependentCloneOption.RollbackIfNotComplete);
        Transaction.Current = depTx;
    }

    try
    {
        action(); // 執行業務邏輯
        if (rootTx != null) rootTx.Commit();
        if (depTx != null) depTx.Complete();
    }
    catch (Exception ex)
    {
        Transaction.Current.Rollback(ex);
        throw;
    }
    finally
    {
        var tx = Transaction.Current;
        Transaction.Current = originalTx;
        tx.Dispose();
    }
}

// 使用：Withdraw/Deposit 變成事務型方法
static void Withdraw(string id, double amt) => InvokeInTransaction(() => Db.Execute("P_WITHDRAW", id, amt));
static void Deposit(string id, double amt) => InvokeInTransaction(() => Db.Execute("P_DEPOSIT", id, amt));

TransactionScope：事務編程的「瑞士刀」

上述 InvokeInTransaction 正是 TransactionScope 內部邏輯的簡化版。**實務上 95% 場景直接用 TransactionScope**。

基本用法

using (var scope = new TransactionScope())
{
    Withdraw("A", 100);
    Deposit("B", 100);
    scope.Complete(); // 標記成功，Dispose 時 Commit
} // Dispose 時自動 Commit/Rollback、還原 Transaction.Current

建構函數參數深度解析

TransactionScopeOption 三種模式對比

隔離級別陷阱：巢狀 Required 必須一致

using (var outer = new TransactionScope()) // 預設 IsolationLevel.Serializable
{
    var opts = new TransactionOptions { IsolationLevel = IsolationLevel.ReadCommitted };
    using (var inner = new TransactionScope(TransactionScopeOption.Required, opts))
    {
        // ArgumentException: 衝突的隔離級別
    }
}

規則：Required 內層指定的 IsolationLevel **必須等於** 外層實際級別。建議：最外層統一指定，內層不再覆寫。

EnterpriseServicesInteropOption：COM+ 互操作

Complete() 與 Dispose() 生命週期

• Complete() 只是設定內部旗標 _complete = true，**不立即 Commit**。
• Dispose() 時：_complete 為 true → Commit() (或 DependentTx.Complete())；false → Rollback()。
• Complete() 後至 Dispose() 前，**無法存取 Transaction.Current** (拋 InvalidOperationException)。

最佳實踐總結

1. 預設用 TransactionScope，簡潔、正確、可巢狀。
2. 跨執行緒非同步 才手動用 DependentClone(BlockCommitUntilComplete)。
3. 獨立子事務 (日誌、審計) 用 TransactionScopeOption.RequiresNew。
4. 非關鍵/唯讀 用 Suppress 避免不必要鎖爭用。
5. 隔離級別 在最外層 Scope 統一設定，內層 Required 不再覆寫。
6. 異常處理：勿捕捉 TransactionAbortedException 後繼續用同事務；讓它向上傳播觸發 Rollback。
7. 資源管理員 (自訂非受控資源) 繼承 TransactionalOperation 實作 OnCommit/OnAbort。

結語

System.Transactions 提供了統一、可組合的事務抽象：CommittableTransaction 為根，DependentTransaction 為分支，TransactionScope 為語法糖。掌握三者關係與選項語意，即可在分散式系統中自信處理 ACID 事務，避免手動鎖管理的地獄。