内存模型

内存模型涉及程序运行顺序,可用更好的了解并发编程,有必要了解!

一.内存模型的相关概念

cpu,内存,缓存

cpu向内存写入数据,但是交互较慢,因此产生高速缓存,cpu在缓存中读取和写入数据,结束后再写入内存;
因此每一条线程操作的时候,缓存会因读取问题产生不一致:

缓存不一致的问题:
通常来说有以下2种解决方法：

1）通过在总线加LOCK#锁的方式

2）通过缓存一致性协议

这2种方式都是硬件层面上提供的方式。
　　
这种方式会影响效率,因为锁住后,只能一条线程进入

二.并发编程中的三个概念

1. 原子性: 即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。
2. 可见性: 可见性是指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。
3. 有序性 即程序执行的顺序按照代码的先后顺序执行,指令重排问题

三.Java内存模型

• 原子

Java内存模型只保证了基本读取和赋值是原子性操作，如果要实现更大范围操作的原子性，可以通过synchronized和Lock来实现。由于synchronized和Lock能够保证任一时刻只有一个线程执行该代码块，那么自然就不存在原子性问题了，从而保证了原子性。
好像在最新的JDK中，JVM已经保证对64位数据的读取和赋值也是原子性操作了。

a = 1;//这种是基本赋值
//下面都不属于基本赋值
a ++;
a = b+1;

• 可见

Java提供了volatile关键字来保证可见性;通过synchronized和Lock也能够保证可见性，synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中。因此可以保证可见性。

• 有序
  
  在Java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。
  Java内存模型具备一些先天的“有序性”，即不需要通过任何手段就能够得到保证的有序性，这个通常也称为 happens-before 原则。如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就不能保证它们的有序性，虚拟机可以随意地对它们进行重排序