Java锁机制

preview

1 乐观锁与悲观锁

乐观锁和悲观锁是一种广义的概念,体现了看待线程同步的不同角度,在Java和数据库中都有此概念的实际应用。

对于同一个数据的并发操作,悲观锁认为自己在使用数据的时候,一定有其他线程会修改数据,因此在获取数据的时候,会先加锁,确保数据不会被其他线程修改,在Java中synchronized关键字和Lock的实现类都是悲观锁。

而乐观锁认为自己在使用数据的时候,不会有其他线程修改数据,所以不会添加锁,只是在更新数据的时候,判断之前有没有别的线程更新了这个数据,如果数据已经被其他线程更新,则根据不同的实现方法执行不同的操作,例如报错,或自动重试。

乐观锁在Java中是通过使用无锁编程来实现的,最常使用的是CAS算法,Java原子类的递增操作就是通过CAS自旋来实现的。

                   

根据以上概念的描述,我们可以发现:

  • 悲观锁适合写操作多的场景,先加锁可以保证写操作时数据正确
  • 乐观锁适合读操作多的场景,不加锁的特点使其读操作的性能大幅度提升

以下是悲观锁和乐观锁的调用方式示例:

通过调用方法示例,我们可以发现悲观锁基本都是在显式的锁定之后再操作同步资源,而乐观锁则直接去操作同步资源。

那么为什么乐观锁能够做到不锁定同步资源,也可以正确的实现线程同步呢?

以下介绍乐观锁的主要实现方式“CAS”技术原理来解惑:

CAS全称:Compare And  Swap 比较与交换,是一种无锁算法,在不使用锁(没有线程被阻塞)的情况下,实现多线程之间的变量同步,JUC包中的原子类就是通过CAS算法来实现了乐观锁。

CAS算法涉及到三个操作数:

  1. 需要读写的内存值V
  2. 进行比较的值A
  3. 要写入的新值B

当且仅当V的值等于A时,CAS通过原子方式用新值B来更新V的值(比较和更新整体是一个原子操作),否则不会执行任何操作,一般来说,更新是一个不断“重试”的操作。

以下是JUC包下原子类AtomicInteger的源码,原子类通过CAS来实现乐观锁:

根据定义可以看出各属性的作用:

  • unsafe:获取并操作内存的数据
  • valueOffset:存储value在AtomicInteger中的偏移量
  • value:存储AtomicInteger的int值,该属性需要借助volatile关键字保证其在线程间是可见的

CAS存在的三个问题:

1. ABA问题

CAS需要在操作值的时候检查内存值是否发生变化,没有发生变化才会更新内存值。但是如果内存值原来是A,后来变成了B,然后又变成了A,那么CAS进行检查时会发现值没有发生变化,但是实际上是有变化的。ABA问题的解决

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值