?Die Zibetkatze tauscht sich gegen den Prinzen aus.“ Die damals geliebten Konkubinen Konkubine Liu und Konkubine Li sind alle schwanger. Es ist offensichtlich, dass jeder, der einen Sohn zur Welt bringt, der Hauptpalast werden kann. Konkubine Liu war schon lange eifersüchtig und befürchtete, dass Konkubine Li einen Sohn zur Welt bringen und zur K?nigin ernannt werden würde, also schmiedete sie einen Plan mit Guo Huai, dem Palastverwalter Dutang, und in Zusammenarbeit mit der Hebamme Youshi, Konkubine Li starb w?hrend der Geburt im Koma. Unerwarteterweise wurde einer Zibetkatze das Fell abgezogen, es war blutig und gl?nzend und nahm den neugeborenen Prinzen mit. Konkubine Liu befahl der Palastmagd Kou Zhu, den Prinzen zu erwürgen, und übergab den Prinzen heimlich dem Eunuchen. Chen Lin steckte den Prinzen in einen Koffer und schickte ihn zu den Acht weisen K?nigen um ihn zu erziehen. Au?erdem sah Zhenzong die geh?utete Zibetkatze und dachte, dass Konkubine Li ein Monster zur Welt gebracht hatte, also degradierte er sie in den kalten Palast. Bald hatte Konkubine Liu Wehen und gebar einen Sohn, der zum Prinzen ernannt wurde und ebenfalls zur K?nigin ernannt wurde. Sechs Jahre sp?ter starb K?nigin Lius Sohn unerwartet an einer Krankheit. Zhenzong hatte keine Erben mehr, also adoptierte er den Sohn seines ?lteren Bruders Baxian Wang (eigentlich der Prinz, der in diesem Jahr ersetzt worden war) als seinen Adoptivsohn und ernannte ihn zum Kronprinzen.

Aus dieser Geschichte geht hervor, dass der Prinz bei seiner Geburt durch eine Zibetkatze ersetzt wurde und durch eine seltsame Kombination von Umst?nden schlie?lich zurückkehrte, um der Prinz zu werden. Obwohl das Ergebnis das gleiche ist, ist der Prozess voller Wendungen und der Prinz hat wirklich ein schlimmes Schicksal. Warum diese Geschichte erz?hlen? Tats?chlich hat es viel mit dem Thema zu tun, das wir heute vorstellen werden. Beim gleichen Ergebnis wei? ich nicht, wie viele Operationen in der Mitte stattgefunden haben. K?nnen wir also denken, dass sich daran nichts ge?ndert hat? In verschiedenen Gesch?ftsszenarien müssen wir dieses Problem sorgf?ltig prüfen.

In einem Multithread-Szenario

1. Thread 1, der erwartete Wert ist A, der zu aktualisierende Wert ist B
2. Thread 2, der erwartete Wert ist A, der zu aktualisierende Wert ist B

Thread 1 erh?lt die CPU-Zeitscheibe Zuerst erh?lt Thread 2 aus anderen Gründen zuerst die CPU-Zeitscheibe. Der Grund ist blockiert. Der Wert von Thread 1 wird mit dem erwarteten Wert von A verglichen. Es wird festgestellt, dass er gleich ist, und dann wird der Wert auf B aktualisiert Zu diesem Zeitpunkt erscheint Thread 3, der erwartete Wert ist B, der zu aktualisierende Wert ist A und der Wert von Thread 3 ist derselbe wie der erwartete Wert. Vergleichen Sie den Wert B und aktualisieren Sie ihn, wenn festgestellt wird, dass er gleich ist der Wert auf A. Zu diesem Zeitpunkt erholt sich Thread 2 von der Blockierung und erh?lt die CPU-Zeitscheibe. Zu diesem Zeitpunkt wird der Wert von Thread 2 mit dem erwarteten Wert A verglichen. Wenn festgestellt wird, dass er gleich ist, wird der Wert aktualisiert zu B. Obwohl Thread 2 den Vorgang ebenfalls abgeschlossen hat, wei? Thread 2 nicht, dass der Wert den ?nderungsprozess von A->B->A durchlaufen hat.

Gib mir ein konkretes Beispiel

Xiao Ming hat 50 Yuan vom Geldautomaten abgehoben, es gab zwei Threads und der Kontostand wurde gleichzeitig von 100 auf 50 ge?ndert Zeit:

• Thread 1 (Geldautomat): Aktuellen Wert 100 abrufen, Aktualisierung auf 50 erwarten;
• Thread 2 (Geldautomat): Aktuellen Wert 100 abrufen, Aktualisierung auf 50 erwarten;
• Thread 1 erfolgreich ausgeführt, Thread 2 ist aus irgendeinem Grund blockiert;
• Zu diesem Zeitpunkt überweist jemand 50 an Xiao Ming;
• Thread 3 (Standard): Holen Sie sich den aktuellen Wert von 50 und erwarten Sie ihn auf 100 aktualisiert werden. Zu diesem Zeitpunkt wird Thread 3 erfolgreich ausgeführt und der Kontostand wird 100;
• Thread 2 erholt sich vom Block und erh?lt 100. Nach dem Vergleich wird der Kontostand weiterhin auf 50 aktualisiert.

An dieser Stelle k?nnen Sie sehen, dass der tats?chliche Saldo sein sollte: 100（100-50+50），但是實際上變?yōu)榱?code style='font-size: 14px;overflow-wrap: break-word;padding: 2px 4px;border-radius: 4px;margin-right: 2px;margin-left: 2px;background-color: rgba(27, 31, 35, 0.05);font-family: "Operator Mono", Consolas, Monaco, Menlo, monospace;word-break: break-all;color: rgb(239, 112, 96);'>50（100-50+50-50）Dies ist das ABA-Problem, das zu falschen Einreichungsergebnissen führt.

L?sung

Um das ABA-Problem zu l?sen, k?nnen Sie eine Versionsnummer hinzufügen. Jedes Mal, wenn der Wert des Speicherorts V ge?ndert wird, wird die Versionsnummer um 1 erh?ht

Codebeispiel

ABA-Probleme durch AtomicStampedReference l?sen

• AtomicStampedReference beh?lt den Objektwert und die Versionsnummer intern bei den Anfangswert übergeben und ursprüngliche Version Nr.;

• Wenn AtomicStampedReference den Objektwert festlegt, müssen sowohl der Objektwert als auch der Statusstempel den erwarteten Wert erfüllen, damit der Schreibvorgang erfolgreich ist.

private static AtomicStampedReference<Integer> atomicStampedReference = new AtomicStampedReference<Integer>(100,1);

public static void main(String[] args) {
//第一個線程
 new Thread(() -> {
  System.out.println("t1拿到的初始版本號:" + atomicStampedReference.getStamp());
  
  //睡眠1秒，是為了讓t2線程也拿到同樣的初始版本號
  try {
   TimeUnit.SECONDS.sleep(1);
  } catch (InterruptedException e) {
   e.printStackTrace();
  }
  atomicStampedReference.compareAndSet(100, 101,atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);
  atomicStampedReference.compareAndSet(101, 100,atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);
 },"t1").start();
 
  // 第二個線程
 new Thread(() -> {
  int stamp = atomicStampedReference.getStamp();
  System.out.println("t2拿到的初始版本號:" + stamp);
  
  //睡眠3秒，是為了讓t1線程完成ABA操作
  try {
   TimeUnit.SECONDS.sleep(3);
  } catch (InterruptedException e) {
   e.printStackTrace();
  }
  System.out.println("最新版本號:" + atomicStampedReference.getStamp());
  System.out.println(atomicStampedReference.compareAndSet(100, 2019,stamp,atomicStampedReference.getStamp() + 1) + "\t當(dāng)前值:" + atomicStampedReference.getReference());
 },"t2").start();
}

1. Threads t1 und t2 erhalten die gleiche anf?ngliche Versionsnummer
3. Thread t1 schlie?t den ABA-Vorgang ab und die Versionsnummer wird auf 3
4 erh?ht . Thread t2 Der CAS-Vorgang ist zu 3 geworden, was nicht mit der Versionsnummer 1 übereinstimmt, die zuvor von Thread t2 erhalten wurde. Das Ergebnis der Ausführung:

L?sen Sie das ABA-Problem durch AtomicMarkableReference

, Der einzige Unterschied zwischen AtomicMarkableReference besteht darin, dass zur Identifizierung der Referenz nicht mehr int verwendet wird, sondern eine boolesche Variable verwendet wird, um anzugeben, ob die Referenzvariable ge?ndert wurde.

t1拿到的初始版本號:1
t2拿到的初始版本號:1
最新版本號:3
false 當(dāng)前值:100

1. Der Anfangswert ist 100, die Anfangsversionsnummer wurde nicht ge?ndert. Thread t1 und t2 haben die gleiche Anfangsversionsnummer erhalten und wurden nicht ge?ndert Operation, und die Versionsnummer wurde ge?ndert true 4. Thread t2 hat den CAS-Vorgang abgeschlossen. Die Versionsnummer ist nicht gleich der von Thread t2 zuvor erhaltenen Versionsnummer

AtomicStampedReference可以給引用加上版本號，追蹤引用的整個變化過程，如：A -> B -> C -> D -> A，通過AtomicStampedReference，我們可以知道，引用變量中途被更改了3次。但是，有時候，我們并不關(guān)心引用變量更改了幾次，只是單純的關(guān)心是否更改過，所以就有了AtomicMarkableReference

t1版本號是否被更改:false
t2版本號是否被更改:false
是否更改過:true
false 當(dāng)前值:100

多說幾句

以上是本期關(guān)于CAS領(lǐng)域的一個經(jīng)典ABA問題的解析，不知道你在實際的工作中有沒有遇到過，但是在面試中這塊是并發(fā)知識考查的重點。如果你還沒接觸過此類的問題，我的建議是你自己將上面的代碼運行一下，結(jié)合理論去理解一下ABA問題所帶來的問題以及如何解決他，這對你日后的開發(fā)工作也是有莫大的幫助的！

Das obige ist der detaillierte Inhalt vonDer Interviewer fragt Sie: Wissen Sie, was ein ABA-Problem ist?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!