并发编程领域的关键问题
 
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的实现原理

了解各种锁

|