线程安全与程序性能
线程安全
当多个线程访问一个对象时，如果不用考虑这些线程在运行时环境下的调度和交替执行，也不需要进行额外的同步，或者在调用方进行任何其他的协调操作，调用这个对象的行为都可以获得正确的结果，那这个对象时线程安全的。----《并发编程实战》
主要是两个问题
- 数据争用：多个线程同时修改共享数据，会造成错误数据。（原子性）
- 竞争条件：操作顺序造成的问题，例如：读取发生在写入之前。（可见性、重排序）
线程安全带来的性能开销
运行速度、设计成本(增加编码的复杂度)、trade off
线程安全问题分类
- 运行结果错误：a++ 多线程下出现消失的请求现象
- 活跃性问题：死锁、活锁、饥饿
- 对象发布和初始化的时候的安全问题：由于顺序源于依然会造成错误，比如在写入之前就读取了。
* 发布：一个对象被声明为public，它就是被发布出去了，或者return 对象，或者方法传参
* 初始化
* 逸出：
1、方法返回了一个 private 对象(private 的本意是不让外部访问，这样就没人可以访问此对象了)。
2、还未完成初始化（构造函数完全执行完毕）就把对象提供给外界，比如：
在构造函数中为初始化未完毕就 this 赋值
引式逸出——注册监听事件
构造函数中运行线程
示例：运行结果错误：a++ 多线程下出现消失的请求现象
read-modify-write
package com.xdclass.couponapp.test.uncaughtexception;
import java.util.concurrent.BrokenBarrierException;
import java.util.concurrent.CyclicBarrier;
import java.util.concurrent.atomic.AtomicInteger;
/**
* 发生错误38501
*
* 表面上结果是199999
* 真正运行的次数200000
* 错误次数1
*/
public class MultiThreadsError implements Runnable {
static MultiThreadsError instance = new MultiThreadsError();
int index = 0;
static AtomicInteger realIndex = new AtomicInteger();
static AtomicInteger wrongCount = new AtomicInteger();
static volatile CyclicBarrier cyclicBarrier1 = new CyclicBarrier(2);
static volatile CyclicBarrier cyclicBarrier2 = new CyclicBarrier(2);
final boolean[] marked = new boolean[10000000];
@Override
public void run() {
marked[0] = true;
for (int i = 0; i < 100000; i++) {
try {
cyclicBarrier2.reset();
cyclicBarrier1.await();//栅栏1
} catch (InterruptedException e) {
e.printStackTrace();
} catch (BrokenBarrierException e) {
e.printStackTrace();
}
index++;
try {
cyclicBarrier1.reset();
cyclicBarrier2.await();//栅栏2 ：让两个线程都完成index++之后再进行判断工作：这样判断过程中就不会出现index被篡改。
} catch (InterruptedException e) {
e.printStackTrace();
} catch (BrokenBarrierException e) {
e.printStackTrace();
}
realIndex.incrementAndGet();
synchronized (instance) {//可见性导致了需要修改判断条件（两个线程都看到的是2） 数据中排序 false ture 是对的 ture ture 是错误
// index++ 两个线程 2 正确 数组排列 ture false true
// index++ 两个线程 1 错误 数组排列 ture true true
if (marked[index] && marked[index - 1]) {
System.out.println("发生错误" + index);
wrongCount.incrementAndGet();
}
marked[index] = true;
}
}
}
public static void main(String[] args) throws InterruptedException {
Thread thread1 = new Thread(instance);
Thread thread2 = new Thread(instance);
thread1.start();
thread2.start();
thread1.join();
thread2.join();
System.out.println("表面上结果是" + instance.index);
System.out.println("真正运行的次数" + realIndex.get());
System.out.println("错误次数" + wrongCount.get());
}
}
查看字节码指令：inCreate()方法的字节码指令片段
- javac -encoding UTF-8 UnsafeThread.java 编译成。class
- javap -c UnsafeThread.class 进行反编译，得到相应的字节码指令
导致线程不安全的根本原因是，在同一个时刻多个线程同时读取到静态域的值，之后进行操作，导致多个线程对静态域进程完操作之后，其结果相当于只进行了一次操作。
究其根本原因是因为 num++ 是一个“非原子性”的操作，查看字节码指令发现该操作被拆分成多个步骤，在多线程并发执行的情况下，因为 CPU 调度、多线程快速的切换，有可能造成多个线程同一时刻都读取了同一个 num 值，之后对此值进行 +1 操作，导致线程安全性问题。
public static void inCreate();
Code:
0: getstatic #2 // Field num:I #获取指定类的静态域，并将其压入栈顶
3: iconst_1 #是int类型1压入栈顶
4: iadd #将栈顶两个int型相加，将结果压入栈顶
5: putstatic #2 // Field num:I #为指定静态域赋值
8: return
示例：死锁
public class DeadLockDemo {
private static Object lockA = new Object();
private static Object lockB = new Object();
public static void main(String[] args) {
new Thread(() -> {
synchronized (lockA) {
System.out.println(Thread.currentThread().getName() + " 已持有 lockA");
System.out.println(Thread.currentThread().getName() + " 尝试获取 lockB");
try {
Thread.sleep(20);
} catch (InterruptedException e) {
e.printStackTrace();
}
synchronized (lockB) {
System.out.println(Thread.currentThread().getName() + " 已持有 lockB");
}
}
}).start();
new Thread(() -> {
synchronized (lockB) {
System.out.println(Thread.currentThread().getName() + " 已持有 lockB");
System.out.println(Thread.currentThread().getName() + " 尝试获取 lockA");
try {
Thread.sleep(20);
} catch (InterruptedException e) {
e.printStackTrace();
}
synchronized (lockA) {
System.out.println(Thread.currentThread().getName() + " 已持有 lockA");
}
}
}).start();
}
}
返回 “副本” —— 逸出：方法返回了一个 private 对象(private 的本意是不让外部访问，这样就没人可以访问此对象了)。
import com.sun.javafx.geom.Matrix3f;
import java.util.HashMap;
import java.util.Map;
/**
* 描述： 发布逸出
*/
public class MultiThreadsError3 {
private Map<String, String> states;
public MultiThreadsError3() {
states = new HashMap<>();
states.put("1", "周一");
states.put("2", "周二");
states.put("3", "周三");
states.put("4", "周四");
}
public Map<String, String> getStates() {
return states;
}
public Map<String, String> getStatesImproved() {
return new HashMap<>(states);
}
public static void main(String[] args) {
MultiThreadsError3 multiThreadsError3 = new MultiThreadsError3();
Map<String, String> states = multiThreadsError3.getStates();
// System.out.println(states.get("1"));
// states.remove("1");
// System.out.println(states.get("1"));
System.out.println(multiThreadsError3.getStatesImproved().get("1"));
multiThreadsError3.getStatesImproved().remove("1");
System.out.println(multiThreadsError3.getStatesImproved().get("1"));
}
}
工厂模式——还未完成初始化（构造函数完全执行完毕）就把对象提供给外界，
/**
* 描述： 用工厂模式修复刚才的初始化问题
*/
public class MultiThreadsError7 {
int count;
private EventListener listener;
private MultiThreadsError7(MySource source) {
listener = new EventListener() {
@Override
public void onEvent(MultiThreadsError5.Event e) {
System.out.println("\n 我得到的数字是" + count);
}
};
for (int i = 0; i < 10000; i++) {
System.out.print(i);
}
count = 100;
}
public static MultiThreadsError7 getInstance(MySource source) {
MultiThreadsError7 safeListener = new MultiThreadsError7(source);
source.registerListener(safeListener.listener);
return safeListener;
}
public static void main(String[] args) {
MySource mySource = new MySource();
new Thread(new Runnable() {
@Override
public void run() {
try {
Thread.sleep(10);
} catch (InterruptedException e) {
e.printStackTrace();
}
mySource.eventCome(new MultiThreadsError5.Event() {
});
}
}).start();
MultiThreadsError7 multiThreadsError7 = new MultiThreadsError7(mySource);
}
static class MySource {
private EventListener listener;
void registerListener(EventListener eventListener) {
this.listener = eventListener;
}
void eventCome(MultiThreadsError5.Event e) {
if (listener != null) {
listener.onEvent(e);
} else {
System.out.println("还未初始化完毕");
}
}
}
interface EventListener {
void onEvent(MultiThreadsError5.Event e);
}
interface Event {
}
}
需要考虑线程安全的情况
- 访问共享的变量或资源，会有并发风险，比如对象的属性、静态变量、共享缓存、数据库等…
- 所有依赖时序的操作，即使每一步操作都是线程安全的，还是存在并发问题：read-modify-write、check-then-act
- 不同的数据之间存在捆绑关系的时候 （必须进行原子操作）
- 我们使用其他类的时候，如果对方没有声明自己是线程安全的，应该慎用，或做额外的处理。
多线带来的性能问题
调度：上下文切换
- 保存现场：耗费 CPU 很多时钟周期
- 缓存开销：内存失效（CPU 有最小执行时间，避免上下文切换过于频繁）
- 何时会导致密集的上下文切换：抢锁、IO（等待 IO）
协作：内存同步
- JMM 同步也会带来性能开销
volatile 关键字及其使用场景
volatile 关键字的功能
- 能且仅能修饰变量。
- 保证该变量的可见性（A、B 两个线程同时读取 volatile 关键字修饰的对象，A 读取之后，修改了变量的值，修改后的值，对 B 线程来说，是可见），volatile 关键字仅仅保证可见性，并不保证原子性。
- 禁止指令重排序。
volatile 关键字的常见使用场景
- 作为线程开关。
- 单例，修饰对象实例，禁止指令重排序
单例设计模式与线程安全
饿汉式（本身线程安全）
在类加载的时候，就已经进行实例化，无论之后用不用到。如果该类比较占内存，之后又没用到，就白白浪费了资源。
/**
* 饿汉式单例
* 在类加载的时候，就已经进行实例化，无论之后用不用到。
* 如果该类比较占内存，之后又没用到，就白白浪费了资源。
*/
public class HungerSingleton {
private static HungerSingleton ourInstance = new HungerSingleton();
public static HungerSingleton getInstance() {
return ourInstance;
}
//无参构造方法私有化
private HungerSingleton() {
}
public static void main(String[] args) {
for (int i = 0; i < 10; i++) {
new Thread(()->{
System.out.println(HungerSingleton.getInstance());
}).start();
}
}
}
懒汉式（最简单的写法是非线程安全的）
在需要的时候再实例化。
/**
* 懒汉式单例
* 在需要的时候再实例化
*/
public class LazySingleton {
//使用volatile关键字禁止JVM的指重排序：否则会导致线程不安全
private static volatile LazySingleton lazySingleton = null;
//无参构造方法私有化
private LazySingleton() {
}
public static LazySingleton getInstance() {
//判断实例是否为空，为空则实例化
if (null == lazySingleton) { //第一次判断
//模拟实例化消耗时间
try {
Thread.sleep(1000L);
} catch (InterruptedException e) {
e.printStackTrace();
}
synchronized (LazySingleton.class) {
if (null == lazySingleton) { //第二次判断，避免再次创建新的实例
lazySingleton = new LazySingleton();
}
}
}
//否则直接返回
return lazySingleton;
}
public static void main(String[] args) {
for (int i = 0; i < 10; i++) {
new Thread(() -> {
System.out.println(LazySingleton.getInstance());
}).start();
}
}
}
如何避免线程安全性问题
线程安全性问题成因
- 多线程环境
- 多个线程操作同一共享资源
- 对该共享资源进行了非原子性操作
如何避免
打破成因中三点任意一点即可。
- 多线程环境：将多线程改单线程（必要的代码，加锁访问），比如：synchronized 、JDK 提供的锁、自己实现属于自己的锁等…
- 多个线程操作同一共享资源：不共享资源（ThreadLocal、不共享、操作无状态化、不可变） 。
- 对该共享资源进行了非原子性操作：将非原子性操作改成原子性操作（加锁、使用 JDK 自带的原子性操作的类、JUC 提供的相应的并发工具类）。