资源描述:
《java并发编程volatile不能保证数据同步》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、Java并发编程:Volatile不能保证数据同步在本篇博文中,将给出一个实例去验证volatile修饰的变量并不能保证其数据同步。在本篇博文中,将给出一个实例去验证volatile修饰的变量并不能保证其数据同步。Java内存模型规定了所有变量都存储在主内存中,每条线程都有自己的工作内存,线程的工作内存保存了被该线程使用到变量的主内存副本拷贝,线程对变量的所有操作(读取,赋值等)都必须在工作内存中进行,而不能直接读写主内存中的变量。不同线程也不能直接访问对方工作内存中的变量,线程间变量值的传递均需要通过主内存来完成,线程,主内存,工作内存三者的交互关系如图
2、所示。当一个变量定义成volatile之后,保证了此变量对所有线程的可见性,也就是说当一条线程修改了这个变量的值,新的值对于其它线程来说是可以立即得知的.此时,该变量的读写操作直接在主内存中完成.Volatile变量具有synchronized的可见性特性,但是不具备原子特性。Volatilevariablessharethevisibilityfeaturesofsynchronized,butnoneoftheatomicityfeatures.虽然增量操作(x++)看上去类似一个单独操作,实际上它是一个由读取-修改-写入操作序列组成的组合操作,必须以
3、原子方式执行,而volatile不能提供必须的原子特性。Whiletheincrementoperation(x++)maylooklikeasingleoperation,itisreallyacompoundread-modify-writesequenceofoperationsthatmustexecuteatomically--andvolatiledoesnotprovidethenecessaryatomicity.在多线程并发的环境下,各个线程的读/写操作可能有重叠现象,在这个时候,volatile并不能保证数据同步.下面将给出一个实例:实
4、例==>500个线程一起运行,每个线程对1到100求和1000次操作,然后将一个volatile共享变量值加1.当500个线程都完成操作之后,期望的值是500,因为每个线程执行完毕之后都会对这个volatile变量加1.一直循环执行这个程序,直到出现volatile变量的值小于500为止,也就是出现数据不同步。1.public class NonSafeThread implements Runnable { 2. 3. /** 共享资源, 每个线程执行完之后加 1 */ 4. private volatile int volatileCoun
5、t = 0; 5. 6. public void run() { 7. 8. /* 9. * 每个线程调用sum100()方法,1000次 10. */ 11. 12. for (int i = 1; i <= 1000; i++) { 13. sum100(); 14. } 15. 16. /* 17. * 计算完毕之后, volatileCount 加 1 18. */ 19. 1. incr
6、ease(); 2. } 3. 4. private void increase() 5. { 6. volatileCount++; 7. } 8. 9. /** 10. * 对 1 到 100 求和 11. */ 12. private int sum100() { 13. int result = 0; 14. for (int i = 1; i <= 100; i++) { 15. result += i; 16.
7、 } 17. return result; 18. } 19. 20. /** 21. * @return the volatileCount 22. */ 23. public int getVolatileCount() { 24. return volatileCount; 25. } 26. 27.} 1./** 2. * @author Eric 3. * 4. * @version 1.0 5. */ 6. 7.public class NonSafeThreadTest
8、{ 8. 9. public static void mai