Java AtomicInteger getAndIncrement（）とcompareAndSet

Question

getAndIncrementのcurrentがどのように更新されているかを理解しようとしていますが、ここにそのコードがあります。

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

私のcompareAndSetは、それが次いで次とレジスタの値を更新し、同じであれば電流値は、レジスタに格納された値と同じであるかどうかを比較することを理解します。

currentの代わりにnextを返さない理由は分かりません。

currentはintとして設定され、currentは参照値ではないため、現在の値が5に初期化されている場合は現在の値が5に初期化されます。または、currentを返すと、currentはget()と呼ばれ、レジスタから更新された値を取得します。

Answer 1

これは並行性を改善するためです。

nextが返された場合は、コードを同期させる必要があります。そうしないと、別のスレッドが値を設定して戻すことができます。

nextを返さないと、実際の変更のみが同期する必要があり、同期の責任と最適化が1か所に必要です。 compareAndSet()。メソッド間で同期を共有する場合、安全な状態の変更を調整する方がはるかに複雑です。