warunki wyścigu i Atomy Clojure

Question

Hi guys: Dokumentacja dla Clojure „atom” stwierdza, że ​​-

"Changes to atoms are always free of race conditions." 

However- warunkiem rasa nie jest zdefiniowana tylko w kategoriach zmiany, ale raczej w kontekście równoległe operacje logiczne w różnych wątkach.

Zastanawiam się - jakie jest znaczenie gwarancji, że "Zmiany w atomach są zawsze wolne od warunków wyścigu"? W języku java mamy prymitywy atomowe, które obsługują określone wątkowe operacje, które są specyficzne (na przykład AtomicInteger obsługuje operację "getAndIncrement"). A atomy clojure są typu niezależnej od, na przykład, może to wywołać:

(atom "Hi im a string") Or 
    (atom (.getClass Object)) 

elastyczność sposobu atom oznacza Clojure pod maską nie jest „elegancko” dostarczanie typ specyficznych atomowy/wątku bezpieczny operacje dla atomów.

Zatem chciałbym zapytać - co dokładnie jest metoda atom „robi” do naszych obiektów

Answer 1

atom jest skutecznie atomowej miejsce przechowywania, które jest gwarantowane (czyli jest to po prostu synchronizacji całego obiektu?) być bezpieczny dla wątków.

Atomy są podobne do atomowych typów danych Javy (takich jak AtomicReference), ale w rzeczywistości są nieco bardziej wydajne, ponieważ atom pozwala na użycie dowolnej funkcji do aktualizacji atomu. Przykład:

(def a (atom "foo")) 

(defn appender [x] 
    "Higher order function that returns a function which appends a specific string" 
    (fn [s] 
    (str s x))) 

(swap! a (appender "bar")) 
=> "foobar" 

W powyższym przykładzie, operacja swap! zachowuje atomowo, mimo że działanie appender my przejściu z nim może być potencjalnie bardzo złożone funkcje. W efekcie atomy pozwalają na użycie arbitralnej operacji aktualizacji w sposób atomowy (powinieneś normalnie trzymać się czystych funkcji, ponieważ funkcja może być wywołana wiele razy w przypadku rywalizacji).

Atomy oczywiście nie gwarantują bezpieczeństwa nici umieszczanych w nich obiektów (np. W przypadku umieszczenia niezsynchronizowanej tablicy Java ArrayList w środku, to nadal nie jest bezpieczne w przypadku równoczesnego użytkowania). Jeśli jednak pozostaniesz niezmiennymi typami danych Clojure, które są całkowicie bezpieczne dla wątków, będziesz dobry.