多線程編程本質探討：從條件判斷到事件驅動的範式轉換

核心痛點：基於「絕對時間點」的條件判斷

傳統多線程編程習慣：lock → 檢查條件 → 執行操作。這實質是在「某一絕對時間點」採樣狀態，存在固有競態：檢查通過到實際操作間，條件可能已失效。

範式轉換：從條件到事件

• 條件：當前狀態快照（如「隊列計數 > 0」）
• 事件：一定會發生的邏輯事實（如「有產品可消費」）

不應輪詢條件，而應等待事件觸發。核心同步原語：Semaphore（信號量）充當「事件觸發器」。

經典生產者-消費者隊列重構

傳統寫法（醜陋且低效）

public void Push(Item item)
{
    lock(_lock)
    {
        while (queue.Count >= MaxSize) Monitor.Wait(_lock); // 條件等待
        queue.Enqueue(item);
        Monitor.PulseAll(_lock);
    }
}

public Item Pop()
{
    lock(_lock)
    {
        while (queue.Count == 0) Monitor.Wait(_lock); // 條件等待
        var item = queue.Dequeue();
        Monitor.PulseAll(_lock);
        return item;
    }
}

事件驅動寫法（簡潔、正確、高效）

Semaphore _produce = new Semaphore(int.MaxValue, int.MaxValue); // 生產許可
Semaphore _consume = new Semaphore(0, int.MaxValue);           // 消費許可

public void Push(Item item)
{
    _produce.WaitOne();          // 等待生產事件（槽位可用）
    lock(_lock) queue.Enqueue(item);
    _consume.Release();          // 觸發消費事件（有產品）
}

public Item Pop()
{
    _consume.WaitOne();          // 等待消費事件（有產品）
    lock(_lock) var item = queue.Dequeue();
    _produce.Release();          // 觸發生產事件（釋放槽位）
    return item;
}

關鍵優勢

擴展：Interlocked 輕量級協調

簡單計數器場景可用 Interlocked.Increment/Decrement 實現無鎖協調，配合 SpinWait 適合極短關鍵區。

總結

多線程編程的本質是協調並發事件的發生順序，而非在鎖保護下檢查條件。採用 Semaphore、EventWaitHandle、TaskCompletionSource 等事件驅動原語，能從根本上消除競態條件，編寫出更簡潔、正確、高效的並發代碼。這是從「共享內存通訊」到「通訊共享內存」的思維升級。