[英]Is there a `notify_one()` queue for `std::condition_variable`s?
[英]Is std::condition_variable::notify_one reentrant?
我可以安全地執行以下代碼嗎? 是否有可能在此處出現死鎖或某些意外行為,尤其是在SIGINT到達時?
#include <atomic>
#include <condition_variable>
#include <csignal>
std::mutex m;
std::condition_variable cv;
std::atomic<bool> flag(false);
void f1(){
std::signal(SIGTERM, [](int signal){flag.store(true,
std::memory_order_release); cv.notify_one();});//register for signal
std::unique_lock<std::mutex> mtx(m);
cv.wait(mtx, []{return flag.load(std::memory_order_consume);});//wait for signal or f2() notify
}
void f2(){
flag.store(true, std::memory_order_release);
cv.notify_one();
}
int main(){
std::thread th1(f1);
std::thread th2(f2);
th1.join();
th2.join();
return 0;
}
pthread
功能和std::condition_variable
和std::mutex
,其使用那些不是異步信號安全。 請參閱man signal-safety(7)
中的異步信號安全功能列表。
有點題外話:如果在更新flag
時未鎖定互斥鎖,則會導致丟失通知。 想象一下場景:
Thread 1 | Thread 2
| mutex.lock()
| flag == false
flag = true |
cv.notify_one() | <--- notification is lost
| cv.wait()
這是一個非常常見的編程錯誤。
在更新flag
時鎖定互斥鎖可以解決此問題。
如果您希望在接收到信號時通知條件變量,請創建一個專用於信號處理的線程。 例:
#include <condition_variable>
#include <iostream>
#include <thread>
#include <signal.h>
std::mutex m;
std::condition_variable cv;
bool flag = false;
void f1(){
std::unique_lock<std::mutex> lock(m);
while(!flag)
cv.wait(lock);
}
void signal_thread() {
sigset_t sigset;
sigfillset(&sigset);
int signo = ::sigwaitinfo(&sigset, nullptr);
if(-1 == signo)
std::abort();
std::cout << "Received signal " << signo << '\n';
m.lock();
flag = true;
m.unlock();
cv.notify_one();
}
int main(){
sigset_t sigset;
sigfillset(&sigset);
::pthread_sigmask(SIG_BLOCK, &sigset, nullptr);
std::thread th1(f1);
std::thread th2(signal_thread);
th1.join();
th2.join();
}
請注意,必須在所有線程中阻止信號,以便只有信號處理程序線程才能接收到這些信號。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.