多线程——线程安全问题

为什么80%的码农都做不了架构师？>>>   

1.什么是线程安全

多线程对共享资源进行访问，访问的代码不会出现不确定的结果。

2.如果保证线程安全

A.采用线程同步的方法。

        （1）采用synchronized关键字（同步机制见他文）

        （2）采用显示锁对象Lock/Condition

        （3）Volatile关键字为变量的同步访问提供了一种免锁机制。(轻量级的同步机制，检查状态标记)

B.采用线程本地存储（ThreadLocal），根除对变量的共享。通常当做线程的静态域存储。

Volatile的两个特性：原子性和可视性。

1. 原子性：JVM宽松规定：允许对64位没有被Volatile修饰的数据的读写操作可以分次32位数据的操作，即long和double的非园子性操作。两次读写操作间就可能发生上下文的切换，线程不安全。
   

2. 可视性：被Volatile修饰的数据的写操作会把数据立即写入主存中，其他线程的读操作都是从主存读取，保证数据的一致性。
   

两种同步方法区别：

Lock，可以有多个条件对象，且是以非阻塞的方式去尝试获取锁，获取失败可以继续做其他事；

synchronized，获取对象的内部锁只有一个条件对象，获取锁失败将会以阻塞的方式一直等到其他线程释放锁。

阻塞和非阻塞理解：通过队列实现的（待细看）。

《Java并发编程实战》

编写线程安全的代码，核心对变量状态访问操作进行管理，特别是共享的和可变状态的访问。

"共享"意味着变量可以由多个线程同时访问，"可变"意味着变量的值在其生命周期内可以发生变化。

如果多个线程访问同一个可变的状态变量时没有使用合适的同步,那么线程就会出现错误。有三种方法可以修复这个问题，（1）不在线程之间共享该状态变量。 线程限制方法（栈限制和ThreadLocal关键字）

      （2）将状态变量修改为不可变的变量。（Volatile关键字）

      （3）在访问状态变量时使用同步。

Servlet大多数都是无状态的：既不包含任何域，也不包含任何对其他类域的引用。无状态对象是线程安全的。

Servlet添加状态变量，可引用原子变量（autoLong）来保证操作的原子性；但如果存在多个变量时，更新一个变量时，要在同一原子操作中更新其他几个。即：为了保护状态的一致性，要在单一的原子操作中更新相互关联的状态变量。可用sychronized块实现。

加锁可以保证可视性和原子性；volatile变量只能保证可视性。

转载于:https://my.oschina.net/elain/blog/383759