线程安全
如果多线程环境下代码运行的结果是符合我们预期的,即在单线程环境应该的结果,则说这个程序是线程安全的。
线程安全问题的原因
-
[根本原因]多个线程之间的调度顺序是“随机”的,操作系统使用“抢占式”执行的策略来调度线程
-
多个线程同时修改同一个遍历,容易产生线程安全问题
- 3个条件
- 多个
- 修改
- 同一个
-
进行的修改,不是“原子的”,如果修改操作能按照原子的形式完成,就不会有线程安全问题(原子,即不可再分)
-
内存可见性,引起的线程安全问题
-
指令重排序,引起的线程安全问题
- 以上五个原因,只有第3个原因能想办法修正
- 通过“加锁”的方式,把一组操作给打包成一个“原子”的操作。此处的原子,就是通过锁,进行“互斥”,我这个线程工作的时候,其他线程无法工作
- 原子性:
什么是原子性
我们把一段代码想象成一个房间,每个线程就是要进入这个房间的人。如果没有任何机制保证,A进入房间之后,还没有出来;B 是不是也可以进入房间,打断 A 在房间里的隐私。这个就是不具备原子性的。
那我们应该如何解决这个问题呢?是不是只要给房间加一把锁,A 进去就把门锁上,其他人是不是就进不来了。这样就保证了这段代码的原子性了。
有时也把这个现象叫做同步互斥,表示操作是互相排斥的。
如果一个线程正在对一个变量操作,中途其他线程插入进来了,如果这个操作被打断了,结果就可能是错误的。
2. 可见性: 一个线程对共享变量值的修改,能够及时地被其他线程看到
3. 代码顺序性:
什么是代码重排序
一段代码是这样的:
1. 去前台取下 U 盘
2. 去教室写 10 分钟作业
3. 去前台取下快递
如果是在单线程情况下,JVM、CPU指令集会对其进行优化,比如,按 1->3->2的方式执行,也是没问题,可以少跑一次前台。这种叫做指令重排序
编译器对于指令重排序的前提是 “保持逻辑不发生变化”. 这一点在单线程环境下比较容易判断, 但是在多线程环境下就没那么容易了, 多线程的代码执行复杂程度更高, 编译器很难在编译阶段对代码的执行效果进行预测, 因此激进的重排序很容易导致优化后的逻辑和之前不等价.
synchronized 关键字-监视器锁monitor lock
代码中的锁就是让多个线程,同一时刻,只有一个线程能使用这个变量
synchronized的特性
互斥
synchronized 会起到互斥效果, 某个线程执行到某个对象的 synchronized 中时, 其他线程如果也执行到同一个对象 synchronized 就会阻塞等待.
- 进入 synchronized 修饰的代码块, 相当于 加锁
- 退出 synchronized 修饰的代码块, 相当于 解锁
//进入就针对当前对象“加锁”
synchronized public void increase(){
count++;
}
//出来就针对当前对象“解锁”
synchronized关键字最主要有以下3种应用方式:
- 修饰实例方法,作用于当前实例加锁,进入同步代码前要获得当前实例的锁
- 修饰静态方法,作用于当前类对象加锁,进入同步代码前要获得当前类对象的锁
- 修饰代码块,指定加锁对象,对给定对象加锁,进入同步代码块前要获得给定对象的锁。(这里可以给实例对象的名称
Test test=new Test()
的test
,也可以给this
对象代表当前实例,也可以给当前类的class
对象作为锁) - 思考:通过加锁操作之后把并发执行=>串行执行了,此时多线程还有存在的意义吗?
- 答:因为两个线程,可能有一部分代码是串行执行的,有一部分是并发执行的=>这仍然比纯粹的串行执行效率要高!
理解 “阻塞等待”.
针对每一把锁, 操作系统内部都维护了一个等待队列. 当这个锁被某个线程占有的时候, 其他线程尝试进行加锁, 就加不上了, 就会阻塞等待, 一直等到之前的线程解锁之后, 由操作系统唤醒一个新的线程, 再来获取到这个锁.
注意:
- 上一个线程解锁之后, 下一个线程并不是立即就能获取到锁. 而是要靠操作系统来 “唤醒”. 这也就是操作系统线程调度的一部分工作.
- 假设有 A B C 三个线程, 线程 A 先获取到锁, 然后 B 尝试获取锁, 然后 C 再尝试获取锁, 此时 B 和 C 都在阻塞队列中排队等待. 但是当 A 释放锁之后, 虽然 B 比 C 先来的, 但是 B 不一定就能获取到锁, 而是和 C 重新竞争, 并不遵守先来后到的规则
synchronized用的锁是存在Java对象里的。
synchronized进行加锁解锁,其实是以“对象”为维度进行展开的。
加锁目的是为了互斥使用资源。(互斥的修改变量)
使用synchronized的时候,其实是指定了某个具体的对象进行加锁,当synchronized直接修饰方法时,此时就相当于是针对this加锁(修饰方法相当于这段代码的简化写法)[不存在所谓的“同步方法”的概念]
class Counter{
public int count=0;
public void increace(){
synchronized (this){//this就是下面调用的counter
count++;
}
}
public void increace2(){
count++;
}
public synchronized static void func(){
synchronized (Counter.class){
}
}
}
public class Demo {
public static void main(String[] args) throws InterruptedException {
Counter counter=new Counter();
Thread t1=new Thread(()->{
for (int i = 0; i < 50000; i++) {
counter.increace();//这里t1的counter和下面t2的counter进行锁竞争/锁冲突
}
});
Thread t2=new Thread(()->{
for (int i = 0; i < 50000; i++) {
counter.increace();//这里t2的counter和上面t1的counter进行锁竞争/锁冲突
}
});
t1.start();
t2.start();
t1.join();
t2.join();
System.out.println(counter.count);
}
}
如果是两个线程针对同一个对象进行加锁,就会出现锁竞争/锁冲突(一个线程能加锁成功,另一个线程阻塞等待)
如果是两个线程针对不同对象进行加锁,就不会出现锁竞争/锁冲突,也就不存在阻塞等待的操作了
因此具体针对哪个对象加锁不重要,重要的是两个线程,是不是针对同一个对象加锁
- 思考:如果接下来的代码里,一个线程加锁了,一个线程没加锁,此时是否还会存在线程安全问题
- 答:单方面加锁等于没加锁,必须得多个线程都对同一个对象加锁,才有意义
synchronized的底层是使用操作系统的mutex lock实现的.
synchronized有且只有一条规则:
当两个线程针对同一个对象加锁的时候,就会出现锁竞争/锁冲突。一个线程能先拿到锁,另一个线程就会阻塞等待(BLOCKED)。直到第一个线程释放了锁之后,第二个线程才可能获取到锁,才能继续往下执行。
刷新内存
synchronized 的工作过程:
- 获得互斥锁
- 从主内存拷贝变量的最新副本到工作的内存
- 执行代码
- 将更改后的共享变量的值刷新到主内存
- 释放互斥锁
可重入
synchronized 同步块对同一条线程来说是可重入的,不会出现自己把自己锁死的问题
理解 "把自己锁死"
一个线程没有释放锁, 然后又尝试再次加锁.
// 第一次加锁, 加锁成功 lock(); // 第二次加锁, 锁已经被占用, 阻塞等待. lock();
按照之前对于锁的设定, 第二次加锁的时候, 就会阻塞等待. 直到第一次的锁被释放, 才能获取到第二个锁. 但是释放第一个锁也是由该线程来完成, 结果这个线程已经躺平了, 啥都不想干了, 也就无法进行解锁操作. 这时候就会 死锁.
这样的锁称为 不可重入锁.
Java 中的 synchronized 是 可重入锁, 因此没有上面的问题
代码示例
在下面的代码中,
- increase 和 increase2 两个方法都加了 synchronized, 此处的 synchronized 都是针对 this 当前对象加锁的.
- 在调用 increase2 的时候, 先加了一次锁, 执行到 increase 的时候, 又加了一次锁. (上个锁还没释放, 相当于连续加两次锁)
这个代码是完全没问题的. 因为 synchronized 是可重入锁.
static class Counter {
public int count = 0;
synchronized void increase() {
count++;
}
synchronized void increase2() {
increase();
}
}
在可重入锁的内部, 包含了 “线程持有者” 和 “计数器” 两个信息.
- 如果某个线程加锁的时候, 发现锁已经被人占用, 但是恰好占用的正是自己, 那么仍然可以继续获取到锁, 并让计数器自增.
- 解锁的时候计数器递减为 0 的时候, 才真正释放锁. (才能被别的线程获取到)
synchronized使用范例
synchronized 本质上要修改指定对象的 “对象头”. 从使用角度来看, synchronized 也势必要搭配一个具体的对象来使用.
- 直接修饰普通方法:锁的 SynchronizedDemo 对象
public class SynchronizedDemo {
public synchronized void methond() {
}
}
- 修饰静态方法: 锁的 SynchronizedDemo 类的对象
public class SynchronizedDemo {
public synchronized static void method() {
}
}
- 修饰代码块: 明确指定锁哪个对象.
锁当前对象
public class SynchronizedDemo {
public void method() {
synchronized (this) {//Test test=new Test()的test也行
}
}
}
锁类对象
public class SynchronizedDemo {
public void method() {
synchronized (SynchronizedDemo.class) {
}
}
}
volatile
volatile能保证内存可见性
volatile 修饰的变量, 能够保证 “内存可见性”.
代码在写入 volatile 修饰的变量的时候,
- 改变线程工作内存中volatile变量副本的值
- 将改变后的副本的值从工作内存刷新到主内存
代码在读取 volatile 修饰的变量的时候,
- 从主内存中读取volatile变量的最新值到线程的工作内存中
- 从工作内存中读取volatile变量的副本
代码示例
在这个代码中
- 创建两个线程 t1 和 t2
- t1 中包含一个循环, 这个循环以 flag == 0 为循环条件.
- t2 中从键盘读入一个整数, 并把这个整数赋值给 flag.
- 预期当用户输入非 0 的值的时候, t1 线程结束.
static class Counter {
public int flag = 0;
}
public static void main(String[] args) {
Counter counter = new Counter();
Thread t1 = new Thread(() -> {
while (counter.flag == 0) {
// do nothing
}
System.out.println("循环结束!");
});
Thread t2 = new Thread(() -> {
Scanner scanner = new Scanner(System.in);
System.out.println("输入一个整数:");
counter.flag = scanner.nextInt();
});
t1.start();
t2.start();
}
// 执行效果
// 当用户输入非0值时, t1 线程循环不会结束. (这显然是一个 bug)
// 注意:这里直接在控制台是看不出的
t1 读的是自己工作内存中的内容.
当 t2 对 flag 变量进行修改, 此时 t1 感知不到 flag 的变化.
如果给 flag 加上 volatile
static class Counter {
public volatile int flag = 0;
}
// 执行效果
// 当用户输入非0值时, t1 线程循环能够立即结束.
// 注意:这里直接在控制台同样是看不出的
volatile不保证原子性
volatile 和 synchronized 有着本质的区别. synchronized 能够保证原子性, volatile 保证的是内存可见性.
synchronized 也能保证内存可见性
synchronized 既能保证原子性, 也能保证内存可见性.
内存可见性问题:
- 编译器优化
- 内存模型
- 多线程
- volatile保证的是内存可见性,不是原子性
内存可见性和加锁描述了线程安全问题的典型情况和处理方式
wait 和 notify
由于线程之间是抢占式执行的, 因此线程之间执行的先后顺序难以预知.
但是实际开发中有时候我们希望合理的协调多个线程之间的执行先后顺序.
完成这个协调工作, 主要涉及到三个方法 :
- wait() / wait(long timeout): 让当前线程进入等待状态.
- notify() / notifyAll(): 唤醒在当前对象上等待的线程.
注意: wait, notify, notifyAll 都是 Object 类的方法.
先自我介绍一下,小编浙江大学毕业,去过华为、字节跳动等大厂,目前阿里P7
深知大多数程序员,想要提升技能,往往是自己摸索成长,但自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!
因此收集整理了一份《2024年最新网络安全全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友。
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上网络安全知识点,真正体系化!
由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新
需要这份系统化资料的朋友,可以点击这里获取
,就是希望能够帮助到想自学提升又不知道该从何学起的朋友。**
[外链图片转存中…(img-S41tzHZR-1714717142874)]
[外链图片转存中…(img-dQVUkP0w-1714717142874)]
[外链图片转存中…(img-5lZOYw1T-1714717142875)]
[外链图片转存中…(img-SIBfbjY2-1714717142876)]
[外链图片转存中…(img-j1PWM4ZF-1714717142877)]
[外链图片转存中…(img-8jFlDpdb-1714717142877)]
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,涵盖了95%以上网络安全知识点,真正体系化!
由于文件比较多,这里只是将部分目录截图出来,全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频,并且后续会持续更新