线程安全

public class TraditionalThreadSynchronized {
    public static void main(String[] args) {
        final Outputter outputter = new Outputter();
        // 运行两个线程分别输出名字zhangsan和lisi
        new Thread() {
            public void run() {
                outputter.output("zhangsan");
            }
        }.start();      
        new Thread() {
            public void run() {
                outputter.output("lisi");
            }
        }.start();
    }
}
class Outputter {
    public void output(String name) {
        // TODO 为了保证对name的输出不是一个原子操作，这里逐个输出name的每个字符
        for(int i = 0; i ) {
            System.out.print(name.charAt(i));
            // Thread.sleep(10);
        }
    }
}
// zhlainsigsan

{
    synchronized (this) {
        for(int i = 0; i ) {
            System.out.print(name.charAt(i));
        }
    }
}

public synchronized void output(String name) {
    // TODO 线程输出方法
    for(int i = 0; i ) {
        System.out.print(name.charAt(i));
    }
}

1、互斥同步

     互斥同步是最常见的一种并发正确性保障手段。同步是指在多线程并发访问共享数据时，保证数据在同一时刻制备一个线程使用。（同一时刻，只有一个线程在操作共享数据）。而互斥是实现同步的一种手段，临界区、互斥量和信号量都是主要的互斥实现方式。因此，在这4个字里面，互斥是因，同步是果；互斥是方法，同步是目的。

 　互斥同步最主要的问题就是进行线程阻塞和唤醒所带来的性能问题你，因此，这种同步也成为阻塞同步。从处理问题的方式上说，互斥同步属于一种悲观的并发策略，总是认为只要不去做正确地同步措施，那就肯定会出现问题， 无论共享数据是否真的会出现竞争，它都要进行加锁。

 2、非阻塞同步

     随着硬件指令集的发展，出现了基于冲突检测的乐观并发策略，通俗地讲，就是先进行操作，如果没有其他线程争用共享数据，那操作就成功了；如果共享数据有争用，产生了冲突，那就再采用其他的补偿措施。（最常见的补偿错误就是不断地重试，直到成功为止），这种乐观的并发策略的许多实现都不需要把线程挂起，因此这种同步操作称为非阻塞同步。

     非阻塞的实现CAS：CAS指令需要有三个操作数，分别是内存地址V、旧的预期值A和新值B。CAS指令执行时，CAS指令执行时，当且仅当V处的值符合预期值A时，处理器用B更新V处的值，否则它就不执行更新。
     CAS缺点，可能会遇到ABA问题，因为CAS需要在操作值的时候检查下值有没有发生变化，如果没有发生变化则更新，但是一个值原来是A,变成了B，又变成了A，那么使用CAS进行检查时会发现它的值没有变化，但是实际上，它却变化了。ABA问题的解决思路就是使用版本号，在变量前面追加版本号，每次变量更新的时候把版本号更新。

3、  无需同步方案

      要保证线程安全，并不是一定就要进行同步，两者没有因果关系。同步只是保证共享数据争用时的正确性手段，如果一个方法本来就不涉及共享数据，那么它自然就无需任何同步操作去保证正确性，也就是有些代码天生就是线程安全的。

      可重入代码:所谓可重入代码，也称为纯代码，可以在代码执行的任何时刻中断它，转而去执行另外一段代码，而控制权返回后，原来的程序不会出现任何错误。所有的可重入代码都是线程安全的，但是并非所有的线程安全的代码都是可重入。可重入的代码的特点是不依赖存储在堆上的数据和公用的系统资源，用到的状态量都是由参数中传入，不调用非可重入的方法等。