Java AtomicInteger getAndIncrement() и compareAndSet

Question

Я пытаюсь понять, как обновляется в getAndIncrement, вот этот фрагмент кода.

public final int getAndIncrement() { 
    for (;;) { 
     int current = get(); 
     int next = current + 1; 
     if (compareAndSet(current, next)) 
      return current; 
    } 
} 

Я понимаю, что compareAndSet Сравнит ли такое же, как значение, хранящееся в регистре текущего значения, если это то же самое, то измените значение в регистре с другой.

Часть, которую я не понимаю, это то, почему она не возвращает next вместо current.

При вводе цикла current задается как int, а current не является опорным значением, поэтому если ток инициализирован как 5, то когда он возвращает ток, должно ли оно быть равно 5? Или, когда он вернется current, current снова вызовет get(), чтобы получить обновленное значение из регистра?

Answer 1

Это улучшает параллелизм.

Если он вернул next, метод должен иметь синхронизированный код, иначе другой поток может изменить значение между его настройкой и возвратом.

Не возвращая next, только фактическая модификация требует синхронизации, постановки ответственности и оптимизации синхронизации в одном месте; compareAndSet(). Когда синхронизация распределяется между методами, гораздо сложнее скоординировать безопасные изменения состояния.