C++의 condition_variable을 보게되면 아래의 코드가 나오는데 매번 cv.wait가  신경이 쓰였다. 일단 아래의 코드를 보자

#include <iostream>
#include <string>
#include <thread>
#include <mutex>
#include <condition_variable>
 
std::mutex m;
std::condition_variable cv;
std::string data;
bool ready = false;
bool processed = false;
 
void worker_thread()
{
    // Wait until main() sends data
    std::unique_lock<std::mutex> lk(m);
    cv.wait(lk, []{return ready;});
 
    // after the wait, we own the lock.
    std::cout << "Worker thread is processing data\n";
    data += " after processing";
 
    // Send data back to main()
    processed = true;
    std::cout << "Worker thread signals data processing completed\n";
 
    // Manual unlocking is done before notifying, to avoid waking up
    // the waiting thread only to block again (see notify_one for details)
    lk.unlock();
    cv.notify_one();
}
 
int main()
{
    std::thread worker(worker_thread);
 
    data = "Example data";
    // send data to the worker thread
    {
        std::lock_guard<std::mutex> lk(m);
        ready = true;
        std::cout << "main() signals data ready for processing\n";
    }
    cv.notify_one();
 
    // wait for the worker
    {
        std::unique_lock<std::mutex> lk(m);
        cv.wait(lk, []{return processed;});
    }
    std::cout << "Back in main(), data = " << data << '\n';
 
    worker.join();
}

논리적으로 보면 cv.wait의 두번째 인자가 있는이유가 딱히 없다는걸 알수있다. 헌데 왜 이코드가 들어갈까 이는 해당문서를 자세히 보면 알수있다.

위에 잘보면 이는 spurious wekeup라는 문서가 있을것이다. 

이게 위키피디아에도 있는데 해당 문서를 잘보면 모든 OS에서 발생한다고 한다.

https://en.wikipedia.org/wiki/Spurious_wakeup

 깨우지않았는에도 불구하고 스스로 깨어지는 문제라는 것이다. 그래서 이는 유저모드에서 한번더 체크하는식으로 해결해야한다는 점이다. 이점을 고려해서 std쪽에서는 이를 방지하기 위해 유저변수또한 체크해서 위의 증상을 방지하는 것이다.

카테고리: C++Programing

2개의 댓글

어쩌다 방문 · 2019년 1월 12일 9:12 오후

어쩌다 방문하게 되었는데요
글 목록에서 글을 미리보는 부분이랑 글 제목이랑 서로 엇갈려 출력되고 있어요..

    kudwafter · 2019년 1월 14일 12:27 오전

    최근 테마를 바꾸다보니까..문제가 있네여.. 현재 이문제를 알고는있고 수정중이 있습니다.
    감사합니다.

댓글 남기기

이메일은 공개되지 않습니다. 필수 입력창은 * 로 표시되어 있습니다