容器不是執行緒安全

牛马chen發表於2024-10-06
執行緒

標準庫中的 std::queue 不是執行緒安全的。
這意味著在多執行緒環境中，多個執行緒同時對 std::queue 進行讀寫操作時，可能會導致資料競爭（data race）和未定義行為。下面是詳細的解釋：

原因

  1. 資料競爭：

    • 當多個執行緒同時對 std::queue 進行操作（如 push、pop 等），如果沒有使用適當的同步機制（如鎖），就會出現資料競爭。
    • 資料競爭可能導致程式崩潰或結果不正確，因為一個執行緒可能在另一個執行緒修改佇列時讀取或寫入資料。

  2. 缺乏內部保護機制：

    • std::queue 是一個容器介面卡，它本身並不提供任何執行緒安全的保障。
    • 標準庫中的大多數容器（如 std::vector、std::list、std::map 等）同樣不具備執行緒安全性。
    • 要在多執行緒環境中安全地使用 std::queue，開發者需要顯式地使用同步機制，如互斥鎖（std::mutex）或其他同步原語。

如何實現執行緒安全的佇列

如果需要在多執行緒環境中安全地使用佇列，可以結合 std::queue 和 std::mutex 實現一個執行緒安全的佇列。例如，可以使用 std::mutex 來保護對佇列的訪問：

#include <queue>
#include <mutex>
#include <condition_variable>
#include <iostream>

template<typename T>
class ThreadSafeQueue {
private:
    std::queue<T> queue;
    mutable std::mutex mutex;
    std::condition_variable cond_var;

public:
    void push(T value) {
        std::lock_guard<std::mutex> lock(mutex);
        queue.push(std::move(value));
        cond_var.notify_one(); // 通知一個等待的執行緒
    }

    bool pop(T& value) {
        std::lock_guard<std::mutex> lock(mutex);
        if (queue.empty()) {
            return false; // 佇列為空
        }
        value = std::move(queue.front());
        queue.pop();
        return true;
    }

    bool empty() const {
        std::lock_guard<std::mutex> lock(mutex);
        return queue.empty();
    }
    
    size_t size() const {
        std::lock_guard<std::mutex> lock(mutex);
        return queue.size();
    }
};

在這個例子中，ThreadSafeQueue 類透過 std::mutex 保護了對內部 std::queue 的訪問。這樣可以確保在任何時候只有一個執行緒能夠操作佇列，避免了資料競爭。

總結

std::queue 本身並不是執行緒安全的。在多執行緒環境中使用 std::queue 時，必須採用適當的同步機制，以避免資料競爭和未定義行為。

相關文章