这里主要介绍一下内存模型的运作原理,比如八大原子操作等。主要概念:主存区,工作内存,线程内存。
主要的使用原理是:
1:存在主存中的对象先被read出来。
2:read出来的对象需要被load到工作内存中去。
3:单线程需要使用该对象时,会被use到线程内存中去。
4:当对对象在线程中发送修改或操作之后,会被assign到工作内存中去。
5:然后工作内存中的对象会被store到主内存中去。
6:最后被store的对象会被write到旧对象中去,这样就完成了一个整体的对象使用流程。
这里稍微扩展一下:避免不了的一个问题就是多线程操作,数据不同步,关于锁的问题。
synchronized 就是将这把个八个原子操作都锁住了,所以说这个是悲观锁,特别占资源。
还有volatile,其实就是一个可见性的问题。就是volatile关键字修饰的对象,会将read和load锁住,看成一个原子操作。当主存中的值变更时,cpu通过总线嗅探机制,让工作内存中的值失效,这时候需要使用该对象时,会重新读取新的值。所以说volatile只是提供了可见性,并没有保证一致性的问题。
CAS(compare and swap)问题,如果LOCK实现原理。一个线程间共享的变量,首先在主存中会保留一份,然后每个线程的工作内存也会保留一份副本。这里说的预期值,就是线程保留的副本。当该线程从主存中获取该变量的值后,主存中该变量可能已经被其他线程刷新了,但是该线程工作内存中该变量却还是原来的值,这就是所谓的预期值了。当你要用CAS刷新该值的时候,如果发现线程工作内存和主存中不一致了,就会失败,如果一致,就可以更新成功。其实就是一个一直自旋的操作。
如下图: