什么时候有人将 std::vector 定义为 thread_local？ [复制]

Question

将std::vector 声明为thread_local 有什么好处吗？ 喜欢

static unique_ptr<std::vector<ObjectA>> vecVariable;

将std::vector 声明为thread_local 不会使其操作像pop_back() 和erase() 同步。

就像在每个 STL 容器中一样，如果有一个线程修改容器，则不会有并发线程读取或写入同一个容器，所以我不能在 vector 对象上执行 erase() 和 pop_back()并发/多线程环境。

即使我将向量声明为thread_local，我的代码也会在其中一个操作中崩溃。我知道我可能需要在锁定状态下执行这些操作，但我只是想了解何时有人将 std::vector 定义为 thread_local ？

Answer 1

thread_local 不用于同步。它是一个存储持续时间说明符 (http://en.cppreference.com/w/cpp/language/storage_duration)

举个例子：

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

thread_local std::vector<int> v;

void func()
{
  v.push_back(5);
  std::cout<< "t: "<< v.size() << std::endl;
}

int main() 
{
    v.push_back(3);
    v.push_back(5);
    std::thread t1(func);
    std::thread t2(func);
    std::cout<< "m: "<< v.size() << std::endl;
    t1.join();
    t2.join();
}

输出：

m: 2
t: 1
t: 1

thread_local 所做的是为每个线程创建一个不同的向量。在示例中，您可以看到主线程中的 v 有 2 个元素，而其他线程中的向量 v 每个只有 1 个元素。

发生的情况是，当创建一个新线程时，程序还将仅为该线程创建一个新向量。当线程结束时，向量也会被销毁。

Answer 2

thread_local 使对象拥有线程存储，这意味着每个线程将拥有自己独立的对象实例。它不会以任何方式影响对象的线程安全，正如您似乎建议您认为的那样。

如果您希望每个线程都有自己的变量实例，您可以声明一个vector 变量或任何其他变量thread_local。如果您希望能够同时访问单个对象，解决方案不是将其声明为thread_local，而是使用线程安全数据类型或适当的同步原语（例如，通过锁定和解锁std::mutex）。