C# 執行緒同步機制全景圖：從 volatile 到 WaitHandle 的原理與選型指南

前言

.NET 提供豐富的同步原語，各有適用場景與效能特性。本文系統整理 10 大同步機制的實作原理、適用條件與選型建議，協助開發者在正確性與效能間取得平衡。

一、輕量級使用者模式同步

二、核心物件同步

三、進階與特殊用途

• SpinLock / SpinWait：忙碌等待，適用極短臨界區（< 100 週期）且多核環境；單核下無意義。
• ReaderWriterLockSlim：讀寫鎖，多讀單寫，適合「讀多寫少」資料結構（快取、字典）。
• [Synchronization] / [MethodImpl(MethodImplOptions.Synchronized)]：屬性式同步，本質為 lock(this)，不建議用於公開 API。
• WaitHandle.WaitAll / WaitAny：多重等待，底層 WaitForMultipleObjects，WaitAll 需 COM 單一執行緒套房 (STA) 支援，效能較差，慎用。

四、選型決策樹

1. 是否跨進程？ → Mutex / 命名 Semaphore / EventWaitHandle
2. 是否單一變數旗標/計數？ → volatile (唯讀可見) / Interlocked (原子寫入)
3. 是否讀多寫少？ → ReaderWriterLockSlim
4. 是否極短臨界區且高爭用？ → SpinLock (結構體，需 try/finally 釋放)
5. 一般臨界區保護？ → lock (首選)
6. 執行緒協調/通知？ → AutoResetEvent / ManualResetEventSlim / SemaphoreSlim
7. 非同步等待？ → Task / SemaphoreSlim.WaitAsync / AsyncLock (社群套件)

五、最佳實務提醒

• 鎖定專用私有物件：private readonly object _lock = new object();
• 臨界區保持最小，避免在 lock 內呼叫外部虛擬方法/委派。
• 避免巢狀鎖導致死結；若必要，固定獲取順序。
• 使用 Monitor.TryEnter(timeout) 防止無限期阻塞。
• 釋放 Mutex/Semaphore 時捕獲 ApplicationException (擁有權錯誤)。