引用部分:
(1)我们都知道计算机有高速缓存的存在,处理器并不是每次处理数据都是取内存的。JVM定义了自己的内存模型,屏蔽了底层平台内存管理细节。对于java开发人员,要清楚在jvm内存模型的基础上,如何解决多线程的可见性和有序性。
那么,何谓可见性? 多个线程之间是不能互相传递数据,它们之间的沟通只能通过共享变量来进行。Java内存模型(JMM)规定了jvm有主内存,主内存是多个线程共享的。当new一个对象的时候,也是被分配在主内存中,每个线程都有自己的工作内存,工作内存存储了主存的某些对象的副本,当然线程的工作内存大小是有限制的。当线程操作某个对象时,执行顺序如下:
(1) 从主存复制变量到当前工作内存 (read and load)
(2) 执行代码,改变共享变量值 (use and assign)
(3) 用工作内存数据刷新主存相关内容 (store and write)
JVM规范定义了线程对主存的操作指令:read,load,use,assign,store,write。当一个共享变量在多个线程的工作内存中都有副本时,如果一个线程修改了这个共享变量,那么其他线程应该能够看到这个被修改后的值,这就是多线程的可见性问题。
那么,什么是有序性呢 ?线程在引用变量时不能直接从主内存中引用,如果线程工作内存中没有该变量,则会从主内存中拷贝一个副本到工作内存中,完成后线程会引用该副本。当同一线程再度引用该字段时,有可能重新从主存中获取变量副本(read-load-use),也有可能直接引用原来的副本(use)。
(2)
public class Test {
public static void main(String[] args) {
Runnable runnable=new Runnable() {
Count count=new Count();
@Override
public void run() {
count.count();
}
};
for(int i=0;i<=10;i++){
new Thread(runnable).start();
}
}
}
class Count{
int num;
public void count(){
for(int i=1;i<=10;i++){
num+=i;
}
System.out.println(Thread.currentThread().getName()+":"+num);
}
}
有两种解决方案:
1. 将Count中成员变量num变成count方法的局部变量;
2. 将Runnable中的成员变量Count拿到run方法中,这时count引用是线程内的局部变量;
说明了:成员变量的类用于多线程时是不安全的。
原因:因为建立的Count对象是线程共享的,一个线程改变了其成员变量num值,下一个线程正巧读到了修改后的num,所以会递增输出。