Linux執行緒同步的互斥鎖


介紹

在 Linux 中,互斥鎖用於執行緒同步,允許執行緒安全地訪問共享資源並避免資料競爭。互斥鎖(mutual exclusion 的縮寫)確保一次只有一個執行緒可以獲取鎖,從而防止對臨界區的併發訪問。

在本文中,我們將討論 Linux 執行緒同步互斥鎖的用例、元件和示例。

為什麼我們需要 Linux 執行緒同步的互斥鎖?

在使用互斥鎖進行執行緒同步時,必須首先在執行關鍵部分之前初始化互斥鎖,然後使用 `pthread_mutex_lock` 獲取鎖,完成關鍵部分,使用 `pthread_mutex_unlock` 釋放鎖,最後銷燬互斥鎖。這確保了在任何時候只有一個執行緒可以進入關鍵部分,其他執行緒必須等待。

為了建立健壯、高效且正確併發的程式,適當的執行緒同步至關重要。它有助於防止競爭條件、死鎖和資料不一致狀態等問題。Linux 作業系統和其他作業系統中的並行程式設計需要對諸如互斥鎖之類的同步機制有基本的理解和熟練掌握。

Linux執行緒同步互斥鎖的元件

互斥鎖 − 互斥鎖是 Linux pthread 庫提供的同步原語。它透過一次只允許一個執行緒獲取鎖來確保對程式碼臨界區的獨佔訪問。

互斥鎖初始化 − `pthread_mutex_init()` 函式在使用前初始化互斥鎖。

互斥鎖鎖定 − `pthread_mutex_lock()` 函式用於獲取鎖。如果鎖已被另一個執行緒持有,則呼叫執行緒將被阻塞,直到它可以獲取鎖。

互斥鎖解鎖 − `pthread_mutex_unlock()` 函式釋放鎖,允許其他執行緒獲取它。

互斥鎖銷燬 − `pthread_mutex_destroy()` 函式用於在使用後清理和銷燬互斥鎖。

用例 - 生產者-消費者問題

生產者-消費者問題是一個經典的同步問題,其中一個或多個生產者執行緒生成資料,一個或多個消費者執行緒消費資料。互斥鎖用於同步對共享緩衝區的訪問。

示例(C語言)

下面的示例演示了使用互斥鎖進行 Linux 執行緒同步的生產者-消費者問題的實現。這個問題涉及多個生產者執行緒生成資料,以及多個消費者執行緒從共享緩衝區消費資料。互斥鎖確保一次只有一個執行緒可以訪問共享緩衝區,從而防止競爭條件。

#include <stdio.h>
#include <pthread.h>

#define BUFFER_SIZE 10

int buffer[BUFFER_SIZE];
int count = 0;

pthread_mutex_t mutex;

void* producer(void* arg) {
   for (int i = 0; i < BUFFER_SIZE; i++) {
      pthread_mutex_lock(&mutex);
      if (count == BUFFER_SIZE) {
         // Buffer is full, wait for consumer
         pthread_mutex_unlock(&mutex);
         continue;
      }
      buffer[count] = i;
      count++;
      pthread_mutex_unlock(&mutex);
   }
   pthread_exit(NULL);
}

void* consumer(void* arg) {
   for (int i = 0; i < BUFFER_SIZE; i++) {
      pthread_mutex_lock(&mutex);
      if (count == 0) {
         // Buffer is empty, wait for producer
         pthread_mutex_unlock(&mutex);
         continue;
      }
      int data = buffer[count - 1];
      count--;
      pthread_mutex_unlock(&mutex);
      printf("Consumed: %d\n", data);
   }
   pthread_exit(NULL);
}

int main() {
   pthread_t producerThread, consumerThread;
   pthread_mutex_init(&mutex, NULL);

   pthread_create(&producerThread, NULL, producer, NULL);
   pthread_create(&consumerThread, NULL, consumer, NULL);

   pthread_join(producerThread, NULL);
   pthread_join(consumerThread, NULL);

   pthread_mutex_destroy(&mutex);

   return 0;
}

輸出

Consumed: 9
Consumed: 8
Consumed: 7
Consumed: 6
Consumed: 5
Consumed: 4
Consumed: 3
Consumed: 2
Consumed: 1
Consumed: 0Consumed: 9
Consumed: 8
Consumed: 7
Consumed: 6
Consumed: 5
Consumed: 4
Consumed: 3
Consumed: 2
Consumed: 1
Consumed: 0

優點

使用互斥鎖進行執行緒同步的各種好處包括:

  • 資料完整性 − 互斥鎖保護資料完整性,因為一次只有一個執行緒可以訪問共享資源。

  • 執行緒安全 − 使用互斥鎖可以輕鬆有效地實現執行緒安全。透過正確同步對共享資源的使用,互斥鎖有助於避免衝突並確保併發執行緒不會相互干擾。

  • 資源保護 − 互斥鎖防止多個執行緒同時使用相同的資源。這在處理關鍵資源或易受多個執行緒修改的部分時尤其重要。

  • 阻塞機制 − 互斥鎖可以作為阻塞機制,使執行緒能夠等待鎖被釋放。當一個執行緒試圖獲取一個被鎖定的互斥鎖時,它將被阻塞並進入休眠狀態,直到鎖可用。

  • 可移植性 − 因為互斥鎖是 POSIX 執行緒標準的一部分,所以它們可以在任何支援 POSIX 執行緒的平臺或作業系統上使用。

缺點

使用互斥鎖進行執行緒同步的各種缺點包括:

  • 死鎖 − 不正確的互斥鎖使用可能導致死鎖,其中多個執行緒無限期地阻塞,因為每個執行緒都在等待另一個執行緒持有的資源。

  • 資源爭用 − 在高度併發的情況下,互斥鎖可能會導致資源爭用。當多個執行緒頻繁爭用同一個鎖時,執行緒等待鎖釋放的時間可能會很長。

  • 優先順序反轉 − 某些互斥鎖實現具有優先順序繼承功能,可以解決優先順序反轉問題,但這會帶來自己的一組挑戰。

  • 過度同步的可能性 − 如果過度或不必要地使用互斥鎖,程式可能會過度同步。鎖定不需要同步的資源可能會限制並行性並降低效率。

  • 缺乏組合性 − 互斥鎖不能組合成更大的鎖,也不能用於同時同步多個資源,因為它們不可組合。

結論

在 Linux 作業系統和其他平臺上,互斥鎖是一種常見的執行緒同步機制。它們提供了一種快速有效的方法來確保併發程式中的資源保護、執行緒安全和資料完整性。透過限制一次可以訪問共享資源的執行緒數量,互斥鎖避免了資料競爭並允許對臨界區進行正確的序列化。

同步方法的選擇取決於應用程式的具體需求。互斥鎖只是眾多可用同步機制之一。程式設計師理解互斥鎖的優點和缺點,並考慮其他同步原語,可以在多執行緒環境中實現最佳效率和執行緒安全。

更新於:2023年7月14日

1000+ 次瀏覽

啟動你的職業生涯

透過完成課程獲得認證

開始學習
廣告