volatile Atomic

458 阅读2分钟

volatile

轻量级的同步机制

特点:

- 可见性
    启动一个线程修改一个对象中的变量,在修改之前main线程根据这个值做循环,可以证明可见性
- 不支持原子性
    证明:多线程+1, 原因:在没有接到通知的时候就去修改了
    解决:1 加sync; 2 AtomicInteger
- 禁止指令重排(内存屏障)

Atomic 原理 (value 会被volatile修饰)

atomicInteger的i++底层调用的是unsafe.getAndAddInt(this, VALUE,1); this 指当前对象;value 内存偏移量; image.png Unsafe.getAndAddInt()实现如下:

public final int getAndAddInt(Object o, long offset, int delta) {
    int v;
    do {
        v = getIntVolatile(o, offset);
    } while (!compareAndSetInt(o, offset, v, v + delta));
    return v;
}

此时,还会存在一个ABA的问题,这时候就引入了AtomicStampedReference 带有时间戳的引用。此时会做版本号比较以及数值比较!

JMM

可见性
原子性
有序性

synchronized关键字和volatile关键字比较

  • volatile关键字是线程同步的轻量级实现,所以volatile性能肯定比synchronized关键字要好。但是volatile关键字只能用于变量而synchronized关键字可以修饰方法以及代码块。synchronized关键字在JavaSE1.6之后进行了主要包括为了减少获得锁和释放锁带来的性能消耗而引入的偏向锁和轻量级锁以及其它各种优化之后执行效率有了显著提升,实际开发中使用 synchronized 关键字的场景还是更多一些
  • 多线程访问volatile关键字不会发生阻塞,而synchronized关键字可能会发生阻塞
  • volatile关键字能保证数据的可见性,但不能保证数据的原子性。synchronized关键字两者都能保证。
  • volatile关键字主要用于解决变量在多个线程之间的可见性,而 synchronized关键字解决的是多个线程之间访问资源的同步性。