Lock-Free
Sistem genelinde sonlu sayıda adım içinde en az bir thread'in ilerlemesini garanti eden non-blocking algoritma sınıfı.
Teknik Bağlam
CAS gibi atomik primitive'ler ve retry döngüleriyle mutex olmadan ortak yapı güncellenebilir. Bir thread durdurulsa bile diğerleri ilerleyebilir.
Sınırlar
Lock-free, wait-free değildir; tek bir thread sürekli başarısız olup starvation yaşayabilir. Ayrıca contention ve cache coherence maliyeti ortadan kalkmaz.
İlgili Kavramlar
- Wait-Free
- Compare-and-Swap
- ABA Problem
- False Sharing