Brauchen Sie Hilfe beim Verständnis des "ABA" -Problems

Question

Ich lese einen Artikel, der das ABA-Problem beschreibt, aber es gibt etwas, das ich nicht verstehen kann. Ich habe Quellcode, der nicht funktioniert und es ist ähnlich dem Beispiel in Artikel, aber ich verstehe das Problem nicht. Hier ist der Artikel

http://fara.cs.uni-potsdam.de/~jsg/nucleus/index.php?itemid=6

Dort heißt es: Während der tatsächliche Wert von head_ gleich ist (a) die next_ Zeiger ist nicht

Aber wie kann das sein? Wenn zwei Struktur

struct node { 
    node *next; 
    data_type data; 
}; 

„head_“ und „Strom“ auf den gleichen Bereich in Speicherobjekten, wie kann Kopf _-> weiter und strom-> nächsten Punkt anders?

Es sagt auch: Die letzte Operation, die vergleichen und tauschen von foo SUCCEEDS wenn es nicht sollte.

Was sollte es dann tun? Laden Sie die gleiche Adresse und versuchen Sie es erneut? Was ist der Unterschied?

Zeit in meinem Code habe ich ähnliche Situation, wo ich compareAndSwap auf dem Objekt zu tun, die von einem anderen Thread auf das Objekt mit ähnlicher Adresse geändert werden könnten

deleted.compare_exchange_strong(head, 0); 

aber, wenn das Objekt geändert wird gut initialisiert und es ist Nächster Zeiger enthält Zeiger auf initialisiertes Objekt, was ist das Problem?

Vielen Dank im Voraus.

Answer 1

„head_“ und „Strom“ auf den gleichen Bereich im Speicher kann wie Kopf _-> weiter und strom-> nächsten Punkt anders?

Sie nicht; aber der Code benötigt, dass sowohl head als auch head->next stabil sind, während die pop-Methode ausgeführt wird - aber das CAS stellt nur dies für head sicher. Es wird stillschweigend davon ausgegangen, dass head->next nicht geändert wird, ohne head zu ändern, was falsch ist. Also liest es etwas wie current->next und etwas später ändert es sich.

Es sagt auch: Die letzte Operation, die vergleichen und tauschen von foo SUCCEEDS wenn es nicht sollte.

Was sollte es dann tun? Laden Sie die gleiche Adresse und versuchen Sie es erneut? Was ist der Unterschied?

Ja. Die Methode muss warten (oder weiter versuchen), bis niemand die Struktur unter ihren Händen durcheinander bringt.

aber wenn das Objekt gut initialisiert ist und der nächste Zeiger den Zeiger auf das initialisierte Objekt enthält, was ist das Problem?

Könnte alles sein. Verstöße gegen Invarianten der Klassen, doppelte Freigaben/Speicherverluste, Datenverluste usw.