在多并发条件下i++不是线程安全的, 主要原因是i++并非原子操作, 其底层可以分为1.获取变量的值2. 将值进行加一3.将值赋给变量三个步骤; 因此多线程条件下会由于 重复赋值等问题造成结果有误.
解决办法:
1.添加synchronized关键字, 让操作方法变为同步
不推荐, 因为这样虽然提高了安全性, 但是并发性能大大降低
2.使用atomicInteger类
顾名思义, 是原子性的数字类. 其底层主要运用了unsafe类和cas思想(循环比较并替换).
atomicInteger.getAndIncrement()方法即是i++, 其底层主要调用了unsafe类的getAndInt(方法), 其源码如下
this代表当前对象,
valueoffset代表内存偏移量,可以理解为标记标记某个属性的内存地址得坐标,
比如在:
AtomicInteger atomicInteger = new AtomicInteger(5);
通过this和valueoffset可以获得对象内属性的值, 这里是5
该方法没有添加synchronized关键字, 而是通过自旋重复判断以及volatile变量可见性来让赋值操作得意正常进行,
var1和var2即是对象和内存偏移量, var5是该对象在该内存偏移量中的值,也就是上面的5, 下面的compareAndSwapInt方法,则是再次判断该位置上的值和之前获取的var5是否一致, 一致则将该位置的值加一,跳出循环. 不一致则说明遭到 了别的线程的修改, 重新获取值重新判断.
而unsafe类的compareAndSwapInt是c语言的方法, 是操作系统层面的, 确保了操作的线程安全性.
缺点:
1.循环时间长开销很大
2.只能保证一个共享变量的线程安全
3.引出ABA问题
ABA问题的解决:
1.新增一种机制, 添加版本号(比如时间戳)
使用AtomicStampedReference来解决
static AtomicStampedReference atomicStampedReference = new AtomicStampedReference<>(100,1);