Race-Conditions
Treten bei gleichzeitiger Verwendung einer Ressource auf, Puffer von Dateien werden unkontrolliert aufgeteilt.
Wenn mehrere Threads zeitgleich in eine Datei schreiben wollen, entsteht eine Durchmischung der beiden Ergebnisse.
Ebenfalls können “dirty-Reads” vorkommen, bei denen gelesen wird bevor das Ende einer Schreiboperation beendet ist.
Sie können durch den Einsatz passender Kontrollstrukturen verhindert werden.
Sichtbarkeitsprobleme
RAM und Cache sind nicht unbedingt immer synchronisiert.
So kann also auch bei sequentiellem Zugriff auf Daten ein alter Wert erhalten werden, da das aktualisiert Ergebnis nur im Cache liegt.
Deadlocks
Ein Deadlock beschreibt eine Gruppe Threads, die alle auf eine Ressource warten, die ein jeweils anderer der Gruppe bereits für sich beansprucht hat.
Sie können mit einem sog. “Wartet-Auf-Graph” erkannt werden:
Die Prozesse teilen sich die Objekte .
Ein Pfeil bedeutet hier, dass auf wartet, was aber bereits von verwendet werden könnte.
Ein Zyklus beliebiger Größe in einem solchen Diagramm zeigt die Möglichkeit eines Deadlocks auf.
Zur Vorbeugung sollten Sperren immer in einer festgelegten Reihenfolge angefordert werden. Am Beispiel einer Banküberweisung wurde immer erst das Konto mit der höheren Kontonummer gesperrt, um einen Transaktion zu verbuchen. Somit kommt es bei zwei Transaktionen in entgegengesetzte Richtungen nicht zu einem Deadlock.
Thread 1 fordert Sperren für die Konten 101 und 100 an. Thread 2 Ebenfalls. Da die Konten nach numerisch sortiert sind, wird Thread 1 beide Sperren erhalten, da Thread 2 keine Sperre auf 100 anfragen kann bevor er nicht die Sperre auf 101 erhält.