C++ Academy · Les

Hazard pointers en het ABA-probleem

Herken het ABA-probleem en beperk het met hazard pointers of tagged pointers

Les 4 van 415 stappen

Hazard pointers en het ABA-probleem is een gratis C++ Academy-les op CoddyKit. Dit is les 4 van 4. Je kunt 3 lessen uit dit leerpad gratis volledig lezen — daarna ontgrendelt CoddyKit PRO alle lessen, plus praktische oefeningen met een ingebouwde code-editor en een AI-tutor die 24/7 beschikbaar is. Deze les maakt deel uit van het leertraject C++ Academy. Je voortgang wordt gesynchroniseerd op het web en in de CoddyKit-app. De cursus C++ Academy bevat in totaal 4 lessen.

Het ABA-probleem

In vergrendelingsvrije code met pointers kan een waarde A zijn, veranderen in B en daarna weer in A veranderen. Een CAS die alleen de waarde vergelijkt, kan niet vaststellen dat er intussen iets is veranderd.

Klassiek ABA-scenario

Thread 1 leest pointer A en bereidt een CAS voor. Intussen verwijdert thread 2 A, wijst een nieuw knooppunt toe dat toevallig het adres van A hergebruikt, waarna de CAS van thread 1 ten onrechte slaagt.

Getagde pointers

Een oplossing is een teller naast de pointer op te slaan. De gecombineerde waarde verandert bij elke bewerking, waardoor ABA detecteerbaar is.

struct TaggedPtr {
    Node* ptr;
    uint64_t tag;
};
std::atomic<TaggedPtr> head;

Beperkingen van tags

Tags vereisen atomics met dubbele breedte, zoals CMPXCHG16B op x86. Ze nemen meer ruimte in en zijn mogelijk niet op elk platform beschikbaar.

Uitdaging bij het vrijgeven van geheugen

Het fundamentele probleem is: hoe verwijder je een knooppunt dat andere threads mogelijk nog benaderen? Vergrendelingsvrije code kan geen eenvoudige delete gebruiken.

Hazard Pointers

Elke thread publiceert de pointer die hij momenteel benadert in een globale hazardlijst. Voordat geheugen wordt vrijgegeven, doorzoekt een thread de hazardlijst — als iemand de pointer gebruikt, wordt het verwijderen uitgesteld.

Werkwijze met Hazard Pointers

Voor elke benadering:

Lees de pointer atomair
Publiceer hem als hazard
Lees hem opnieuw om te bevestigen dat hij niet is veranderd en een race te voorkomen
Gebruik hem
Wis de hazard

Lijsten voor uitgestelde verwijdering

Wanneer een knooppunt niet langer bereikbaar is, voeg je het toe aan een lijst voor uitgestelde verwijdering per thread. Doorzoek periodiek alle hazards; knooppunten die in geen enkele hazard voorkomen, kunnen veilig worden verwijderd.

Geheugen vrijgeven op basis van tijdperken

Een alternatief is om de tijd in tijdperken te verdelen. Een knooppunt kan worden verwijderd zodra alle threads verder zijn dan het tijdperk waarin het knooppunt op de lijst voor uitgestelde verwijdering is gezet. Dit wordt gebruikt in Crossbeam (Rust) en in gelijktijdige gegevensstructuren.

Referentietelling per knooppunt

Verhoog bij het lezen een teller per knooppunt en verlaag die na gebruik. Dit is eenvoudig maar trager dan hazards — elke bewerking voegt atomische verhogingen en verlagingen toe.

Wanneer ABA van belang is

ABA is alleen een probleem als je een "vrije lijst" hebt of geheugenadressen hergebruikt. Met veilig vrijgeven van geheugen, via hazards of tijdperken, verdwijnt het probleem vaak.

Praktisch advies

Vergrendelingsvrije gegevensstructuren zijn mijnenvelden. Gebruik bewezen implementaties uit Folly, Boost of Crossbeam (Rust). Schrijf alleen zelf een implementatie voor educatieve doeleinden of specifieke prestatiekritieke paden, en pas na zorgvuldig meten.

Hulpmiddelen

ThreadSanitizer detecteert dataraces, maar niet alle problemen met de correctheid van vergrendelingsvrije code. Hulpmiddelen voor formele verificatie, zoals CDSChecker en Relacy, onderzoeken uitvoeringsvolgordes systematisch.

Korte controle

Waar verwijst het ABA-probleem naar bij vergrendelingsvrij programmeren?

Beantwoord dit in de interactieve les

Samenvatting

Het ABA-probleem treft vergrendelingsvrije code die geheugenadressen hergebruikt. Getagde pointers, Hazard Pointers en het vrijgeven van geheugen op basis van tijdperken zijn de gebruikelijke oplossingen. Correcte vergrendelingsvrije code is moeilijk — geef de voorkeur aan bewezen bibliotheken boven zelfgeschreven implementaties.

Gratis beginnen

Leer C++ met een AI-tutor — gratis

Schrijf echte code en voer die uit in je browser, krijg direct hulp van een AI-tutor die 24/7 beschikbaar is en ga verder waar je gebleven bent op het web of in de app.

Cursussen: 51
Lessen: 203

Gratis beginnen met leren Bekijk de volledige cursus

Veelgestelde vragen

Is de les “Hazard pointers en het ABA-probleem” gratis?

Ja — je kunt hier op het web alle 3 lessen van het leerpad C++ Academy, waaronder “Hazard pointers en het ABA-probleem”, gratis volledig lezen. Daarna ontgrendelt CoddyKit PRO alle lessen, plus interactieve oefeningen met een ingebouwde code-editor en een AI-tutor die 24/7 beschikbaar is. De cursus C++ Academy bevat in totaal 4 lessen.

Wat leer ik in “Hazard pointers en het ABA-probleem”?

Herken het ABA-probleem en beperk het met hazard pointers of tagged pointers Je oefent met C++ Academy door code rechtstreeks in de browser uit te voeren. Een AI-begeleider die 24/7 beschikbaar is beantwoordt je vragen terwijl je de les doorwerkt.

Heb ik ervaring nodig om met C++ Academy te beginnen?

Ervaring vooraf is niet nodig. C++ Academy op CoddyKit is opgebouwd voor beginners tot gevorderden, zodat je hier of bij het begin kunt starten en in je eigen tempo kunt leren. Dit is les 4 van 4.

Hoe lang duurt de les “Hazard pointers en het ABA-probleem”?

De meeste lessen van CoddyKit duren ongeveer 5–10 minuten. Elke les is kort en interactief, zodat je gestaag vooruitgaat en op het web en in de app precies verdergaat waar je was gebleven.

Kan ik code schrijven en uitvoeren in deze les over C++ Academy?

Ja. Elke les over C++ Academy bevat een ingebouwde code-editor, zodat je rechtstreeks in je browser echte code kunt schrijven en uitvoeren en direct feedback van AI krijgt — lokale installatie is niet nodig.

Alle lessen in deze cursus

← Terug naar C++ Academy