AtomicStampedReference#compareAndSet выполняет проверки последовательно с использованием логических связок ⇐ JAVA

[Anonymous]

Код: Выделить всё

public boolean compareAndSet(V   expectedReference,
V   newReference,
int expectedStamp,
int newStamp) {
Pair current = pair;
return
expectedReference == current.reference &&
expectedStamp == current.stamp &&
((newReference == current.reference &&
newStamp == current.stamp) ||
casPair(current, Pair.of(newReference, newStamp)));
}

Это исходный код метода CompactAndSet AtomicStampedReference.
Почему он использует newReference == current. ссылка && newStamp == current.stamp? Являются ли здесь множественные логические суждения атомарными? Если нет, то после оценки ожидаемогоReference == current.reference && ожидаемогоStamp == current.stamp, если другие потоки изменяют current.reference на newReference и current.stamp на newStamp , он вернет true и не выполнит casPair(current, Pair.of(newReference, newStamp). Но на самом деле эта модификация завершается другими потоками, и зачем возвращать true?< /п>

Подробнее здесь: https://stackoverflow.com/questions/791 ... ing-logica