C#中常見的執行緒同步問題及解決方法
引言：
在多執行緒程式設計中，執行緒同步是一個關鍵的概念。當多個執行緒同時存取共享資源時，會導致資料不一致或出現競態條件等問題。本文將介紹C#中常見的執行緒同步問題，並提供對應的解決方法和範例程式碼。
一、不正確的資料共享
當多個執行緒同時存取相同的共享資源時，可能會導致資料不一致的情況。解決這個問題的一個常見的方案是使用互斥鎖（Mutex）。
範例程式碼：
using System; using System.Threading; class Program { static int count = 0; static Mutex mutex = new Mutex(); static void Main() { Thread[] threads = new Thread[5]; for (int i = 0; i < 5; i++) { threads[i] = new Thread(Increment); threads[i].Start(); } foreach (Thread t in threads) { t.Join(); } Console.WriteLine("Count: " + count); } static void Increment() { mutex.WaitOne(); count++; mutex.ReleaseMutex(); } }
在以上範例中，我們建立了一個全域變數count，然後建立了5個執行緒來對count進行自增操作。使用Mutex確保每次只有一個執行緒能夠存取count，並避免了資料不一致的問題。
二、競態條件
競態條件發生在多個執行緒試圖同時修改一個共享資源的情況。為了避免競態條件，我們可以使用Monitor類別或lock語句來保護共享資源。
範例程式碼：
using System; using System.Threading; class Program { static int count = 0; static void Main() { Thread[] threads = new Thread[5]; for (int i = 0; i < 5; i++) { threads[i] = new Thread(Increment); threads[i].Start(); } foreach (Thread t in threads) { t.Join(); } Console.WriteLine("Count: " + count); } static void Increment() { lock (typeof(Program)) { count++; } } }
在上述範例中，我們使用lock語句對count進行保護。 lock語句會自動取得一個監視器，當一個執行緒存取共享資源時，其他執行緒會被阻塞，直到目前執行緒釋放鎖定為止。
三、信號量
信號量是一種用來控制執行緒存取資源的同步工具。透過信號量，我們可以限制執行緒的並發存取數量，以確保對資源的正確存取。
範例程式碼：
using System; using System.Threading; class Program { static int count = 0; static Semaphore semaphore = new Semaphore(2, 2); static void Main() { Thread[] threads = new Thread[5]; for (int i = 0; i < 5; i++) { threads[i] = new Thread(Increment); threads[i].Start(); } foreach (Thread t in threads) { t.Join(); } Console.WriteLine("Count: " + count); } static void Increment() { semaphore.WaitOne(); count++; semaphore.Release(); } }
在上述範例中，我們建立了一個初始值為2的訊號量，表示同時允許2個執行緒存取共享資源。當所有執行緒執行完畢後，我們得到了正確的count值。
結論：
透過適當的執行緒同步機制，我們可以避免C#多執行緒程式設計中常見的問題，確保多個執行緒能夠正確地存取共享資源。本文介紹了使用Mutex、lock語句和Semaphore的範例程式碼，供讀者參考。當編寫多執行緒應用程式時，需要根據實際需求選擇合適的同步方法，以確保程式的正確性和效能。
以上是C#中常見的執行緒同步問題及解決方法的詳細內容。更多資訊請關注PHP中文網其他相關文章！
