在Java多线程中，i++和i--是非线程安全的。
例子：
public class PlusPlusTest {
public static void main(String[] args) throws InterruptedException {
Num num = new Num();
ThreadA threadA = new ThreadA(num);
ThreadB threadB = new ThreadB(num);
threadA.start();
threadB.start();
Thread.sleep(200);
System.out.println(num.count);
}
}
class ThreadA extends Thread {
private Num num;
public ThreadA(Num num) {
this.num = num;
}
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
num.count++;
}
}
}
class ThreadB extends Thread {
private Num num;
public ThreadB(Num num) {
this.num = num;
}
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
num.count++;
}
}
}
class Num {
int count = 0;
public Num() {
}
}以上代码输出结果基本上不是2000，会比2000小。
原因：
在线程A中，i++的过程为：
temp1 = i; temp2 = temp1 + 1; i = temp2;
在线程B中，i++的过程为：
temp3 = i; temp4 = temp3 + 1; i = temp4;
在i=0的时候，线程A和B同时读取i=0。
线程A执行++后，i被修改成1。
线程B执行++后，i被修改，但还是1。
问：这样的解释对么？
想到把count变量申明为volatile，但是：
即使把count申明为volatile，输出的结果也不是2000，请问为什么？
class Num {
volatile int count = 0;
public Num() {
}
}最后
把count变量包装成AtomicInteger之后，输出的结果为2000，正确，这又是为什么？
![[Web フロントエンド] Node.js クイック スタート](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
volatileは操作のアトミック性を保証しないため、i++この操作はアトミック操作ではありません。は実際にはあまり適切ではありません。
i++の操作は、CPU の読み取りを指します。 エラーが発生しました。実行シーケンスは次のとおりです:は、
であることを読み取ります。线程1の値がi、0は、
であることも読み取ります。线程2の値がi、0は
に書き込みました。线程1操作を実行し、結果の値+1をメモリ1は
线程2操作を実行し、結果の値+1をメモリに書き込みます。1は可視性のみを保証できます。つまり、
volatileの最新の値をリアルタイムで読み取ることができますが、アトミック性、つまり上記の実行シーケンスの発生が完全に許可されることは保証できません。この質問に対する私の回答も参照できます: https://segmentfault.com/q/10...iはアトミック
とAtomicIntegerによって実装されています。ソース コードを大まかに理解しましょう。 リーリーint重要な点はJavaです。このメソッドは、の値が条件を満たしているかどうかを判断します。条件が満たされている場合は、ループを直接終了します。 、正常になるまで
compareAndSet()が繰り返されます。currentiは此时i的值是否和current相等によって実装されています。これはすべて再++メソッドであるはずですが、私はそれらを勉強していません。ただし、平均的なプログラマはプログラミングに触れることがありません。
compareAndSet方法Volatile は可視性のみを保証できます。つまり、他の人が変更した直後にそれを読み取ることができますが、あなたが変更したときに他の人もそれを変更する可能性があります。
AtomicInteger は CAS (Compare And Swap) に基づいています。
私は答えを書くのが面倒です。これは非常に良い記事です: Java での同時プログラミング: 揮発性キーワード分析
Volatile は、毎回取得されるデータが最新であることを保証します (メモリから読み取られます)。i++; --> i=i+1; i+1 が i に値を割り当てずに実行された場合、別のデータが得られるという保証はありません。スレッドが取得したデータは最新であり、後者はアトミック操作であるため、i = this が確実に実行されることが保証されます