6
Zgodnie z this pytanie odpowiedź wydaje się, że LOCK CMPXCHG na x86 faktycznie powoduje pełną barierę. Można przypuszczać, że to właśnie pod maską generuje się Unsafe.compareAndSwapInt(). Staram się dowiedzieć, dlaczego tak jest: z protokołem MESI, po aktualizacji linii pamięci podręcznej, czy procesor może po prostu unieważnić tylko tę linię pamięci podręcznej na innych rdzeniach, zamiast dezaktywować WSZYSTKIE bufory magazynu/obciążenia rdzenia, który wykonał CAS? Wydaje mi się, że jest to marnotrawstwem ...Porównaj i zamień na x86 - dlaczego jest to pełna bariera?
Przy pełnej barierze wypłukasz wszystkie pominięte zmiany prognoz, zamiast jednej linii pamięci podręcznej, więc czy nie byłoby gorzej z pełną barierą? Ale oczywiście brakuje mi tutaj :) – Bober02
[Porównaj i zamień] (https://en.wikipedia.org/wiki/Compare-and-swap) na Wikipedii to obejmuje, * Porównuje zawartość lokalizacji pamięci do podanej wartości i, tylko jeśli są takie same, modyfikuje zawartość tej lokalizacji pamięci na nową podaną wartość. Odbywa się to jako pojedyncza operacja atomowa. Atomowość gwarantuje, że nowa wartość jest obliczana na podstawie aktualnych informacji; jeżeli w międzyczasie wartość zostałaby zaktualizowana przez inny wątek, zapis byłby nieudany. * Bez pełnej bariery może zostać przerwana (lub w inny sposób zaktualizowana) i może to unieważnić atomikę. –