В чем разница между блокировкой и атомом / сбросом! / Обменом! в Clojure

Question

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

(def lock (Object.))

(locking lock
  ...some operation)

(def state (atom true))

(when @state
  (reset! state false)
  ...some operation
  (reset! state true))

Answer 1

Блокировка (или синхронизация) необходима только в том случае, когда несколько потоков изменяют часть изменяемого состояния.

Макрос locking - это низкоуровневая функция, которую почти никогда не требуется использовать в Clojure. В некотором смысле это похоже на синхронизированный блок в Java.

В clojure обычно просто используют atom для этой цели. В редких случаях требуется agent, ref. В еще более редких ситуациях вы можете использовать динамический c Var для получения изменяемого локального для потока состояния.

Внутренне Clojure atom делегирует все валютные операции классу java.util.concurrent.atomic.AtomicReference.

---

Ваш фрагмент кода показывает неправильное понимание цели и действия атома. Два параллельных потока могут обрабатывать ваш код атома одновременно, поэтому попытка не обеспечивает безопасность потока и приведет к ошибкам и повреждению данных.

---

Если вы действительно хотите изучить примитивы (т. Е. Java 1.2) примитивы синхронизации, см .:

• Oracle документы
• Книга Эффективные Java (1-е издание показывает большинство деталей, 3-е изд. Относится к классам более высокого уровня)
• Книга Java Параллелизм на практике Эта книга настолько страшна, что обернется твои волосы белые. Прочитав это, вы будете настолько бояться параллельного выполнения, что даже не будете думать о повторном выполнении.
• Двойная проверка блокировки нарушена : A Отличный пример того, как трудно получить правильную блокировку (также здесь ).