【Java内存模型】笔记

【Java内存模型】笔记

 

【Java内存模型】笔记，此专栏是用来记录一些关于Java内存模型的知识点的，可能会比较零零散散。比较详细的内存模型应该会写专门的博客来学习。

 

1、这就涉及到内存模型的知识了，我们都知道CPU运算速度极快，但是每次读取数据都要直接访问内存，会严重拖慢CPU的速率，所以在内存之外就有了一层高速缓存，在JAVA中，每次线程读取到一个数据，都会将这份数据copy到高速缓存中，然后写操作在高速缓存中进行，然后在“空余时间”，将高速缓存中的结果刷新到内存中。 回到问题，博主得到的结果大概率少于10000，就可以这样解释，比如A线程从Java主内存中读取到Num的值为100 ，然后进行+1操作，写入到自己的高速缓存中，但是还没来得及同步到Java主内存中，而这时，B线程已经同理读取到100了，它也进行+1操作，更新自己的高速缓存，然后刷新到主内存中。这样主内存中的num为101，但是实际上却做了2次 +1操作，所以结果会少于10000。 而你执行了打印操作，那么CPU获得一定的空余时间，线程每次都有空余时间将高速缓存的值刷新到主内存中，所以你可以每次得到10000。 JAVA的 volatile 关键字就是用于线程可见性的，强制线程读取主内存中的值。这样就可以避免线程不安全了。

2、要说明线程同步问题首先要说明Java线程的两个特性，可见性和有序性。多个线程之间是不能直接传递数据交互的，它们之间的交互只能通过共享变量来实现。拿上篇博文中的例子来说明，在多个线程之间共享了Count类的一个对象，这个对象是被创建在主内存(堆内存)中，每个线程都有自己的工作内存(线程栈)，工作内存存储了主内存Count对象的一个副本，当线程操作Count对象时，首先从主内存复制Count对象到工作内存中，然后执行代码count.increment()，改变了num值，最后用工作内存Count刷新主内存Count。当一个对象在多个内存中都存在副本时，如果一个内存修改了共享变量，其它线程也应该能够看到被修改后的值，此为可见性。多个线程执行时，CPU对线程的调度是随机的，我们不知道当前程序被执行到哪步就切换到了下一个线程，一个最经典的例子就是银行汇款问题，一个银行账户存款100，这时一个人从该账户取10元，同时另一个人向该账户汇10元，那么余额应该还是100。那么此时可能发生这种情况，A线程负责取款，B线程负责汇款，A从主内存读到100，B从主内存读到100，A执行减10操作，并将数据刷新到主内存，这时主内存数据100-10=90，而B内存执行加10操作，并将数据刷新到主内存，最后主内存数据100+10=110，显然这是一个严重的问题，我们要保证A线程和B线程有序执行，先取款后汇款或者先汇款后取款，此为有序性。

3、主内存和线程工作内存。

4、volatile保证了多线程的可见性，却不具有操作的原子性，用volatile修饰的变量依然具有并发问题，syschronized能够保证操作的原子性，但是对性能开销比较大，取长补短： 可以让变量定义为volatile，变量改变写入部分用synchronized保证写入一致，是个不错的选择。

关于volatile：IBM资源库里面有一篇不错的文章：https://www.ibm.com/developerworks/cn/java/j-jtp06197.html

Java内存模型和计算机内存模型之间的对比也有一篇不错的文章，推荐一下：http://ifeve.com/java-memory-model-6/