WCF 事務管理深度實踐：狀態一致性、錯誤恢復與 TransactionalBehavior

分佈式系統中，錯誤恢復是核心難題。WCF 通過事務將一組操作綁定為原子單元：要么全成功，要么全回滾。本文系統講解 WCF 事務編程模型，從單調用到會話服務，再到創新的 TransactionalBehavior 與 InProcFactory，實現無感知事務狀態管理。

核心概念：事務與資源管理器

• 事務：操作集合，任一失敗整體回滾（ACID）。
• 資源管理器（RM）：支援事務的存儲（SQL Server、MSMQ、Transactional<T> 易失性 RM）。
• 隔離性：RM 保證併發事務互不干擾。

狀態管理難題：內存狀態不自動回滾

RM 自動管理持久狀態，但服務實例內存字段（m_Counter）不在 RM 管轄內。解決方案：服務感知事務邊界，主動在方法邊界讀/寫 RM。

單調用服務：實例不保留狀態

• InstanceContextMode.PerCall，每調用新建實例。
• 狀態存於靜態 TransactionalDictionary<string, int>（易失性 RM），鍵為 instanceId。
• 客戶端需傳遞 instanceId，調用 RemoveCounter 清理。

會話服務 + VRM：Transactional<T> 成員變量

• ReleaseServiceInstanceOnTransactionComplete = false 保留實例。
• 字段聲明為 Transactional<string>、TransactionalArray<int>，自動參與環境事務。
• 編程模型如同普通屬性賦值，提交/回滾透明發生。

持久服務 + SaveStateInOperationTransaction

• [DurableService(SaveStateInOperationTransaction = true)] 讓狀態存儲參與操作事務。
• 需所有操作 TransactionScopeRequired = true。

創新：TransactionalBehavior 屬性 —— 一站式事務化

自定義 IServiceBehavior，自動為服務注入：

1. DurableService（SaveStateInOperationTransaction=true）。
2. 持久化提供程序：TransactionalInstanceProviderFactory（會話級）或 TransactionalMemoryProviderFactory（全局共享）。
3. 所有操作強制 TransactionScopeRequired = true（可配置關閉）。

服務代碼極簡：

[Serializable]
[TransactionalBehavior]
class MyService : IMyCounter
{
    int m_Counter = 0; // 普通字段！
    public void Increment() { m_Counter++; Trace.WriteLine(m_Counter); }
}

客戶端僅需使用支援上下文的綁定（如 wsHttpContextBinding、netNamedPipeContextBinding）。

補齊短板：NetNamedPipeContextBinding

WCF 內建綁定缺少 Named Pipe 上下文支援。繼承 NetNamedPipeBinding，在 CreateBindingElements 插入 ContextBindingElement 即可。

極致簡化：InProcFactory —— 進程內無配置 WCF

• 靜態工廠管理 ServiceHost 字典，基址含 GUID 隔離多域。
• 內部使用 NetNamedPipeContextBinding + 事務流。
• 調用如同普通對象：

IMyCounter proxy = InProcFactory.CreateInstance<MyService, IMyCounter>();
using (var scope = new TransactionScope())
{
    proxy.Increment(); scope.Complete();
}
// 事務回滾自動生效，編程模型零感知

總結

從手動狀態管理 → VRM → TransactionalBehavior → InProcFactory，WCF 事務編程逐步向「普通對象透明事務化」演進，預示著未來事務性內存的到來。