Betingelsesvariabler og arbejdsmønstre
Koordinér tråde med std::condition_variable og det klassiske worker-pool-mønster
Betingelsesvariabler og arbejdsmønstre er en gratis C++ Academy-lektion på CoddyKit. Dette er lektion 3 af 4. Du kan læse alle 3 lektioner i dette læringsspor gratis i deres fulde længde — derefter låser CoddyKit PRO alle lektioner op samt praktiske øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. Den er en del af læringsforløbet i C++ Academy, og dine fremskridt synkroniseres på tværs af nettet og CoddyKit-appen. C++ Academy-kurset indeholder 4 lektioner i alt.
Hvad er en betingelsesvariabel?
En betingelsesvariabel lader en tråd vente, indtil en anden tråd signalerer, at en betingelse er ændret. Den bruges til at koordinere producenter og forbrugere.
Grundlæggende om std::condition_variable
En betingelsesvariabel fungerer sammen med en std::mutex og et prædikat. Den ventende tråd frigiver låsen, mens den venter, og erhverver den igen, når den vækkes.
#include <condition_variable>
#include <mutex>
#include <queue>
std::mutex mtx;
std::condition_variable cv;
std::queue<int> tasks;
bool done = false;Vent på en betingelse
Brug cv.wait(lock, predicate). Den låser mutexen atomisk op og sætter tråden på pause, indtil den får besked. Når tråden vækkes, låser den mutexen igen og kontrollerer prædikatet. Hvis det er falsk, venter den igen.
std::unique_lock<std::mutex> lock(mtx);
cv.wait(lock, [] { return !tasks.empty() || done; });Notifikationer
Producenttråden kalder cv.notify_one() eller cv.notify_all(), efter at tilstanden er ændret. Låsen bør være holdt under ændringen af tilstanden.
{
std::lock_guard<std::mutex> lock(mtx);
tasks.push(42);
}
cv.notify_one();Producent-forbruger-mønster
Klassisk eksempel: producenter lægger opgaver i kø, og forbrugere venter på opgaver.
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);
}
}Falske opvågninger
En tråd, der venter på en betingelsesvariabel, kan vågne uden en notifikation. Derfor tager wait et prædikat – det kontrollerer betingelsen igen ved hver opvågning.
notify_one kontra notify_all
Brug notify_one, når én ventende tråd kan fortsætte. Brug notify_all, når ændringer i tilstanden påvirker alle ventende tråde, f.eks. ved et nedlukningssignal.
Tidsbegrænsede ventetider
wait_for(lock, duration) og wait_until(lock, time_point) vækker enten tråden ved en notifikation eller efter et tidsudløb.
if (cv.wait_for(lock, 1s, [] { return ready; })) {
/* condition met */
} else {
/* timed out */
}Skelet til en arbejderpulje
Et almindeligt mønster: et fast antal arbejdertråde henter opgaver fra en delt kø. Byg det med mutex + condition_variable + queue + et atomisk stopflag.
Undgå mistede opvågninger
Ændr altid den delte tilstand, og kald notify_*, mens mutexen holdes under ændringen af tilstanden. Det er fint at frigive mutexen lige før notifikationen, men sørg for den korrekte rækkefølge. Ellers kan en ventende tråd gå glip af notifikationen.
std::counting_semaphore (C++20)
Til enkel signalering baseret på tællere tilføjede C++20 std::counting_semaphore – det er enklere end betingelsesvariable til nogle mønstre.
Pas på deadlock
Hvis du holder flere låse, mens du venter på en betingelsesvariabel, kan det føre til deadlock. Hent låse i en konsekvent rækkefølge, og brug std::scoped_lock til flere mutexer.
Hurtig kontrol
Hvorfor tager cv.wait(lock, predicate) et prædikat, selv når du bare vil vente på en notifikation?
Opsummering
En betingelsesvariabel koordinerer tråde, der venter på en ændring af tilstanden. Brug wait(lock, predicate) til at håndtere falske opvågninger, ændr tilstanden under mutexen, og kald derefter notify_one eller notify_all.
Lær C++ med en AI-underviser — gratis
Skriv og kør rigtig kode i din browser, få øjeblikkelig hjælp fra en AI-underviser døgnet rundt, og fortsæt, hvor du slap, på web eller i appen.
- Kurser
- 51
- Lektioner
- 203
Ofte stillede spørgsmål
Er lektionen “Betingelsesvariabler og arbejdsmønstre” gratis?
Ja — alle 3 lektioner i læringssporet C++ Academy, inklusive “Betingelsesvariabler og arbejdsmønstre”, kan læses gratis i deres fulde længde her på webstedet. Derefter låser CoddyKit PRO alle lektioner op samt interaktive øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. C++ Academy-kurset indeholder 4 lektioner i alt.
Hvad lærer jeg i “Betingelsesvariabler og arbejdsmønstre”?
Koordinér tråde med std::condition_variable og det klassiske worker-pool-mønster Du øver dig i C++ Academy med praktisk kode, som du kører direkte i browseren, og en AI-vejleder døgnet rundt besvarer dine spørgsmål, mens du arbejder dig gennem lektionen.
Skal jeg have erfaring for at begynde på C++ Academy?
Der kræves ingen tidligere erfaring. C++ Academy på CoddyKit er tilrettelagt for både begyndere og øvede, så du kan starte her eller fra begyndelsen og lære i dit eget tempo. Dette er lektion 3 af 4.
Hvor lang tid tager lektionen “Betingelsesvariabler og arbejdsmønstre”?
De fleste CoddyKit-lektioner tager cirka 5–10 minutter. Hver lektion er kort og interaktiv, så du gør løbende fremskridt og kan fortsætte, hvor du slap – på både web og app.
Kan jeg skrive og køre kode i denne C++ Academy-lektion?
Ja. Alle C++ Academy-lektioner har en indbygget kodeeditor, så du kan skrive og køre rigtig kode direkte i din browser og få øjeblikkelig feedback fra AI – uden lokal opsætning.
Alle lektioner i dette kursus
- std::thread – sammenføjning og frakobling
- std::mutex, lock_guard og unique_lock
- Betingelsesvariabler og arbejdsmønstre
- Grundlæggende std::async og std::future