C 11 스레드 안전 대기열: 이해 및 디버깅

스레드 안전 대기열 구현 내에서 분할 오류가 발생했습니다. dequeue() 함수, 특히 대기열이 비어 있을 때. 이 예외 현상은 대기 조건, wait_for(lock, timeout)가 가짜 깨우기를 처리하도록 제대로 구성되지 않았기 때문에 발생합니다.

가짜 깨우기 이해

조건 변수 populatedNotifier와 같이 실제 알림이 발생하지 않고 깨어나는 가짜 깨우기를 경험할 수 있습니다. 이 동작은 기본 멀티스레딩 구현에 내재되어 있으며 예측할 수 없습니다.

조건 수정

잠재적으로 신뢰할 수 없는 알림에 의존하지 않으려면 모범 사례에서는 다음의 역을 사용하도록 지시합니다. dequeue() 및 유사한 함수의 while 루프에 대한 기초로 원하는 조건: while(!condition). 이 루프 내에서:

1. 조건 보호: 대기열의 데이터를 보호하기 위해 고유 잠금(std::unique_lock을 통해)을 획득합니다.
2. 확인 조건: 대기열이 비어 있는지 확인합니다(q.empty()).
3. 대기 필요함: 대기열이 비어 있으면 잠금을 해제하고 조건 변수에 대한 대기를 입력합니다.
4. 조건을 다시 확인합니다. 잠금이 다시 획득되면 즉시 다시- 조건이 변경되었는지 확인하세요.

구현 예

수정된 내용은 다음과 같습니다. dequeue() 함수 버전:

std::unique_lock<:mutex> lock(qMutex);
while (q.empty()) {
    c.wait(lock);
    if (q.empty()) {  // Immediately check the condition again after acquiring the lock
        return std::string();
    }
}
std::string ret = q.front();
q.pop();
return ret;

이러한 지침을 따르면 대기 조건이 강력하고 잘못된 웨이크업에 취약하지 않도록 하여 분할 오류 문제를 효과적으로 해결할 수 있습니다.