线程安全性

一、什么是线程安全性

    当多个线程访问某个类是，不管运行时的环境，采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要任何额外的同步块或协同，这个类都能表现出正确的行为，那么就称这个类是线程安全的。

   

二、原子性

    原子性，顾名思义就是不可分割的，原子性不论是多核还是单核，具有原子性的量，同一时刻只能有一个线程来对它进行操作！原子操作是最基本的操作是不可分割的操作，一般是赋值操作，常见的i++，并不是原子操作，只是看上去像一个操作，它并不会作为一个不可分割的操作来执行。它包含了三个操作：读取i的值，将值加1 ，再将计算结果写入i。也就是i进栈，出栈进行加1操作，再入栈。一个操作只用到一个原子时钟，那么就不会发生读写冲突了。

    假设有两个操作A和B，如果从执行A的线程来看，当另一个线程执行B时，要么B完全执行，要么B不执行，那么A和B彼此来说是原子的。原子操作是指，对于访问同一个状态的所以操作来说，这个操作是一个以原子方式执行的操作（废话）。

    1、竞态条件

      由于不恰当的执行时序而出现不正确的结果。基于一种可能失效的观察结果来做出判断或者执行某个计算。这种类型的竞态条件称为“先检查后执行”：先检查某个条件为真，再根据这个观察的结果采取相应的动作，但事实上要进行操作的时候，前面的结果可能已经变得无效了，从而导致各种问题。

    2、延迟初始化中的静态条件

      当我们使用单例模式的时候，假设线程A、B同时执行了getInstance。A看到instance为空，因而创建了一个新的Instance实例,B同样要判断instance是否为空，这个时候，判断结果就取决于不可预测的时序了（包括线程的调度方式）。这种基于对象之前的状态来定义对象状态的转换，需要定义一个计数器，你必须知道它之前的值，并确保在执行更新操作的过程中，没有其他线程会修改或者使用这个值。

     多线程环境下使用单例模式几个要点：

      a.私有的静态实例instance，并设置为null.(因为如果不需要创建实例的话就省去实例化，当要使用的时候才初始化new一个实例出来，也就是调用syncInit方法，延迟初始化)

      b.私有构造函数，防止外部类对其实例化

      c.提供全局访问点，公共的静态getInstance()

      d.私有静态同步的创建实例方法，保证初始化实例时线程互斥

    //来自GEM-多线程环境下使用单例模式的实现
   public class Singleton {    
        
        private static Singleton instance = null;    
        
        private Singleton() {    
        }    
        
        private static synchronized void syncInit() {    
            if (instance == null) {    
                instance = new Singleton();    
            }    
        }    
        
        public static Singleton getInstance() {    
            if (instance == null) {    
                syncInit();    
            }    
            return instance;    
        }    
    }    

    JVM内部的机制能够保证当一个类被加载的时候，这个类的加载过程是线程互斥的。这样当我们第一次调用getInstance的时候，JVM能够帮我们保证instance只被创建一次，同时该方法也只会在第一次调用的时候使用互斥机制。

   

    3、复合操作

      我们将先检查后执行以及“读写-修改-写入”等操作称为复合操作。

三、加锁机制

    多个线程之间的操作无论采用何种执行时序或交替方式，都要保证不变性条件不被破坏。要保持状态一致性，就需要再单个原子操作中更新所有相关的变量状况。

    1、内置锁

     同步代码块包括两个部分：一个是作为锁的对象的引用，一个作为由这个锁保护的代码块。获得内置锁的唯一途径就是进入由这个锁保护的同步代码块或方法。一组语句作为一个不可被分割的单元被执行。但是这样可能效率会比较低，因为就比如说服务端，service方法，有很多客户端请求，只有等待前面的客户端执行完service方法，后面的客户端才能执行service方法。

   2、重入

     如果某个线程试图获得一个已经由它自己持有的锁时，那么这个请求就会成功。重入的一种实现方式：为每个锁关联一个获取计数值和一个所有者线程。当计数值为0时，表示这个锁没有被任何线程持有。当线程请求一个未被持有的锁时，JVM记录下锁的持有者。并将计数值加1，当同一个线程再次获取这个锁，计数值再加1，而当线程退出同步代码块时，计数器值也会相应地递减。当计数器为0时。这个锁将被释放。

四、用锁来保护状态

      1、对于可能被多个线程同时访问的可变状态变量，在访问它时都需要持有同一个锁，在这种情况下，我们称状态变量是由这个锁保护的。每个共享的和可变变量都应该只由一个锁来保护，从而使维护人员知道是那哪个锁。

      2、一种常见的加锁的约定：将所有的可变状态都封装在对象内部，并通过对象的内置锁对所有访问可变状态的代码路径进行同步，使得在该对象上不会发生并发访问。

     3、对于包含多个变量的不变性条件，其中涉及的所有变量都需要同一个锁来保护。

五、活跃性与性能

    1、一个同步块负责保护判断是否只需返回缓存结果的“先检查后执行”操作序列，另一个同步代码块则负责确保对缓存的数值和因数分解结果进行同步更新。

    2、通常，在简单性与性能之间存在着相互制约因素。当实现某个同步策略时，一定不要盲目地为了性能而牺牲简单性（这可能会破坏安全性）。

    3、当执行时间比较长的计算或者无法可能快速完成的操作时（例如，网络IO或控制台IO），一定不要持有锁。