i++在多线程下的原子性问题

 

    static int i = 0;
    @Test
    void iTest() throws InterruptedException {
        Thread t1 = new Thread(()->{
            for (int j = 0; j < 50000; j++) {
                i++;
            }
        });

        Thread t2 = new Thread(()->{
            for (int j = 0; j < 50000; j++) {
                i--;
            }
        });

        t1.start();
        t2.start();

        t1.join();
        t2.join();
        System.out.println(i);
    }

以上代码的结果可能为正数，负数或零，原因是java中对静态变量的自增或自减并不是原子操作。

例如对于i++而言，（i为静态变量），实际会产生如下的JVM字节码指令

getstatic    i     //获取静态变量i的值 （压入操作数栈）
iconst_1         //准备常量1 （压入操作数栈）
iadd               //加法运算  （在操作数栈中完成）
putstatic    i    //将修改后的值存入静态变量i

i--的字节码指令如下

getstatic    i     //获取静态变量i的值 （压入操作数栈）
iconst_1         //准备常量1 （压入操作数栈）
isub               //减法运算  （在操作数栈中完成）
putstatic    i    //将修改后的值存入静态变量i

在并发情况下，以上八行代码会乱序，导致结果不一定为0，可以在for循环外加上synchronized锁，结果就一定为0了。