函数
<condition_variable>

std::notify_all_at_thread_exit

void notify_all_at_thread_exit (condition_variable& cond, unique_lock<mutex> lck);
在线程退出时通知所有等待的线程
当调用线程退出时,所有在 cond等待 的线程都会被通知恢复执行。

该函数还获取 lck 管理的 mutex 对象的锁的拥有权,该对象由函数内部存储,并在线程退出时(在通知所有线程之前)解锁,其行为如同调用了以下内容,在所有具有 线程存储持续时间 的对象被销毁之后:
1
2
lck.unlock();
cond.notify_all();

参数

cond
用于在线程退出时通知所有等待线程的 condition_variable 对象。
lck
一个 unique_lock 对象,其互斥量对象当前被该线程锁定。
该对象被函数获取(它应该是一个 右值)。
cond 上所有等待的线程(如果有)应使用与 lck 相同的底层 互斥量对象

返回值



示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
// notify_all_at_thread_exit
#include <iostream>           // std::cout
#include <thread>             // std::thread
#include <mutex>              // std::mutex, std::unique_lock
#include <condition_variable> // std::condition_variable

std::mutex mtx;
std::condition_variable cv;
bool ready = false;

void print_id (int id) {
  std::unique_lock<std::mutex> lck(mtx);
  while (!ready) cv.wait(lck);
  // ...
  std::cout << "thread " << id << '\n';
}

void go() {
  std::unique_lock<std::mutex> lck(mtx);
  std::notify_all_at_thread_exit(cv,std::move(lck));
  ready = true;
}

int main ()
{
  std::thread threads[10];
  // spawn 10 threads:
  for (int i=0; i<10; ++i)
    threads[i] = std::thread(print_id,i);
  std::cout << "10 threads ready to race...\n";

  std::thread(go).detach();   // go!

  for (auto& th : threads) th.join();

  return 0;
}

可能的输出(线程顺序可能不同)

10 threads ready to race...
thread 9
thread 0
thread 7
thread 2
thread 5
thread 4
thread 6
thread 8
thread 3
thread 1


数据竞争

该函数执行两次原子操作:
  • 解锁 lck
  • 通知 cond 上所有等待的线程。
线程局部存储 的变量的销毁与等待线程中的唤醒通知同步。

异常安全

基本保证: 如果抛出异常,则作为参数传递的对象处于有效状态。
在失败时,它可能会抛出 system_error(将 unlock 的任何错误条件传递)。

另见