程序中的锁

本文详细探讨了程序中为什么要加锁以及何时需要加锁,主要介绍了各种锁的类型,包括悲观锁、乐观锁、自旋锁、互斥锁、公平锁、非公平锁、可重入锁等。同时,讨论了锁冲突的处理方式,如自旋锁、自适应锁,以及处理死锁、活锁和饥饿的方法。最后,分析了synchronized、Lock和volatile在保证线程安全中的作用,以及加锁并不总能确保线程安全的情况。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

说到锁,我们叫要先明确什么是线程的异步与同步

同步:一时刻只有一个线程可以进行处理,其他的要排队,效率低,安全性高

异步:多线程争抢资源,安全低,效率高

为什么要加锁?

  • 多线程异步访问共享资源的时候,避免不了资源竞争而导致数据错乱的问题,所以我们通常为了解决这一问题,都会在访问共享资源之前加锁。
  • 加锁的目的就是保证共享资源在任意时间里,多线程同步对一个公共资源进行操作。同一时间内,只有一个线程访问,这样就可以避免多线程导致共享数据错乱的问题

什么情况下需要加锁?

如何判断可能出现安全问题,需要加上同步锁?

  1. 多线程程序中
  2. 有共享公用数据
  3. 多条语句操作共享数据

锁的类型

根据锁的状态、特性以及设计,可能会有多种区分:

乐观锁/悲观锁、自旋锁/适应性自旋锁、偏向锁、轻量级锁、重量级锁,公平锁/非公平锁等。

锁的范围:

不能太大,太大,干啥都得排队,也不能太小,太小,锁不住,还是会有安全隐患 

乐观和悲观

悲观锁

认为对于同一个数据的并发操作,一定是会发生修改;悲观的认为,不加锁的并发操作一定会出问题。所以每次调用资源都会上锁。安全性高,但是效率低。

  • 对于同一个数据的并发操作,悲观锁采取加锁的形式。
  • Java中,synchronized 关键字和Lock 的实现类都是悲观锁。
  • 底层是通过enter和exit的方法实现,当一个线程获得监视器monitor时,程序计数器会自增1,反之自减1,并释放监视器

需要注意的是,用sychronized修饰的方法或者语句块在代码执行完之后锁会自动释放,而是用Lock需要我们手动释放锁,所以为了保证锁最终被释放(发生异常情况),要把互斥区放在try内,释放锁放在finally内!

乐观锁

更适合多读的操作。

认为对于同一个数据的并发操作,是不会发生修改的;乐观的认为,不加锁的并发操作是没有问题的。在读取数据的时候不会加锁,在修改的时候会加锁。每次在调用资源会比较数据是否有被修改,如果被修改了,会重试或者报错,此时应有相应的重试逻辑。

  • 在更新数据的时候,会采用尝试更新前判断数据是否被别的线程更新。
  • 如果这个数据没有被更新,当前线程将自己修改的数据成功写入。
  • 如果数据已经被其他线程更新,则根据不同的实现方式执行不同的操作(例如报错或者自动重试)。

报错:如果修改数据的时候发现数据在变化&#

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

sayhitoloverOvO

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值