Thread-safe
Thread-safe ist ein Programmierkonzept, das garantiert, dass sich konkurrierende Threads bei der Veränderung gemeinsam genutzter Datenstrukturen korrekt und ohne unbeabsichtigte Interaktion verhalten.
Es gibt zwei primäre Ansätze zur Erreichung von Thread-Sicherheit:
- Vermeidung gemeinsamer Zustände: Z. B. durch thread-lokalen Speicher (jeder Thread hat eine eigene Kopie der Variablen) oder durch reine schreibgeschützte (unveränderliche) Objekte.
- Synchronisation: Wenn Zustände geteilt werden müssen, wird dies durch gegenseitigen Ausschluss (Serialisierung) oder atomare Operationen (z. B. spezielle Maschinenbefehle) abgesichert.