Java内存模型系列（二）原子性、可见性、有序性

0x01 线程通信规则

jvm采用了共享内存的方式进行线程通信。即线程都拥有自己的工作内存空间，规定每次都要从主内存读取数据，在自己的工作内存中进行操作，然后回写到主内存。因为这样的通信方式，如果多个线程在交错运行，就容易造成共享变量在某个线程中更新了，但是没有回写到主内存。从而引发并发问题

0x02 如何保证原子性

原子性：一个操作不会因为线程调度而中断。如基本类型的读写操作

如何造成：线程切换（复合操作）

解决方法：锁语义、volatile语义（不能保证复合操作的）

0x03 如何保证可见性

可见性：某个线程修改了某个共享变量，其他线程能立刻得知该共享变量的新值

如何造成：指令重排序、线程切换、工作内存没有即时刷新主内存

解决方法：锁语义、volatile语义、final语义

0x04 如何保证有序性

有序性：代码按照顺序执行

如何造成：指令重排序

解决方法：锁语义、as-if-serial、happens-before

0xFF 总结

jmm内存模型就是解决处理器优化重排序和缓存一致性问题的一个模型。那么开发者就不需要关心底层细节如何实现，因为jmm封装了底层实现，提供了如synchronized，volatile，final等关键字来实现