조건 변수와 작업자 패턴
std::condition_variable과 고전적인 작업자 풀 패턴으로 스레드를 조정합니다.
조건 변수와 작업자 패턴은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
조건 변수란 무엇인가요?
조건 변수를 사용하면 다른 스레드가 조건이 변경되었다고 알릴 때까지 한 스레드를 대기시킬 수 있습니다. 생산자와 소비자를 조정할 때 사용합니다.
std::condition_variable 기초
조건 변수는 std::mutex 및 조건자와 함께 작동합니다. 대기 중인 스레드는 기다리는 동안 잠금을 해제하고, 깨어날 때 다시 획득합니다.
#include <condition_variable>
#include <mutex>
#include <queue>
std::mutex mtx;
std::condition_variable cv;
std::queue<int> tasks;
bool done = false;조건 대기
cv.wait(lock, predicate)를 사용하십시오. 이 함수는 뮤텍스를 원자적으로 잠금 해제하고 알림을 받을 때까지 대기합니다. 깨어난 뒤에는 다시 잠그고 조건자를 확인합니다. 조건이 거짓이면 다시 대기합니다.
std::unique_lock<std::mutex> lock(mtx);
cv.wait(lock, [] { return !tasks.empty() || done; });알림
생산자 스레드는 상태를 변경한 후 cv.notify_one() 또는 cv.notify_all()을 호출합니다. 상태를 변경하는 동안에는 잠금을 보유해야 합니다.
{
std::lock_guard<std::mutex> lock(mtx);
tasks.push(42);
}
cv.notify_one();생산자-소비자 패턴
고전적인 예로, 생산자는 작업을 넣고 소비자는 작업을 기다립니다.
void consumer() {
while (true) {
std::unique_lock<std::mutex> lock(mtx);
cv.wait(lock, [] { return !tasks.empty() || done; });
if (done && tasks.empty()) break;
int task = tasks.front();
tasks.pop();
lock.unlock();
process(task);
}
}허위 깨우기
조건 변수에서 대기 중인 스레드는 알림 없이 깨어날 수 있습니다. 따라서 wait는 술어를 받으며, 깨어날 때마다 조건을 다시 확인합니다.
notify_one과 notify_all 비교
한 대기 스레드만 진행할 수 있을 때는 notify_one을 사용하십시오. 상태 변경이 모든 대기 스레드에 영향을 줄 때(예: 종료 신호)는 notify_all을 사용하십시오.
시간 제한 대기
wait_for(lock, duration)과 wait_until(lock, time_point)은 알림을 받거나 시간 초과가 발생하면 깨어납니다.
if (cv.wait_for(lock, 1s, [] { return ready; })) {
/* condition met */
} else {
/* timed out */
}작업자 풀 뼈대
일반적인 패턴에서는 고정된 수의 작업자 스레드가 공유 큐에서 작업을 가져옵니다. 뮤텍스 + condition_variable + 큐 + 원자적 중지 플래그로 구성합니다.
놓친 깨우기 방지
상태 변경 중에 뮤텍스를 보유한 상태로 공유 상태를 항상 수정하고 notify_*를 호출하십시오(알림 직전에 잠금을 해제해도 괜찮지만 순서를 보장해야 합니다). 그렇지 않으면 대기 스레드가 알림을 놓칠 수 있습니다.
std::counting_semaphore (C++20)
단순한 개수 기반 신호 전달에는 C++20에서 std::counting_semaphore가 추가되었습니다. 일부 패턴에서는 조건 변수보다 더 간단합니다.
교착 상태 주의
조건 변수에서 대기하는 동안 여러 잠금을 보유하면 교착 상태가 발생할 수 있습니다. 일관된 순서로 잠금을 획득하고, 여러 뮤텍스에는 std::scoped_lock을 사용하십시오.
빠른 확인
알림을 기다리기만 하려는 경우에도 cv.wait(lock, predicate)가 술어를 받는 이유는 무엇입니까?
복습
조건 변수는 상태 변경을 기다리는 스레드들을 조정합니다. 허위 깨우기를 처리하려면 wait(lock, predicate)를 사용하고, 뮤텍스 아래에서 상태를 수정한 다음 notify_one 또는 notify_all을 호출하십시오.
자주 묻는 질문
“조건 변수와 작업자 패턴” 강의는 무료인가요?
네 — “조건 변수와 작업자 패턴” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“조건 변수와 작업자 패턴”에서 뭘 배우나요?
std::condition_variable과 고전적인 작업자 풀 패턴으로 스레드를 조정합니다. 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.
“조건 변수와 작업자 패턴” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.