当其他线程正在编写线程安全时，我是否必须互斥读取操作？

Question

我对特定的多线程情况感到困惑，无法找到对这种情况的明确解释。在下面的代码中，两个自定义线程是写+读线程安全的，但主线程也在同时读取。所以这是我的问题：我是否也必须对读取功能进行互斥？还是绝对不可能使应用程序崩溃，例如向量中先前删除的指针的原因？希望大家能帮帮我，谢谢！

#include <thread>
#include <mutex>
#include <iostream>
#include <vector>

int g_i = 0;
std::vector<int> test;
std::mutex g_i_mutex;  // protects g_i

void safe_increment()
{
    std::lock_guard<std::mutex> lock(g_i_mutex);
    ++g_i;
    test.resize(test.size() + 1, 2);
    std::cout << std::this_thread::get_id() << ": " << g_i << '\n';

    for (std::vector<int>::const_iterator i = test.begin(); i != test.end(); ++i)
        std::cout << std::this_thread::get_id() << " thread vector: " << *i << '\n';
    // g_i_mutex is automatically released when lock
    // goes out of scope
}


void request_threadedvar()
{
    for (std::vector<int>::const_iterator i = test.begin(); i != test.end(); ++i)
        std::cout << std::this_thread::get_id() << " request threaded vector: " << *i << '\n';
}

int main()
{
    std::cout << "main: " << g_i << '\n';
    test.resize(test.size() + 1, 1);
    for (std::vector<int>::const_iterator i = test.begin(); i != test.end(); ++i)
        std::cout << "main vector: " << *i << '\n';

    std::thread t1(safe_increment);
    request_threadedvar();
    std::thread t2(safe_increment);

    t1.join();
    t2.join();

    std::cout << "main: " << g_i << '\n';
    for (std::vector<int>::const_iterator i = test.begin(); i != test.end(); ++i)
        std::cout << "main vector: " << *i << '\n';

}

Answer 1

std::thread 执行线程和原来的main 执行线程都在调用同一个std::vector 对象的各种方法。

std::vector 的方法（或任何 C++ 库容器的方法）都不是线程安全的，因此从所有执行线程对它们的所有访问都必须按顺序排列（即受互斥体保护）。向量的内容是否被修改并不重要。 begin() 不是线程安全的。句号。等等……

雪上加霜的是，resize() 使所有现有迭代器对std::vector 的内容无效，因此由任何std::threads 执行的resize() 将立即使所有指向相同@987654331 的迭代器失效@其他线程正在使用的对象；因此必须对整个事情进行排序/锁定。

TL;DR：您必须使用互斥锁来访问std::vector。向量的内容是否被特定的执行线程修改并不重要。

附： std::vector 方法不是线程安全的问题与向量中任何内容的线程安全无关。如果您已经准备好向量内容的所有迭代器，并开始使用多个执行线程中的现有迭代器对向量中的内容进行处理：是否需要排序取决于向量中任何内容的固有性质及其线程-安全要求。