语言网站建设,公司开发个网站有哪些,做网站中显示链接中内容,王者做网站在之前我们了解到了线程的三大特性#xff1a;原子性#xff0c;可见性#xff0c;有序性。
前面的例子我们知道了volatile可以保证共享变量的可见性#xff0c;但是volatile可以保证原子性吗#xff1f;
我们来看看#xff1a;
public class Test {public volatile i…在之前我们了解到了线程的三大特性原子性可见性有序性。
前面的例子我们知道了volatile可以保证共享变量的可见性但是volatile可以保证原子性吗
我们来看看
public class Test {public volatile int inc 0;public void increase() {inc;}public static void main(String[] args) {final Test test new Test();for(int i0;i10;i){new Thread(){public void run() {for(int j0;j1000;j)test.increase();};}.start();}while(Thread.activeCount()1) //保证前面的线程都执行完Thread.yield();System.out.println(test.inc);}
}来想一想这段程序的输出结果然后copy到本地运行看一看效果。
可能我们想的结果应该是10000不过最终运行的结果往往达不到10000可能我们会有疑问不对啊上面是对变量inc进行自增操作由于volatile保证了可见性那么在每个线程中对inc自增完之后在其他线程中都能看到修改后的值啊所以有10个线程分别进行了1000次操作那么最终inc的值应该是1000*1010000。
前面我们讲到volatile是可以保证可见性的不过上述程序的错误在于volatile没法保证程序的原子性。
我们知道变量的自增不是原子性的。它包括两个步骤
1.读取变量的值
2.给变量的值加1并写入工作内存。
我们想象这样一种情况线程1在操作inc变量自增的时候可能会遇到这种状况读取到了inc变量的值这个时候inc的值为10还没有进行自增操作时候线程1阻塞了紧接着线程2对inc变量进行操作注意这个时候inc的值还是10线程2对inc进行了自增操作这个时候inc的值是11并将这个改变写到主存中好了现在线程1恢复了它并不会去主存中读取inc的值因为inc已经在它的缓存中了所以继续进行之前的操作注意这个时候线程1的缓存中inc的值是10线程1对inc的值进行加1.inc等于11然后写入主存。
我们发现两个线程都对inc进行了一轮操作但是inc的值只增加了1.
可能我们还是会有疑问不对啊前面不是保证一个变量在修改volatile变量时会让缓存行无效吗然后其他线程去读就会读到新的值对这个没错。这个就是上面的happens-before规则中的volatile变量规则但是要注意线程1对变量进行读取操作之后被阻塞了的话并没有对inc值进行修改。然后虽然volatile能保证线程2对变量inc的值读取是从内存中读取的但是线程1没有进行修改所以线程2根本就不会看到修改的值。
