Позволяет ли атомарная переменная не блокировать потоки

Давай разберёмся с этими атомарными штуками, а то народ часто думает, что это волшебная таблетка от всех проблем с потоками. Ну, типа, взял AtomicInteger — и всё, можно расслабиться, потоки сами синхронизируются.

Ну-ка, пример для ясности:

val atomicCounter = AtomicInteger(0)

fun increment() {
    atomicCounter.incrementAndGet() // Не блокирует поток
}

Смотри, в чём прикол: эта операция incrementAndGet() — она неблокирующая. То есть поток не ложится спать, не ждёт, пока другой отпустит замок. Вместо этого он подходит к общей переменной и говорит процессору что-то вроде: «Слушай, чувак, вот тут у нас лежало число 5, да? Если оно до сих пор 5, то впендюрь туда 6. А если пока я болтал, кто-то уже успел его поменять, то... э, бошка думай, давай сначала». Это и есть CAS (Compare-And-Swap) — «сравнил и подменил». И процессор это делает за одну атомарную инструкцию, без всяких блокировок. Красота, да? Ёпта, удобно.

Но вот нюансы, на которых все обжигаются:

• Подходит для простых операций. Инкремент, декремент, установка значения — вот это его родная стихия. Тут он пизда рулю.
• При сложной логике начинается ад. Допустим, тебе нужно сделать что-то типа «проверить значение, и если оно меньше 10, то увеличить». Ты не можешь просто взять и сделать if (atomicCounter.get() < 10) { atomicCounter.incrementAndGet() }. Потому что между get() и incrementAndGet() другой поток может влезть и всё испортить. Придётся городить цикл с повторными попытками (retry-loop), пока не получится. Волнение ебать, пока это пишешь.
• В высококонкурентных сценариях возможна «гонка» (thread contention). Представь очередь в туалет на рок-фестивале. Если народу немного, все заходят и выходят быстро. А если овердохуища народу, то начинается давка: каждый пытается пролезть, его отшивают, он снова пытается. Процессор тратит кучу тактов на эти постоянные «сравнил — не получилось — сравнил снова». И в итоге производительность проседает так, что могла бы быть выше даже со старой доброй блокировкой. Терпения ноль ебать у такого кода.

Так что запомни: атомики — это не серебряная пуля. Для простых счётчиков — идеально. Для сложной логики, где нужно согласованно менять несколько переменных или делать проверки, это превращается в пиздопроебибну. Тут уже лучше взять нормальный Mutex или другие примитивы синхронизации, которые хоть и блокируют, но зато дают чёткий контроль. Не гонись за модным «неблокирующим» кодом везде, где попало, а то сам от себя охуеешь, когда он в проде начнёт тормозить.