高效并发之线程安全

高效并发：首先需要保证并发的正确性，然后在此基础上实现高效。

1、Java语言中的线程安全

• 不可变

        如果共享数据是一个基本数据类型，定义时使用final关键字修饰即可保证不可变；

        如果共享数据是一个对象，就需要保证对象的行为不会对其状态产生任何影响。例如java.lang.String类的对象就是典型的不可变对象，调用他的方法不会影响他原来的值，只会返回一个新构造的字符串对象。

• 绝对线程安全

    “不管运行时环境如何，调用者都不需要任何额外的同步措施”，达到这种效果通常代价很大。

• 相对线程安全（即通常所说的：是线程安全）

        对这个对象单独的操作是线程安全的，但是对一些特定顺序的连续调用，就可能需要在调用端使用额外的同步手段来保证调用的正确性。

• 线程兼容（即通常所说的：不是线程安全）

对象本身不是线程安全的。但是可以通过在调用端正确地使用同步手段来保证对象在并发环境中可以安全地使用。Java API 中大部分的类都是属于线程兼容的。

• 线程对立

线程对立是指无论调用端是否采取了同步措施，都无法在多线程环境中并发使用的代码。这种情况通常是有害的，应尽量避免。

2、线程安全的实现方法

• 互斥同步（“阻塞同步” ，悲观并发策略）

常见的并发正确性保障手段。互斥是实现同步的一种手段，临界区、互斥量、信号量都是主要的互斥实现方式。互斥是因，同步是果；互斥是方法，同步是目的。

synchronized关键字  &  重入锁（ReentrantLock）

synchronized关键字

阻塞或唤醒一个线程需要操作系统来帮忙，这就要用户态转换到核心态，因此状态转换需要消耗很多的处理器时间。所以synchronized是Java语言中一个重量级（Heavyweight）操作，确实必要的情况下才使用；虚拟机本身会通过自旋等待等操作来优化synchronized同步方式，避免频繁地切入核心态之中。

重入锁（ReentrantLock）(java.util.concurrent)

重入锁增加了一些高级功能：等待可中断、可实现公平锁、锁可以绑定多个条件。

优先考虑使用synchronized来进行同步。

• 非阻塞同步（乐观并发策略）

基于冲突检测的乐观并发策略。即先操作，若没有其他线程争用共享数据，那操作就成功了；如果共享数据有争用，产生了冲突，那就再采取其他的补偿措施（最常见的补偿措施是不断重试，直到成功），这种乐观的并发策略的许多实现都不需要把线程挂起，因此这种同步操作称为非阻塞同步。

这种同步方式依赖硬件指令集，这类指令常用的有：

        测试并设置（Test-and-Set）
        获取并增加(Fetch-and-Increment)
        交换(Swap)
        比较并交换(Compare-and-Swap,CAS)
             CAS指令有三个操作数：内存位置(V)、旧的预期值(A)、新值(B)。
        加载连接/条件存储(Load-Linked/Store-Conditional,LL/SC)

• 无同步方案

要保证线程安全，并不是一定就要进行同步，两者没有因果关系。同步只是保证共享数据争用时的正确性的手段，如果一个方法本来就不涉及共享数据，那他自然就无须任何同步措施去保证正确性。因此有一些代码天生就是线程安全的，其中两类是可重入代码、线程本地存储。