🚀 go-pugleaf

minięty czas pisze:
>     czy  instrukcja ‘compare  and  set’ (oraz  wszystkie  podobne),
> to  nie jest instrukcja blokująca?   co z tego, że sama w sobie nie blo-
> kuje, jeśli  i tak  oparte  na  niej algorytmy używają jej jako blokera?
> algorytmy, które  zwą siebie mianem ‘lock—free’…   to chyba tylko zwykła
> reklama.

Proponuję autorowi pytania, by zapoznał się z pojęciem ALGORYTMU 
NIEBLOKUJĄCEGO (i zrozumiał, o jakie "blokowanie" tu chodzi) i 
paradygmatami CAS, DCAS, CAS2, MCAS, CASN. W Pentium CMPXCHG jest 
realizacja paradygmatu CAS, zaś CMPXCHG8B - paradygmatu DCAS.  W 
szczególności żeby zrozumiał różnicę między BLOKADĄ SYSTEMOWĄ nakładaną 
na zasoby, długotrwała i bez gwarancji zwolnienia, a blokadą dostępu do 
słowa pamięci na czas wykonywania jednej instrukcji. I ogólnie strategią 
przetwarzania nieblokującego (vide nieblokująca lista wiązana, 
nieblokująca kolejka, nieblokujący stos itd.) i jej różnicą w stosunku 
do klasycznego schematu ZABLOKUJ - PRZETWÓRZ - ODBLOKUJ.

Proponuję 1. rodział książki "Perełki programowania gier", tom 6. z 
HELIONa.