Парни, привет, поясните плиз высокоуровневой код-обезъяне, CAS выполняются атомарно, если

Question

Парни, привет, поясните плиз высокоуровневой код-обезъяне, CAS выполняются атомарно, если

проц поддерживает, а как это в принципе происходит? Я понимаю, что можно сравнить результат с ожидаемым результатом, но чтобы это сделать, нужно же сначала прочитать текущее значение? То есть рид все равно будет блокирующим, иначе другой поток может поменять значение, пока оно читается и происходит инкремент например?

#assembler #programming #russian

0

20.03.2022

9 ответов

15 просмотров

Nikita Автор вопроса

Aiwan \ (•◡•) / _bot
а вобще вот этот человек @jinxonik в теме этой раз...

Спасибо))

0

20.03.2022

Eugene Krasnikov (ᴊɪɴ x)

Идёт блокировка шины, во время которой параллельные потоки блокируются. По крайней мере, если они пытаются обратиться к тому же участку памяти. Я точно не скажу, кэш-линия вся блокируется или 8 байт или ещё сколько-то.

0

20.03.2022

Nikita Автор вопроса

Eugene Krasnikov (ᴊɪɴ x)
Идёт блокировка шины, во время которой параллельны...

Ага, прочитал, спасибо. Просто в джавке есть такие классы как AtomicInteger и т.п., не очень понятно было, как они без "грязного" чтения обходятся

0

20.03.2022

Eugene Krasnikov (ᴊɪɴ x)

Nikita
Ага, прочитал, спасибо. Просто в джавке есть такие...

Одна инструкция блокирует шину, пока производит чтение, сравнение и обмен.

0

20.03.2022

disba1ancer

Eugene Krasnikov (ᴊɪɴ x)
Одна инструкция блокирует шину, пока производит чт...

для xchg, лок, кажется, вообще не нужен

0

20.03.2022

Eugene Krasnikov (ᴊɪɴ x)

disba1ancer
для xchg, лок, кажется, вообще не нужен

xchg всегда с локом работает. Поэтому не рекомендуется его использовать с памятью. Хотя, по факту, это вроде не замедляет работу, т.к. вряд ли разные потоки при нормальной работе будут обращаться через xchg к одному участку не в целях spin-lock'а. Надо б ещё потестить.

0

20.03.2022

disba1ancer

Eugene Krasnikov (ᴊɪɴ x)
xchg всегда с локом работает. Поэтому не рекоменду...

я про то что сам префикс не нужен

0

20.03.2022

Eugene Krasnikov (ᴊɪɴ x)

disba1ancer
я про то что сам префикс не нужен

Да, я ж не спорю.

0

20.03.2022