线程是否与具有相同 id 的前一个线程同步？

Question

在 C++11 中有 std::this_thread::get_id() 我可以用来获取我的线程的 std::thread::id 标识符。标准说：

30.3.1.1

1. thread::id 类型的对象为每个执行线程提供一个唯一标识符，并为所有线程对象提供一个不同的值 不代表执行线程（30.3.1）。的每个线程 执行有一个关联的 thread::id 对象不等于 thread::id 任何其他执行线程的对象，但不是 等于任何不存在的 std::thread 对象的 thread::id 对象 表示执行线程。
2. thread::id 应该是一个可简单复制的类（第 9 条）。库可以重用已终止线程的 thread::id 的值 无法再加入。

我的问题正是关于新线程 B 与旧线程 A 具有相同 id 的情况：线程 B 会“看到”线程 A 所做的更改吗？

更具体地考虑这种情况：

线程 A 会：

owner.store(std::this_thread::get_id()); //store A's 'id'
...some work...
owner.store(std::thread::id(),std::memory_order_relaxed); // clear

线程 B 会：

assert(owner.load(std::memory_order_relaxed) != std::this_thread::get_id());

这个断言会成立吗？

线程 A 中的 owner.load 和线程 B 中的最后一个 owner.store 是故意“放松”的，因此两者之间没有明显的“同步”关系，除了我的问题中假设的关系。

Answer 1

[1] 考虑到标准中写的内容，并假设唯一性是考虑物理时间概念化的，即在给定时间没有两个线程 id 可以相同，那么为了确保标准要求，系统必须确保A 的结束发生在 B 的开始之前。

[2] 线程的结束发生在执行此线程开始时启动的函数体之后，而线程的开始发生在执行此启动函数的主体之前。如 [basic.exec]/11 中所述：

调用函数时（无论函数是否内联），与任何参数表达式或指定被调用函数的后缀表达式相关的每个值计算和副作用，都在执行每个表达式或语句之前排序被调用函数的主体。对于每个函数调用 F，对于在 F 中发生的每个评估 A 和每个不在 F 中发生但在同一线程上评估并作为同一信号处理程序（如果有）的一部分的评估 B，任一 A 在 B 之前排序或 B 在 A 之前排序。

[1] 和 [2] 意味着线程 A 中的每个计算都发生在线程 B 中的任何计算之前。

Answer 2

我的问题正是关于 一个新线程 B 的情况 与旧线程 A 相同的 id ：线程 B 是否会“看到所做的更改 由“线程A？

- 所以，您的规定正是关于线程A 肯定终止（即不能再加入）并且线程B 已启动，可能重用线程A 的ID 的情况。

在这种情况下（线程A 和B 是后续的，不是并发的）断言将保持 - 即使它的 ID 可能相同，当线程 B 启动时，所有者的存储肯定会被清空（保证线程A的终止）

更新：感谢@Yakk - Adam Nevraumont 的评论——这是我对写操作的忽视——>relaxed order 下的读操作——上面的陈述是错误的！即线程A 的最后一次操作中的内存提交将与线程B 的读取异步，因此断言可能不成立！ （很抱歉造成混淆）

否则（线程 A 和 B 是并发的）它们永远不会获得相同的 ID，因此断言也将成立。