i++线程不安全体现

案例代码

package thread;

/**
 * @author pangjian
 * @ClassName Test
 * @Description 两个线程并发修改counter值，理想应该觉得是为0，但会导致线程不安全的情况，就会是其他值
 * @date 2021/10/30 12:04
 */

public class Test {

    static int counter = 0;

    public static void main(String[] args) throws InterruptedException {
        Thread t1 = new Thread(() -> {
            for (int i = 0; i < 5000; i++) {
                counter++;
            }
        }, "t1");

        Thread t2 = new Thread(() -> {
            for (int i = 0; i < 5000; i++) {
                counter--;
            }
        }, "t2");

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

        System.out.println(counter);
    }
    
}

---

原理

i++字节码指令

getstatic i // 获取静态变量i的值（主存中）
iconst_1 // 准备常量1
iadd // 自增
putstatic i // 将修改后的值存入静态变量i（存入主存）i--和这差不多

内存模型

出错情况并发图

线程1修改的值由于时间片到了没能写入主存，然后线程2读的值还会是修改之前的值，减一后线程2时间片也到了，线程1写入1执行完毕，线程2就会覆盖线程1的值

一段代码块内如果存在对共享资源的多线程读写操作，称这段代码块为临界区