【转载】java多线程synchronized volatile解析

原文地址：点击这里

先简单说说原子性：具有原子性的操作被称为原子操作。原子操作在操作完毕之前不会线程调度器中断。即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。在Java中，对除了long和double之外的基本类型的简单操作都具有原子性。简单操作就是赋值或者return。比如”a = 1;“和 “return a;”这样的操作都具有原子性。但是在Java中，类似”a += b”这样的操作不具有原子性，不是同步的就会出现难以预料的结果。

　　在我们平常的编程过程中，经常会遇到线程安全与不全这类的词语，相信刚开始很多新手碰到这个都会很头疼。现拿万恶的火车票举个例子吧。如杭州到武汉还剩10张车票，有4个售票点正在售杭州到武汉的票，若所写程序是线程不安全的，则当a售票点售出票1时，b售票点也正在售票，由于a售票点售出后还未及时更新到主内存中，因此b售票点可能同样售出的是票1，这就造成了两个人买到一张座位的情况，这就是线程不安全的。若线程安全，则当a售票点在售票1时，只有等a售票点将票1售出，并更新了主内存数据后，其余售票点才能继续卖票，并且数据中票1已经卖掉了，不会再重复操作。此时即利用了synchronized锁的机制。

synchronized是一个方法或块的修饰符，synchronized分为方法同步和块同步。

1、synchronized 实例方法

  //加在方法上
  public synchronized void function() {
      //somecode
  }

该同步是同步在拥有该方法的对象上的，同一时间只有一个线程能访问到该方法（前提是在一个实例上，若有几个实例，则可以同时进行）。

2、synchronized 静态方法

 public static synchronized void  function(){
     //somecode
 }

由于静态方法不属于对象，而是属于类，会将这个方法所在类的class对象上锁。

3、synchronized 块

  //同步块
  public void method1(){
      synchronized(this){
          //somecode
      }
  }

  public void method2(Object o){
      synchronized(o){
         //somecode
     }
 }

锁定的是调用这个方法的对象(method1)或传入的对象(method2)，当没有明确的对象作为锁，只是想让一段代码同步时，可以创建一个特殊的instance变量（对象）来充当锁。

volatile是一个变量修饰符
一个volatile类型的变量不允许线程从主内存中将变量的值拷贝到自己的存储空间。因此，一个声明为volatile类型的变量将在所有的线程中同步的获得数据，不论你在任何线程中更改了变量，其他的线程将立即得到同样的结果。volatile变量具有synchronized的可见性特性，但是不具备原子特性。这就是说线程能够自动发现volatile变量的最新值。volatile变量可用于提供线程安全，但是只能应用于非常有限的一组用例：多个变量之间或者某个变量的当前值与修改后值之间没有约束。

正确使用volatile修饰符：a、对变量的写操作不依赖于当前值。b、该变量没有包含在具有其他变量的不变式中。

=========================================关于两者的区别==============================

1.volatile本质是在告诉jvm当前变量在寄存器（工作内存）中的值是不确定的，需要从主存中读取；synchronized则是锁定当前变量，只有当前线程可以访问该变量，其他线程被阻塞住。
2.volatile仅能使用在变量级别；synchronized则可以使用在变量、方法、和类级别的。
3.volatile仅能实现变量的修改可见性，不能保证原子性；而synchronized则可以保证变量的修改可见性和原子性。
4.volatile不会造成线程的阻塞；synchronized可能会造成线程的阻塞。
5.volatile标记的变量不会被编译器优化；synchronized标记的变量可以被编译器优化。

一些例子：

synchronized

package cn.test.thread3.synchronize;

public class SyncTest {
    public static void main(String[] args) {


    }
}
class MyTarget implements Runnable{
    Outputter1  outputer;
    String name;

    public MyTarget(Outputter1 outputter, String name){
        this.outputer = outputter;
        this.name = name;
    }

    @Override
    public void run() {
        outputer.output(name);
    }   
}
/**
 * 不能保证原子性
 * @author cjc
 *
 */
class Outputter {

    public void output(String name){
        for(int i = 0; i< name.length(); i++){
            System.out.print(name.charAt(i)+" ");
        }
    }
}

class Outputter1{
    public synchronized static void output(String name){
        for(int i = 0; i< name.length(); i++){
            System.out.print(name.charAt(i)+" ");
        }
    }
}

volatile 无法保证对变量操作的原子性

package cn.test.thread3.Volatile;

public class VolatileTest {
    private volatile int inc = 0;

    public static void main(String[] args) {
        final VolatileTest v = new VolatileTest();

        for(int i = 0; i < 1000; i ++){
            new Thread(){
                @Override
                public void run(){
                    try {
                        Thread.sleep(1);
                        v.inc();
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }.start();
        }

        while(Thread.activeCount() > 1){
            Thread.yield();  //保证当前线程能运行完   感觉保证不了？？？
        }
        System.out.println(v.inc);
    }

    //结果为什么不是1000，因为volatile能保证可见性没错，也就是能保证每个线程读到的值都是
    //最新的值，但是volitile不能保证原子性
    public void inc(){
        inc++;
    }
}

运行结果并不是1000，volatile关键字能保证可见性没有错，但是上面的程序错在没能保证原子性。可见性只能保证每次读取的是最新的值，但是volatile没办法保证对变量的操作的原子性。

线程1对变量进行自增操作，线程1先读取了变量inc的原始值，然后线程1被阻塞了；然后线程2对变量进行自增操作，线程2也去读取变量inc的原始值，由于线程1只是对变量inc进行读取操作，而没有对变量进行修改操作，所以不会导致线程2的工作内存中缓存变量inc的缓存行无效，所以线程2会直接去主存读取inc的值，发现inc的值是10，然后进行加1操作，并把11写入工作内存，最后写入主存。然后线程1接着进行加1操作，由于已经读取了inc的值，注意此时在线程1的工作内存中inc的值仍然为10，所以线程1对inc进行加1操作后inc的值为11，然后将11写入工作内存，最后写入主存。那么两个线程分别进行了一次自增操作后，inc只增加了1。

 //线程1
 boolean stop = false;
 while(!stop){
     doSomething();
 }

 //线程2
 stop = true;

上述代码当线程2更改了stop变量的值之后，但是还没来得及写入主存当中，那么线程1由于不知道线程2对stop变量的更改，因此还会一直循环下去。

若加上volatile，会强制将修改的值立即写入主存，当线程2进行修改时，会导致线程1的工作内存中缓存变量stop的缓存行无效，所以线程1再次读取变量stop的值时会去主存读取。