线程间共享的变量需要使用volatile关键字声明的原因:这涉及到java内存模型: 在java虚拟机中java变量的值保存在主内存中,当线程访问一个变量的时候,会先获取一个副本,并保存在工作内存中,如果线程修改变量的值,虚拟机会在某一个时刻,将修改后的值回写到主内存,什么时候回写是不确定的,这样会导致一个线程更新了变量,另一个线程可能没有读取到最新的值。
volatile关键字的目的是告诉虚拟机:每次访问变量时,总是获取主内存的最新值,每次修改变量后,立刻回写到主内存
volatile关键字解决的是共享变量在线程间的可见性问题:当一个线程修改了某个共享变量的值,其他线程能够立刻看到修改后的值。
一百个线程对一个使用了volatile的关键字进行n++,所有线程执行结束后n是否s 100呢?
答:可能不是。volatile只是保证了共享变量n的可见性,如果是对n进行赋值的操作改变n的值,是原子性的,线程安全,可是对于n++操作,是非原子性的,对共享变量写入的时候,必须保证是原子操作,原子操作是指不能被中断的一个或者一系列操作
n = n + 1;//100
编译器经过三个指令操作:ILOAD IAND ISTORE
Threa1拿到n=100,执行完指令1ILOAD 后,cpu被Thread2占用,执行完ILOAD IAND ISTORE操作,n是101,此时Thread1继续执行 IAND ISTORE指令,n还是被赋值101,两个线程都执行n = n + 1语句,得到的结果却是只被加了一次。
要保证原子性,必须在ILOAD之前 ISTORE之后加锁。
volatile是轻量级同步机制,但是没有保证原子性,如果要想使n最终结果是100,必须对n++操作加锁。