以下 std::queue 代码示例线程安全吗？

Question

我有以下代码示例，我不确定它是否是线程安全的。

void remove(/*...*/) {
    int a;
    float* data;

    while (true)
    {
        unique_lock<mutex> lock1(mu);
        cond.wait(lock1, [this](){return count > 0;});
        lock1.unlock();

        a = std_queue1.front();

        data = std_queue2.front();

        // process data

        unique_lock<mutex> lock2(mu);
        std_queue1.pop();
        std_queue2.pop();
        count--;
        lock2.unlock();
        cond.notify_all();
    }
}

void add(/*...*/){
    int a, iterations = 0;
    vector<float*> data;
    // Allocate some data entries
    while (true) {
        // set a
        unique_lock<mutex> lock1(mu);
        std_queue1.push(a);
        cond.wait(lock1, [this, &limit]() { return count < limit; });
        lock1.unlock();

        // Init data

        if (iterations++ > 2) {
            unique_lock<mutex> lock2(mu);
            std_queue2.push(data[/*...*/]);
            count++;
            lock2.unlock();
            cond.notify_all();
        }
    }
}

remove(...) 和 add(...) 是同一个类的函数。 每个函数由一个线程执行，并且两个线程访问相同的队列。 互斥锁被锁定以推送和弹出队列的数据，但不适用于函数 front()。

所以我的问题是：这个示例线程安全吗？ 或者我需要为 front() 函数设置互斥锁吗？ 函数 pop() 和 push() 是否需要互斥锁？

Answer 1

所以我的问题是：这个示例线程安全吗？

不。

或者我需要为 front() 函数设置互斥锁吗？

是的。

函数 pop() 和 push() 是否需要互斥锁？

是的。

不能保证修改标准容器是线程安全的。