12.并发编程-JMM底层实现原理(杂)

并发编程领域的关键问题

JVM对java内存模型的实现

在java虚拟机中，所有对象的实列都是在推中，对象引用都在栈中，并且堆是线程共享区，栈是线程私有区。虽然说堆式线程共享区，但是前提是线程能够拿到这个对象的引用地址才行。

java调用方法时候，首先将方法打包成栈帧，加入到栈中。

Java内存模型的重排序

解决在并发下的问题

Happens-Before

Volatile的内存语义

public class TestDemo1 {

    private  volatile int a = 0;
    public  void  inc(){
       this.a = a+1;
    }
    public int getA() {
        return a;
    }

    public static void main(String[] args) throws InterruptedException {
        TestDemo1 testDemo1 = new TestDemo1();
        for (int i = 0; i < 1000; i++) {
            final int b = i;
            new Thread(()->{
                testDemo1.inc();
            }).start();
        }

        TimeUnit.MILLISECONDS.sleep(100);
        System.out.println("a理论值="+1000+",a的实际值="+testDemo1.getA());
    }
}

执行代码，会发现volatile虽然保证内存的可见性，但是它进行复合操作并不保证原子性。结果有时候并不是1000

锁的内存语义

final内存语义

synchronized的实现原理

了解各种锁