线程安全性——《Java并发编程实战》学习笔记一

一、线程安全性

    线程安全代码的核心：管理对共享的（Shared）和可变的（Mutable）状态的访问操作。  “共享”：变量可以由多个线程同时访问； “可变”：变量的值在生命周期内可以发生变化。即：一个对象是共享和且可变得，同时由多个线程访问访问时，可能出现线程安全的问题。

    什么样的代码才是线程安全性的？

    当多个线程访问某个类时，它始终能表现出正确的行为，那么就称这个类是线程安全的。其核心就是正确性。正确性指某个类的行为与其规范一致，在良好的规范中通常会定义各种不变性条件来约束对象的状态，以及定义各种后验条件来描述对象操作的结果。

二、原子性

    竞态条件：当某个计算的正确性取决于多个线程的交替执行时序时，那么就会发生竞态条件。

    1、先检查后执行：基于一种可能失效的观察结果来做出判断或者执行某个计算。例：单例中的懒汉模式采用DCL；

    2、读取-修改-写入：基于对象之前的状态来定义对象状态的装换。例：++count。

    如果将上述竞态条件等组合操作以原子方式执行，就能够保证线程安全性。

三、加锁机制

    加锁机制保证了复合操作的原子性。

    Java通过synchronized提供一种内置的锁机制来支持原子性。每个Java对象都可以用作一个实现同步的内置锁（Intrinsic Lock）或监视器锁（Monitor Lock）。线程在进入同步代码块或方法（内置锁获取的唯一途径）前会自动获得锁，并且在正常或异常退出同步代码块时释放锁。

    Java的内置锁相当于一种互斥锁。当线程A持续占用锁后，线程B申请此锁，会一直阻塞，直到线程A释放锁。由于内置锁的互斥性，在多线程下，内置锁保护的同步代码块会以原子方式执行。

    内置锁是可重入的，某个线程能够获得一个已经由它自身持有的锁。重入的一种实现方法是，为每个锁关联一个获取计数值和一个所有者线程。内置锁若是非重入的，容易在连续访问多个加锁方法时死锁。

四、活跃性与性能

    内置锁为每个共享的和可变的状态变量添加同步，会造成这些代码路径完全是串行，那么代码的执行性能将非常低。

    因此，通过缩小代码块的作用范围，将不影响共享状态且执行时间较长的操作从同步块中分离出去，保证并发性和线程安全性。当执行时间较长的计算或者可能无法快速完成的操作时（例，网络I/O或控制台I/O），一定不要持有锁，会严重影响代码的活跃性和并发性。

 

《Java并发编程实战》学习笔记一