1、线程安全
多个线程对同一个共享变量进行读写操作时可能产生不可预见的结果,这就是线程安全问题。
线程安全的核心点就是共享变量,只有在共享变量的情况下才会有线程安全问题。这里说的共享变量,是指多个线程都能访问的变量,一般包括成员变量和静态变量,方法内定义的局部变量不属于共享变量的范围。
线程安全问题示例:
import lombok.extern.slf4j.Slf4j;
/**
* @Author FengJian
* @Date 2021/1/27 10:59
* @Version 1.0
*/
@Slf4j(topic = "c.ThreadSafeTest")
public class ThreadSafeTest {
static int count = 0;
public static void main(String[] args) throws InterruptedException {
Thread t1 = new Thread("t1"){
@Override
public void run() {
for (int i = 0;i < 5000;i++){
count++;
}
}
};
Thread t2 = new Thread("t2"){
@Override
public void run() {
for (int i = 0;i < 5000;i++){
count--;
}
}
};
t1.start();
t2.start();
/**
* join方法:使main线程与t1、t2线程同步执行,即t1、t2线程都执行完,main线程才会继续执行(但t1、t2之间依然是并行执行的)
* 主要是为了等待两个线程执行完后,在main线程打印count的值
*/
t1.join();
t2.join();
log.debug("count的值为:{}",count);
}
}
运行上述代码三次的结果如下:
[main] DEBUG c.ThreadSafeTest - count的值为:-904
[main] DEBUG c.ThreadSafeTest - count的值为:-2206
[main] DEBUG c.ThreadSafeTest - count的值为:73
在上述代码中,线程t1中count进行5000次自增操作,而线程t2中count则进行5000次自减操作。在两个线程都运行结束后,按照预期结果,count的值应为0。但由打印结果可知,count的值并不为0,且每次运行的结果都不一样。这就是多线程对共享变量进行操作出现的不可预见的结果,即常说的线程安全问题。
而线程安全,则指的是在多线程环境下,程序可以始终执行正确的行为,符合预期的逻辑。具体到上述代码,就是不论执行多少次,在t1、t2线程执行完毕后,count的值都应该始终符合预期的结果0。上述代码明显是线程不安全的。
2、出现线程安全的原因
线程安全是使用多线程必定会面临的问题,导致线程不安全的主要原因有以下三点:
- ①原子性:一个或者多个操作在 CPU 执行的过程中被中断
- ②可见性:一个线程对共享变量的修改,另外一个线程不能立刻看到
- ③有序性:序执行的顺序没有按照代码的先后顺序执行
2.1、原子性
2.1.1 什么是原子性问题
原子性问题,其实说的是原子性操作。即一个或多个操作,应该是一个不可分的整体,这些操作要么全部执行并且不被打断,要么就都不执行。
以上述代码中的count的自增(count++)和自减(count–)为例。
count++和count–看似只有一行代码,但实际上这一行代码在编译后的字节码指令以及在JVM执行的对应操作如下:
count++:
getstatic count //获取静态变量count的值
iconst_1 //准备常量1
iadd //自增
putstatic count //将修改后的值存入静态变量count
count--:
getstatic count //获取静态变量count的值
iconst_1 //准备常量1
isub //自减
putstatic count //将修改后的值存入静态变量count
由此可知,count自增或自减的操作,并不是一个原子操作,即中间过程是有可能被打断的。
count自增自减操作需要四个步骤(指令)才能完成,这意味着如果这执行这四个步骤的某一步时,线程发生了上下文切换,那么自增自减操作将被打断暂停。
如果使用单线程来执行自增自减操作,这实际上并无问题:
上图为单线程执行count自增自减的一次过程,可以看出在没有线程上下文切换的情况下,即使自增自减不是原子操作,count的最后结果都会是0。
但在多线程环境下,就会出现问题了: