目录
不安全代码示例
两个线程同时针对一个成员变量进行修改
public class test3 {
private int count = 0;
public void counter() {
count++;
}
public static void main(String[] args) throws InterruptedException {
test3 test3 = new test3();
Thread t1 = new Thread(() -> {
for (int i = 0; i < 200; i++) {
test3.counter();
}
});
Thread t2 = new Thread(() -> {
for (int i = 0; i < 200; i++) {
test3.counter();
}
});
t1.start();
t2.start();
t1.join();
t2.join();
System.out.println(test3.count);
}
}
原因
导致线程不安全的原因有以下五点:
-
操作系统对线程的调度是随机的/抢占式的(主要原因)
-
多个线程修改同一个变量
-
修改操作不是原子的
原子是不可分割的最小单位
++ 可以分割成三个部分来执行 load ,add ,save,就不是原子的
= 赋值这个的话是一个原子操作
-
内存可见性问题
内存可见性:t1线程 从内存中读取到变量,每次从工作内存上重复读取,然后t2从主内存上读取到相同的变量然后修改,t1检测不到这个变量的修改
-
指令重排序问题
解决方法
由以下五点来进行解决
-
针对线程的抢占式执行,可以采用wait()(等待),notify()(唤醒)来调配线程的执行顺序
-
对于多个线程修改同一个变量,可以调节代码结构,做到一定程度上的规避
-
操作不是原子性的,可以利用synchronized进行加锁操作,使操作系统变成原子性的
synchronized可以修饰代码块(针对此代码块加锁),普通方法(针对本方法加锁),static静态方法(针对类来加锁),锁具有互斥性,当一个线程对其加锁之后,其他线程就不能对其进行修改或者访问,需要等释放锁后才能重新访问(这里是针对同一把锁)
对于synchronized的详细讲解,请关注俺的下一篇文章~~
4.内存可见性问题,是编译器优化引入的一个BUG,当一个线程无法及时感知到,就会导致代码出现错误,使用volatile关键字修饰可能出现内存可见性问题的变量,就可以避免编译器只读寄存器不读内存的情况,解决了内存可见性问题
5.指令重排序也是编译器优化导致的BUG
安全代码示例
public class test3 {
private int count = 0;
//对修改操作进行加锁
//synchronized 会起到互斥效果, 某个线程执行到某个对象的 synchronized 中时, 其他线程如果也执行到同一个对象 synchronized 就会阻塞等待
//当加锁的线程退出代码块,就相当于解锁,其他线程就可以对其操作了
public synchronized void counter() {
count++;
}
public static void main(String[] args) throws InterruptedException {
test3 test3 = new test3();
Thread t1 = new Thread(() -> {
for (int i = 0; i < 200; i++) {
test3.counter();
}
});
Thread t2 = new Thread(() -> {
for (int i = 0; i < 200; i++) {
test3.counter();
}
});
t1.start();
t2.start();
t1.join();
t2.join();
System.out.println(test3.count);
}
}