i++ 是线程安全的吗?不是!(经典的内存不可见问题)
//i++和++i:
{
int i = 1;
int j1 = i++;
System.out.println("j1=" + j1); // 输出 j1=1
System.out.println("i=" + i); // 输出 i=2
}
{
int i = 1;
int j2 = ++i;
System.out.println("j2=" + j2); // 输出 j2=2
System.out.println("i=" + i); // 输出 i=2
}
i++:
读值,+1,写值。在这三步任何之间都可能会有CPU调度产生,造成i的值被修改,造成脏读脏写。
如果是方法里定义的,一定是线程安全的,因为每个方法栈是线程私有的。
如果是类的静态成员变量,i++则不是线程安全的,因为i++会被编译成几句字节码语句执行,而每个线程都有自己的工作内存,每个线程需要对共享变量操作的时候必须先把共享变量从主内存load到自己的工作内存,登完成对共享变量的操作时再保存到主内存。如果一个线程运算完成后还没刷到主内存,此时这个共享变量的值被另一个线程从主内存读取到了,这个时候读取的数据就是脏数据了,他会覆盖其他线曾程计算的值。可以通过synchronize块来提供同步。
volatile:
每次修改volatile变量都会同步到主存中。
每次读取volatile变量的值都强制从主存读取最新的值(强制JVM不可优化volatile变量,如JVM优化后变量读取会使用cpu缓存而不从主存中读取)、
加了volatile和没加volatile都无法解决非原子操作的线程同步问题:
多个线程同时从主内存中读取某个值。
r1(线程), r3读到的值都是 0,两个线程都将 +1 写入 i, 最后 i等于 1,但是却进行了两次自增操作。
解决:使用循环CAS,实现i++原子操作(cas,会将操作的值与原值比较,相同才将新值写入主内存。)使用支持原子性操作的类,如 java.util.concurrent.atomic.AtomicInteger,它使用的是 CAS 算法