Java内存模型原子性原理及实例解析
这篇文章主要介绍了Java内存模型原子性原理及实例解析,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
本文就具体来讲讲JMM是如何保证共享变量访问的原子性的。
原子性问题
原子性是指:一个或多个操作,要么全部执行且在执行过程中不被任何因素打断,要么全部不执行。
下面就是一段会出现原子性问题的代码:
publicclassAtomicProblem{ privatestaticLoggerlogger=LoggerFactory.getLogger(AtomicProblem.class); publicstaticfinalintTHREAD_COUNT=10; publicstaticvoidmain(String[]args)throwsException{ BankAccountsharedAccount=newBankAccount("account-csx",0.00); ArrayListthreads=newArrayList<>(); for(inti=0;i 上面的代码中开启了10个线程,每个线程会对共享的银行账户进行1000次存款操作,每次存款10块,所以理论上最后银行账户中的钱应该是10*1000*10=100000块。我执行了多次上面的代码,很多次最后的结果的确是100000,但是也有几次的结果并不是我们预期的。
14:40:25.981[main]INFOcom.csx.demo.spring.boot.concurrent.jmm.AtomicProblem-thebalanceis:98260.0出现上面结果的原因就是因为下面的操作并不是原子操作,其中的balance是一个共享变量。在多线程环境下可能会被打断。
balance=balance+amount;上面的赋值操作被分为多步执行完成,下面简单解析下两个线程对balance同时加10的过程(模拟存款过程,假设balance的初始值还是0)
线程1从共享内存中加载balance的初始值0到工作内存 线程1对工作内存中的值加10 //此时线程1的CPU时间耗尽,线程2获得执行机会 线程2从共享内存中加载balance的初始值到工作内存,此时balance的值还是0 线程2对工作内存中的值加10,此时线程2工作内存中的副本值是10 线程2将balance的副本值刷新回共享内存,此时共享内存中balance的值是10 //线程2CPU时间片耗尽,线程1又获得执行机会 线程1将工作内存中的副本值刷新回共享内存,但是此时副本的值还是10,所以最后共享内存中的值也是10上面简单模拟了一个原子性问题导致程序最终结果出错的过程。
JMM对原子性问题的保证
自带原子性保证
在Java中,对基本数据类型的变量的读取和赋值操作是原子性操作。
a=true;//原子性 a=5;//原子性 a=b;//非原子性,分两步完成,第一步加载b的值,第二步将b赋值给a a=b+2;//非原子性,分三步完成 a++;//非原子性,分三步完成synchronized
synchronized可以保证操作结果的原子性。synchronized保证原子性的原理也很简单,因为synchronized可以防止多个线程并发执行一段代码。还是用上面存款的场景做列子,我们只需要将存款的方法设置成synchronized的就能保证原子性了。
publicsynchronizeddoubledeposit(doubleamount){ balance=balance+amount;//1 returnbalance; }加了synchronized后,当一个线程没执行完deposit这个方法前,其他线程是不能执行这段代码的。其实我们发现synchronized并不能将上面的代码1编程原子性操作,上面的代码1还是有可能被中断的,但是即使被中断了其他线程也不能访问共享变量balance,当之前被中断的线程继续执行时得到的结果还是正确的。
因此synchronized对原子性问题的保证是从最终结果上来保证的,也就是说它只保证最终的结果正确,中间操作的是否被打断没法保证。这个和CAS操作需要对比着看。
Lock锁
publicdoubledeposit(doubleamount){ readWriteLock.writeLock().lock(); try{ balance=balance+amount; returnbalance; }finally{ readWriteLock.writeLock().unlock(); } }Lock锁保证原子性的原理和synchronized类似,这边不进行赘述了。
原子操作类型
publicstaticclassBankAccount{ //省略其他代码 privateAtomicDoublebalance; publicdoubledeposit(doubleamount){ returnbalance.addAndGet(amount); } //省略其他代码 }JDK提供了很多原子操作类来保证操作的原子性。原子操作类的底层是使用CAS机制的,这个机制对原子性的保证和synchronized有本质的区别。CAS机制保证了整个赋值操作是原子的不能被打断的,而synchronized值能保证代码最后执行结果的正确性,也就是说synchronized能消除原子性问题对代码最后执行结果的影响。
简单总结
在多线程编程环境下(无论是多核CPU还是单核CPU),对共享变量的访问存在原子性问题。这个问题可能会导致程序错误的执行结果。JMM主要提供了如下的方式来保证操作的原子,保证程序不受原子性问题的影响。
- synchronized机制:保证程序最终正确性,是的程序不受原子性问题的影响;
- Lock接口:和synchronized类似;
- 原子操作类:底层使用CAS机制,能保证操作真正的原子性。
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持毛票票。
声明:本文内容来源于网络,版权归原作者所有,内容由互联网用户自发贡献自行上传,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任。如果您发现有涉嫌版权的内容,欢迎发送邮件至:czq8825#qq.com(发邮件时,请将#更换为@)进行举报,并提供相关证据,一经查实,本站将立刻删除涉嫌侵权内容。