java并发编程为了保证多线程对同一变量操作时的同步性,一般会将该变量置为atomic类型的变量,AtmoicXXX使用硬件级别的指令 CAS 来更新计数器的值,这样可以避免加锁,机器直接支持的指令,效率也很高。
比如int类型的变量会更改为AtomicInteger类型,如下图count变量所示,意思是实现count++;
该AtomicInteger类型封装了一系列方法,点击进去可知,调用unsafe类的方法。
再点击进去,即进入了compareAndSwap函数。
compareAndSwapInt的四个参数含义:
var1:Object var1,表示当前线程内存里的值,即count
var2:是getAndAddInt函数传递进来的偏移量,至于干什么用还没弄清楚。
var4:就是+1(count++)
var5:由getIntVolatile(var1,var2),就是获得count对象主内存里的值。getVolatile方法,获取主内存里变量的值。 Volatile修饰的成员变量在每次被线程访问时,都强迫从共享内存中重读该成员变量的值。而且,当成员变量发生变化时,强迫线程将变化值回写到共享内存。这样在任何时刻,两个不同的线程总是看到某个成员变量的值是相同的,更简单一点理解就是volatile修饰的变量值发生变化时对于另外的线程是可见的。
该方法的含义是:
如果对象var1里当前线程内存的值与主内存值var5相等时,也就是线程变量与主存变量同步时,跳出循环,var5=var5+var4,返回var5。
也可以说成,线程内存位置(Var1)、主内存值(var5)和新值(var4+var5)。如果线程内存位置的值(Var1)与主内存值(var5)相匹配,那么处理器会自动将该位置值更新为新值(var4+var5)。否则,处理器不做任何操作。
总的来说,就是为了保证线程安全,其余的long,double类型是一样的。