Różnica między getAndSet i compareAndSet w AtomicBoolean

Question

Tytuł wątek powinien być self-explnatory ... Jestem nieco mylić między specyfikacją poniżej Methos z AtomicBoolean klasy:

• java.util.concurrent.atomic.AtomicBoolean#compareAndSet
• java.util.concurrent.atomic.AtomicBoolean#getAndSet

Moja assecja jest taka, że ​​oba będą powodować takie samo zachowanie, gdy będą używane jako klauzula boolowska w stanie if:

public class Test { 
    private AtomicBoolean flag = AtomicBoolean(false); 

    public void processSomeAction() { 
    if (flag.getAndSet(false)) { // Shouldn't this be similar to flag.compareAndSet(false) 
     // process some action 
    } 
    } 
    //... 
    private void internalMutatorMethod() { 
    // do some staff then update the atomic flag 
    flas.set(true); 
    } 
} 

Zakładając, że chcę odzyskać aktualną wartość flagi i zaktualizować ją automatycznie, czy obie metody nie powinny generować tego samego zachowania?

Byłbym wdzięczny za wszelkie wyjaśnienia dotyczące tego, jak i kiedy używać każdego z nich, jeśli brakuje wewnętrznych różnic.

Answer 1

The documentation jest całkiem jasne.

• getAndSet -> "Atomowo ustawia na podaną wartość i zwraca poprzednią wartość."
• compareAndSet -> "Atomowa ustawia wartość na podaną zaktualizowaną wartość, jeśli aktualna wartość == oczekiwana wartość."

Nic dziwnego, że compareAndSet przyjmuje dwa argumenty.

W Twoim konkretnym przypadku:

• if (flag.getAndSet(false)) będzie ustawiony flag do false tylko jeśli jego poprzednia wartość była true
• To byłoby odpowiednikiem if (flag.compareAndSet(true, false))

Answer 2

Kiedy sprawdzili realizację Znalazłem następujące

public final boolean getAndSet(boolean newValue) { 
    for (;;) { 
     boolean current = get(); 
     if (compareAndSet(current, newValue)) 
      return current; 
    } 
} 

Również podczas sprawdzania javadoc, compareAndSet ustawia wartość tylko wtedy, gdy przejście porównania podczas getAndSet po prostu ustaw wartość i zwróć poprzednią wartość.

Answer 3

Można spojrzeć na kod dla lepszego zrozumienia:

public final boolean getAndSet(boolean newValue) { 
    for (;;) { 
     boolean current = get(); 
     if (compareAndSet(current, newValue)) 
      return current; 
    } 
} 

W getAndSet, jeśli wartość logiczną zmieniła między czasie get() stara wartość i czas próby zmiany jego wartości, compareAndSet nie zmieni jej wartości. Dlatego getAndSet wywołuje compareAndSet w pętli, dopóki wartość boolowska nie zostanie ustawiona na nową wartość.

Jak na swoim przykładzie kodu:

flag.getAndSet(false) zwraca starą wartość AtomicBoolean.Z drugiej strony, flag.compareAndSet(x,false) (zauważ, że są dwa argumenty) zwraca, czy AtomicBoolean został zmodyfikowany, lub innymi słowy, zwraca, czy stara wartość AtomicBoolean była x.