这个问题偶然是被我在网上看到的,当时吃了一惊,怎么赋值操作还有可能 不是原子操作?
Java中的原子操作包括:
1)除long和double之外的基本类型的赋值操作
2)所有引用reference的赋值操作
3)java.concurrent.Atomic.* 包中所有类的一切操作。
但是java对long和double的赋值操作是非原子操作!!long和double占用的字节数都是8,也就是64bits。 在32位操作系统上对64位的数据的读写要分两步完成,每一步取32位数据。这样对double和long的赋值操作就会有问题:如果有两个线程同时写一个变量内存,一个进程写低32位,而另一个写高32位,这样将导致获取的64位数据是失效的数据。因此需要使用volatile关键字来防止此类现象。 volatile本身不保证获取和设置操作的原子性,仅仅保持修改的可见性。但是java的内存模型保证声明为volatile的long和double变量的get和set操作是原子的。
- 对一个没有用volatile修饰的long或double类型的写操作会被拆分成两次写,每次写该类型的32-bit数据,这就导致了在多线程的场景下,可能一个线程看到了对这个64-bit数据类型写入的前32-bit数据,和被另一个线程的后32-bit的数据
- 使用volatile修饰后的long和double类型的读写操作是原子性的
- 对其引用类型(Long/Double)的读写操作总是原子的,尽管他们的实现可能被分为两次32-bit或者一个64-bit
- 不同JVM的实现对这个问题的处理方案不同,可能会将long/double分为两次32-bit写入,也可能直接写入64-bit,但是建议JVM的实现要避免将数据拆为两次写入,而编码者应该显示的使用volatile或者其他同步机制来避免因此可能出现的问题