Benutzer:Grünweber-Druide/ABA-Problem

Dieser Artikel ist im Entstehen und noch nicht Bestandteil der freien Enzyklopädie Wikipedia.

Solltest du über eine Suchmaschine darauf gestoßen sein, bedenke, dass der Text noch unvollständig sein und Fehler oder ungeprüfte Aussagen enthalten kann. Wenn du Fragen zum Thema hast, nimm Kontakt mit dem Autor Grünweber-Druide auf.

In der Informatik werden Probleme als ABA-Problem bezeichnet, bei denen während der Synchronisierung Fehler auftraten, wenn an einer Speicherstelle zweimal derselbe Wert gelesen wird und fälschlicherweise daraus geschlossen wird, dass in der Zwischenzeit dieser Wert nicht verändert wurde. Es ist möglich, dass ein anderer Thread (oder Prozess) diese Speicherstelle ausliest, den Wert ändert und dann denselben Wert zurückschreibt.

Das folgende Beispiel verdeutlicht das ABA-Problem:

1. Prozess $P_{1}$ liest den Wert A aus einer Speicherstelle,
2. $P_{1}$ wird unterbrochen, sodass $P_{2}$ weiterarbeiten kann,
3. $P_{2}$ schreibt den Wert B in die Speicherstelle,
4. $P_{2}$ schreibt den Wert A in die Speicherstelle,
5. $P_{2}$ wird unterbrochen, sodass $P_{1}$ weiterarbeiten kann,
6. $P_{1}$ liest den Wert A aus der Speicherstelle,
7. $P_{1}$ entscheidet, dass der Wert in der Speicherstelle nicht verändert wurde und arbeitet unter dieser Annahme weiter.

Obwohl $P_{1}$ weiterarbeiten kann, ist es möglich, dass das Verhalten aufgrund der „versteckten“ Veränderung falsch ist.

Ein Beispiel des ABA-Problems sind nicht-blockierende Datenstrukturen. Wenn ein Element aus einer Liste entfernt wird und dann ein neues Element hinzugefügt wird, kann es vorkommen, dass das neue Element an derselben Speicherstelle (siehe Cache-Algorithmus) abgelegt wird, da das zuvor entfernte Element nicht mehr benötigt wird. Ein Zeiger auf das neue Element ist oft gleich wie der Zeiger auf das alte Element, was das ABA-Problem auslösen kann.

Einzelnachweise

{{DEFAULTSORT:Aba Problem}} [[Kategorie:Parallelverarbeitung]]