synchronized、volatile、Atomic区别和用法

原文地址： https://blog.csdn.net/qbian/article/details/53736118

简介

本篇文章为转载，个人进行了一些美观和变量的修改（个人对文章、代码的强迫性）

内容

简单了解一下jvm内存分配逻辑

对于成员变量i，它存储在堆内存中。每个线程在运行时都会有一个自己的线程栈，线程如果要访问类的成员变量i，会通过引用获取到堆中变量i实际的值10，然后把这个变量值拷贝到自己的栈内存中，作为一个变量副本，之后线程便不再会与堆中的变量有实际联系。每个线程都有一个自己的本地副本，相互隔离。线程访问自己栈内存的效率比访问堆的效率高。线程对变量i值的修改，只会修改自己线程副本中的值，修改结束后，在线程退出前，会把自己线程副本中的值，刷新到堆中。

可见性： 指的是在一个线程中修改变量的值以后，在其他线程中能够看到这个值。

synchronized

synchronized 关键字除了有互斥的作用外，还有可见性的作用。synchronized保证了synchronized块中变量的可见性。

volatile

volatile 则是保证了所修饰的变量的可见。因为volatile只是在保证了同一个变量在多线程中的可见性，所以它更多是用于修饰作为开关状态的变量，即Boolean类型的变量。

补充： Java语言提供了一种稍弱的同步机制，即volatile变量，用来确保将变量的更新操作通知到其他线程。
当把变量声明为volatile类型后，编译器与运行时都会注意到这个变量是 共享的 ，
因此不会将该变量上的操作与其他内存操作一起重排序。volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方，
因此在读取volatile类型的变量时总会返回最新写入的值。

在访问volatile变量时不会执行加锁操作，因此也就不会使执行线程阻塞，因此volatile变量是一种比sychronized关键字更轻量级的同步机制。（特别注意：volatile变量虽然解决了并发时的可见性问题，但是不能控制并发操作。）

声明变量是 volatile 的，JVM 保证了每次读变量都从内存中读，跳过 CPU cache 这一步。

对于加了volatile关键字的变量值，线程如果修改了这个值的话，会强制将 修改值直接写入堆内存中 ，
其他线程各自线程栈中的变量副本无效，只能去堆中取最新的变量值。多个线程之间的内存可见得以保证。

而当对非 volatile 变量进行读写的时候，每个线程先从内存拷贝变量到CPU缓存中。如果计算机有多个CPU，每个线程可能在不同的CPU上被处理，这意味着每个线程可以拷贝到不同的 CPU cache 中。

当一个变量定义为 volatile 之后，将具备两种特性：
　1.保证此变量对所有的线程的可见性， 这里的“可见性”，当一个线程修改了这个变量的值，volatile 保证了新值能立即同步到主内存，以及每次使用前立即从主内存刷新。但普通变量做不到这点，普通变量的值在线程间传递均需要通过主内存（详见：Java内存模型）来完成。
　2.禁止指令重排序优化。 有volatile修饰的变量，赋值后多执行了一个“load addl $0x0, (%esp)”操作，这个操作相当于一个内存屏障（指令重排序时不能把后面的指令重排序到内存屏障之前的位置），只有一个CPU访问内存时，并不需要内存屏障；（什么是指令重排序：是指CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理）。
volatile 性能：
　　volatile 的读性能消耗与普通变量几乎相同，但是写操作稍慢，因为它需要在本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行。

class Nouns{
    private int a;
    private int b;
    private volatile int i;
	
	public int getA() {
        return a;
    }

    public void setA(int a) {
        this.a = a;
    }

    public synchronized int getB() {
        return b;
    }

    public synchronized void setB(int b) {
        this.b = b;
    }

    public int getI() {
        return i;
    }

    public void setI(int i) {
        this.i = i;
    }
}

代码中对于 getA() 的调用获取的是当前线程中的副本（这里说的当前线程副本和主内存在上一篇文章 JVM 多线程的内存模型中主要介绍了，不懂的可以回头看一下），这个值不一定是最新的值。
对于 getb() ，因为有synchronized关键字修饰，保证了线程的本地副本与主存的同步，所以也会得到最新的值，这是针对读层面的。
对于 getI() ，因为i被修饰为volatile，因此对于JVM来说这个变量不会有线程的本地副本，只会放在主存中，所以得到的值一定是最新的。

对于setA()，当前线程在调用了setA后会得到最新的A值，而在另外的线程获取不一定可以立刻看到最新的值。
对于setB()，调用后必须在synchronized修饰的方法或代码块中读取i3的值才可以看到最新值，因为synchronized不仅会把当前线程修改的变量的本地副本同步给主存，还会从主存读取数据更新本地副本。
对于setI()，则可以立刻在其他线程看到新的值，因为volatile保证了只有一份主存中的数据。

volatile变量虽然解决了并发时的可见性问题，但是不能控制并发操作，例如：

private volatile int count = 0;
Hashtable<String, String> h = new Hashtable<String, String>();
public void addContent(String key, String value) {
	if(count < 100) {
		h.put(key, value);
		count ++;
	}
}

Atomic

在jdk5中增加了java.util.concurrent.atomic包，这个包中是一些以Atomic开头的类，这些类主要提供一些相关的原子操作。以上的多线程并发对计数器对volatile变量加1操作可以修改为这样：

private AtomicInteger counter = new AtomicInteger();
// 加 1
private int increase() {
return counter.incrementAndGet();
}
// 减 1
private int decrease() {
return counter.decrementAndGet();
}

Atomic修饰的类进行的操作相对于synchronized修饰的代码块会有很大性能上的提升，建议在计数器相关的多线程并发中用Atomic开头的相关类进行操作。

总结：

volatile多用于修饰类似开关类型的变量;
Atomic多用于类似计数器相关的变量;
其它多线程并发操作用synchronized关键字修饰(还有Lock接口的一系列实现)。