- zamykání je drahé => nový přístup bez zamykání
- ať seběhnou vlákna jakkoli, vždy alespoň jedno úspěšně skončí
- neexistuje souběh vláken, tak aby nějaké vlákno někonečně čekalo / bylo zablokováno
- CAS (compare and swap) je jediná vhodná instrukce pro lock-free programování
bool CAS(T* addr, T exp, T val)- operace je provedena atomicky a asynchronně
- komentář
// DONT delete - čtenáři mají stále starou kopii