Wie können mehrere Threads dieselben Daten völlig ohne Locks ändern? Die Wissenschaft der Lock-Free-Programmierung und des ABA-Problems