Lock-freie Datenstrukturen sind berüchtigt dafür, dass sie schwierig zu implementieren sind, auch sind sie anfällig für versteckte Fehler. Trotzdem gibt es Situationen in denen man Lock-freie Mechanismen einsetzen will – aus Performance- oder anderen Gründen. Das C++-Komitee diskutiert derzeit zwei Vorschläge zur Umsetzung Lock-freier Strukturen: Hazard Pointers und RCU.
Dieser Vortrag präsentiert die Herausforderungen bei der Implementierung Lock-freier Strukturen und wie diese neuen Vorschläge bei der Umsetzung helfen können.
Vorkenntnisse
Grundlegende Kenntnisse atomarer Operationen (atomics).
Lernziele
Einblicke in die Funktion Lock-freier Synchronisation.
//
Detlef Vollmann
ist aktives Mitglied des C++-Standardisierungskomitees (hauptsächlich in der Unterkommission zur Concurrency). Er ist einer der (vielen) Autoren des "C++ Performance Report" und führte die Futures in C++11 ein. Er liefert Support und Schulungen zu Embedded-Systemen und Concurrency in C++.