C++ Academy · Lektion

Compare-and-swap- og CAS-mønstre

Implementér låsefri opdateringer med compare_exchange_weak og compare_exchange_strong

Lektion 2 af 414 trin

Compare-and-swap- og CAS-mønstre er en gratis C++ Academy-lektion på CoddyKit. Dette er lektion 2 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.

CAS-primitivet

Sammenlign-og-udskift læser, sammenligner og skriver betinget atomisk. Det er grundlaget for de fleste låsefri algoritmer.

C++-sammenligningsudskiftning

To varianter i std::atomic:

compare_exchange_strong(expected, desired) — lykkes, når den aktuelle værdi er lig med expected
compare_exchange_weak(expected, desired) — kan fejle fejlagtigt

Opbygningen af en CAS-løkke

Den klassiske CAS-løkke: læs, beregn, forsøg at skrive. Prøv igen, hvis en anden tråd vandt kapløbet.

std::atomic<int> a{0};

int old = a.load();
int next;
do {
    next = compute_new(old);
} while (!a.compare_exchange_weak(old, next));

CAS til atomisk opdatering

Brug CAS, når den nye værdi afhænger af den gamle. En almindelig store ville miste opdateringer fra samtidige tråde.

// Atomic max
int current = a.load();
while (newval > current && !a.compare_exchange_weak(current, newval));

Låsefri stack: push

Et simpelt låsefrit stack-push bruger CAS til at indsætte en ny node i toppen.

struct Node { int value; Node* next; };
std::atomic<Node*> head{nullptr};

void push(int v) {
    Node* n = new Node{v, nullptr};
    n->next = head.load();
    while (!head.compare_exchange_weak(n->next, n));
}

Spuriøs fejl

compare_exchange_weak kan fejle, selv når værdierne matcher — på platforme som ARM, hvor den underliggende instruktion må fejle. Brug den i løkker, og brug strong, når det er dyrt at prøve igen.

Opdateringsmønster: nulstil

Nulstil en værdi til en kendt tilstand, men kun hvis den ikke er blevet ændret.

int expected = 42;
if (a.compare_exchange_strong(expected, 0)) {
    // a was 42 and is now 0
}

Byggesten: atomisk tæller

Til en almindelig tæller er fetch_add enklere og hurtigere end en CAS-løkke.

Byggesten: atomisk flag

Til et simpelt boolesk flag er std::atomic_flag lettere end std::atomic<bool> og understøtter test_and_set.

At analysere samtidighed

Låsefri kode er berygtet for at være svær at analysere. Brug grundig testning (TSan, fuzzing), formelle modeller, når de findes, og foretræk gennemprøvede implementeringer.

Hvornår skal du vælge CAS

Brug CAS, når:

Flere tråde ofte opdaterer den samme værdi
Mutexer udgør en flaskehals på grund af contention
Den kritiske sektion er meget kort og enkel

Hvornår skal du ikke bruge CAS

Undgå CAS, når:

Opdateringen kræver mere end et par operationer
Korrekthed er vigtigere end gennemstrømning
Teamet mangler ekspertise i låsefri programmering

Hurtigt tjek

Hvorfor bruger vi typisk compare_exchange_weak i en løkke?

Besvar den i den interaktive lektion

Opsummering

Sammenlign-og-udskift opdaterer kun en værdi atomisk, hvis den er lig med en forventet værdi. CAS-løkker håndterer samtidige opdateringer uden låse. Brug compare_exchange_weak i løkker og strong til enkeltstående forsøg.

Gratis at komme i gang

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

Start gratis Se hele kurset

Ofte stillede spørgsmål

Er lektionen “Compare-and-swap- og CAS-mønstre” gratis?

Ja — alle 3 lektioner i læringssporet C++ Academy, inklusive “Compare-and-swap- og CAS-mø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 “Compare-and-swap- og CAS-mønstre”?

Implementér låsefri opdateringer med compare_exchange_weak og compare_exchange_strong 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 2 af 4.

Hvor lang tid tager lektionen “Compare-and-swap- og CAS-mø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

← Tilbage til C++ Academy