JAVA 锁

本贴最后更新于 2003 天前,其中的信息可能已经事过景迁

  1. 乐观锁

    乐观锁是一种乐观思想,即认为读多写少,遇到并发写的可能性低,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候回判断一下在此期间别人有没有去更新这个数据,采取在写时先读出当前版本号,然后加锁操作(比较跟上一次的版本号,如果一样则更新),如果失败则要重复读-比较-写的操作。

    java 中的乐观锁基本都是通过 CAS 操作实现的,CAS 是一种更新的原子操作,比较当前值跟传入值是否一样,一样则更新,否则失败

  2. 悲观锁

    悲观锁就是悲观思想,即认为写多,遇到并发写的可能性高,每次去拿数据的时候都认为别人会修改,所以每次在读写数据的时候都会上锁,这样别人想读写这个数据就会 block 直到拿到锁。java 中的悲观锁就是 Synchronized,AQS 框架下的锁则是先尝试 CAS 乐观锁去获取锁,获取不到,才会转换为悲观锁,如 ReentantLock。

  3. 自旋锁

    如果持有锁的线程能在很短时间内释放锁资源,那么那些等待竞争锁的线程就需要做内核态和用户态之间的切换进入阻塞挂起状态,它们只需要等一等(自旋),等待持有锁的线程释放锁后即可立即获取锁,这样就避免用户线程和内核切换的消耗。

    线程自旋是需要消耗 CPU 的,换句话说就是让 CPU 做无用功,如果一直获取不到锁,那线程也不能一直占用 CPU 自旋做无用功,所以需要设定一个自旋等待的最大时间。

    如果持有锁的线程执行的时间超过自旋等待的最大时间仍没有释放锁,就会导致其他争用锁的线程在最大等待时间内还是获取不到锁,这时争用线程会停止自旋进入阻塞状态。

  4. Synchronized 同步锁

    Synchronized 它可以把任意一个非 NULL 的对象当做锁。它属于独占式的悲观锁,同时是可重入锁

    • Synchronized 核心组件

      1. Wait Set:哪些调用 wait 方法被阻塞的线程被放置在这里
      2. Contention List:竞争队列,所有请求锁的线程首先被放在这个竞争队列中
      3. Entry List:Contention List 中那些有资格成为候选资源的线程被移动到 Entry List 中
      4. OnDeck:任意时刻,最多只有一个线程正在竞争锁资源,该线程被称为 OnDeck
      5. Owner:当前已经获取到锁资源的线程被称为 Owner
      6. !Owner:当前释放锁的线程
    • Synchronized 实现

      image-20191105201926805

      1. JVM 每次从队列的尾部取出一个数据用于锁竞争候选者(OnDeck),但是并发情况下,ContentionList 会被大量的并发线程进行 CAS 访问,为了降低对尾部元素的竞争,JVM 会将一部分线程移动到 EntryList 中作为候选竞争线程。
      2. Owner 线程会在 unlock 时,将 ContentionList 中的部分线程迁移到 EntryList 中,并指定 EntryList 中的某个线程为 OnDeck 线程(一般是最先进去的那个线程)。
      3. Owner 线程并不直接把锁传递给 OnDeck 线程,而是把锁竞争的权利交给 OnDeck,OnDeck 需要重新竞争锁。这样虽然牺牲了一些公平性,但是能极大的提升系统的吞吐量,在 JVM 中也把这种选择行为称之为“竞争切换”。
      4. OnDeck 线程获取到锁资源后会变为 Owner 线程,而没有得到锁资源的则仍然停留在 EntryList 中。如果 Owner 线程被 wait 方法阻塞,则转移到 WaitSet 队列中,直到某个时刻通过 notify 或者 notifyAll 唤醒,会重新进去 EntryList 中。
      5. 处于 ContentionList、EntryList、WaitSet 中的线程都处于阻塞状态,该阻塞是由操作系统来完成的(Linux 内核下采用 pthread_mutex_lock 内核函数实现的)
      6. Synchronized 是非公平锁。Synchronized 在线程进入 ContentionList 时,等待的线程会先尝试自旋获取锁,如果获取不到就进入 ContentionList,这明显对于已经进入队列的线程是不公平的,还有一个不公平的事情就是自旋获取锁的线程还可能直接抢占 OnDeck 线程的锁资源
      7. 每个对象都有个 monitor 对象,加锁就是在竞争 monitor 对象,代码块加锁是在前后分后加上 monitorenter 和 monitorexit 指令来实现的,方法加锁是通过一个标记位来判断的
      8. Synchronized 是一个重量级操作,需要调用操作系统相关接口,性能是低效的,有可能给线程加锁消耗的时间比有用操作消耗的时间更多。
      9. JDK1.6,Synchronized 进行了很多的优化,有适应自旋、锁消除、锁粗化、轻量级锁及偏向锁等,效率有了本质上的提高。在之后推出的 JDK1.7 与 JDK1.8 中,均对该关键字的实现机理做了优化。引入了偏向锁和轻量级锁。都是在对象头中有标记位,不需要经过操作系统加锁。
      10. 锁可以从偏向锁升级到轻量级锁,在升级到重量级锁。这种升级过程称为锁膨胀。
      11. JDK1.6 中默认是开启偏向锁和轻量级锁,可以通过-XX:-UseBiasedLocking 来禁用偏向锁。
  5. ReentantLock

    ReentantLock 继承接口 Lock 并实现了接口中定义的方法,它是一种可重入锁,除了能完成 Synchronized 锁能完成的所有工作之外,还提供了诸如可响应中断锁、可轮询锁请求、定时锁等避免多线程死锁的方法。

    Lock 接口的主要方法

    1. void lock():执行此方法时,如果锁处于空闲状态,当前线程将获取到锁,相反,如果锁已经被其他线程持有,将禁用当前线程,直到当前线程获取到锁。
    2. boolean tryLock():如果锁可用,则获取锁,并立即返回 true,否则返回 false,该方法和 lock()的区别在于,tryLock()只是“试图”获取锁,如果锁不可用,不会导致当前线程被禁用,当前线程仍然继续往下执行代码。而 lock()方法则是一定要获取到锁,如果锁不可用,就一直等待,在未获得锁之前,当前线程并不继续向下执行。
    3. void unlock():执行此方法时,当前线程将释放持有的锁,锁只能由持有者释放,如果线程并不持有锁,却执行该方法,可能导致异常的发生。
    4. Condition newCondition():条件对象,获取等待通知组件。该组件和当前的锁绑定,当前线程只有获取了锁,才能调用该组件的 await()方法,而调用后,当前线程将释放锁
    5. getHoldCount():查询当前线程保持此锁的次数,也就是此线程执行 lock 方法的次数。
    6. getQueueLength():返回正等待获取此锁的线程估计数,比如启动 10 个线程,1 个线程获得了锁,此时返回的是 9
    7. getWaitQueueLength():(Condition condition)返回等待与此锁相关的给定条件的线程估计数。比如 10 个线程,用同一个 condition 对象,并且此时这 10 个线程都执行了 condition 对象的 await 方法,那么此时执行此方法返回 10。
    8. hasWaiters(Condition condition):查询是否有线程等待与此锁有关的给定条件(Condition),对于指定 condition 对象,有多少线程执行了 condition.await()方法。
    9. hasQueuedThread(Thread thread):查询给定线程是否等待获取此锁
    10. hasQueuedThreads():是否有线程等待此锁
    11. isFair():该锁是否是公平锁
    12. isHeldByCurrentThread():当前线程是否保持锁锁定,线程执行 lock()方法的前后分别是 false 和 true。
    13. isLock():此锁是否有任意线程占用。
    14. lockInterruptibly():如果当前线程未被中断,获取锁。
    15. tryLock():尝试获得锁,仅在调用时锁未被线程占用,获得锁
    16. tryLock(long timeout, TimeUnit unit):如果锁在给定等待时间内没有被另一个线程保持,则获取该锁。

    非公平锁

    JVM 按随机、就近原则分配锁的机制被称为非公平锁,ReentrantLock 在构造函数中提供了是否公平锁的初始化方式,默认为非公平锁。非公平锁实际执行的效率要远远超出公平锁,除非程序有特殊需要,否则常用非公平锁的分配机制

    公平锁

    公平锁指锁的分配机制是公平的,通常先对锁提出获取请求的线程会先被分配到锁,ReentrantLock 在构造函数中提供了是否公平锁的初始化方式来定义公平锁

    ReentrantLock 和 Synchronized

    1. ReentrantLock 通过方法 lock()与 unlock()来进行加锁与解锁操作,与 Synchronized 通过 JVM 自动解锁的机制不同,ReentrantLock 加锁后需要手动进行解锁。为了避免程序出现异常而无法正常解锁的情况,使用 ReentrantLock 必须在 finally 控制块中进行解锁操作。
    2. ReentrantLock 相比 Synchronized 的优势是可中断、公平锁、多个锁。这种情况下需要使用 ReentrantLock。
  6. Semaphore 信号量

    Semaphore 是一种基于计数的信号量。它可以设定一个阈值,基于此,多个线程竞争获取许可信号,做完自己的申请后归还,超过阈值后,线程申请许可信号将会被阻塞。Semaphore 可以用来构建一些对象池,资源池之类的,比如数据库连接池

    实现互斥锁

    我们可以创建技术为 1 的 Semaphore,将其作为一种类似互斥锁的机制,这也叫二元信号量,表示两种互斥状态

    Semaphore 与 ReentrantLock

    Semaphore 基本能完成 ReentrantLock 的所有工作,使用方法也与之类似,通过 acquire()与 release()方法类获取和释放临界资源。经实测,Semaphore.acquire()方法默认为可响应中断锁,与 ReentrantLock.lockInterruptibly()作用效果一致,换句话说在等待临界资源的过程中可以被 Thread.interrupt()方法中断。

    此外,Semaphore 也实现了可轮询的锁请求与定时锁的功能,除了方法名 tryAcquire 与 tryLock 不同,其使用方法与 ReentrantLock 几乎一致。Semaphore 也提供了公平与非公平锁的机制,也可在构造函数中进行设定。

    Semaphore 的锁释放操作也由手动进行,因此与 ReentrantLock 一样,为避免线程因抛出异常而无法正常释放锁的情况发生,释放锁的操作也必须在 finally 代码块中完成

  7. AutomicInteger

    此处 AutomicInteger,一个提供原子操作的 Integer 的类,常见的还有 AutomicBoolean、AutomicLong、AutomicReference 等,他们的实现原理相同,区别在于运算对象类型的不同。另外,可以通过 AutomicReference将一个对象的所有操作转换成原子操作。

    在多线程程序中,诸如 ++i 或 i++ 等运算不具有原子性,是不安全的线程操作之一。通常我们会使用 Synchronized 将该操作变成一个原子操作,但 JVM 为此类操作特意提供了一些同步类,使得使用更方便,且使程序运行效率变得更高。通过资料显示,通常 AutomicInteger 的性能是 ReentrantLock 的好几倍。

  8. 可重入锁(递归锁)

    这里讲的是广义上的可重入锁,而不单指 JAVA 下的 ReentrantLock。可重入锁,也叫递归锁,指的是统一线程,外层函数获得锁之后,内层递归函数仍然可以获取该锁,不受影响。在 JAVA 环境下 ReentrantLock 和 Synchronized 都是可重入锁。

  9. 公平锁与非公平锁

    公平锁

    加锁前检查是否有排队等待的线程,优先排队等待的线程,先来先得

    非公平锁

    加锁时不考虑排队等待的问题,直接尝试获取锁,获取不到自动到队尾等待

    1. 非公平锁性能比公平锁高 5~10 倍,因为公平锁需要在多核的情况下维护一个队列
    2. Java 中的 Synchronized 是非公平锁,ReentrantLock 默认的 lock()方法采用的也是非公平锁。
  10. ReadWriteLock 读写锁

    为了提高性能,Java 提供了读写锁,在读的地方使用读锁,在写的地方使用写锁,灵活控制。如果没有写锁的情况下,读是无阻塞,在一定程度上提高了程序的执行效率。读写锁分为读锁和写锁。多个读锁不互斥,读锁和写锁互斥,这是有 JVM 自己控制的,我们只需要上好对应的锁即可。

    读锁

    如果我们的代码只读数据,可以很多人同时读,但不能同时写,那就上读锁

    写锁

    如果我们的代码修改数据,只能一个人写,且不能同时读取,那就上写锁。总之,读的时候上读锁,写的时候上写锁。

    Java 中读写锁有个接口 java.util.concurrent.locks.ReadWriteLock,也有具体的实现 ReetrantReadWriteLock。

  11. 共享锁和独占锁

    Java 并发包提供的加锁模式分为独占锁和共享锁。

    独占锁

    独占锁模式下,每次只能有一个线程持有锁,ReentrantLock 就是以独占方式实现的互斥锁。独占锁是一种悲观保守的加锁策略,它避免了读/读冲突,如果某个只读线程获取锁,则其他读线程都只能等待,这种情况下就限制了不必要的并发性,因为读操作并不会影响数据的一致性。

    共享锁

    共享锁则允许多个线程同时获取锁,并发访问共享资源,如:ReadWriteLock。共享锁则是一种乐观锁,它放宽了加锁策略,允许多个执行读操作的线程同时访问共享资源。

    1. AQS 的内部类 Node 定义了两个常量 SHARED 和 EXCLUSIVE,他们分别标识 AQS 队列等待线程的锁获取模式。
    2. java 的并发包中提供了 ReadWriteLock,读-写锁。它允许一个资源可以被多个读操作访问,或者被一个写操作访问,但两者不能同时进行。
  12. 重量级锁

    Synchronized 是通过对象内部的一个叫做监视器锁(monitor)来实现的。但是监视器锁本质又是依赖底层操作系统的 Mutex Lock 来实现。而操作系统实现线程之间的切换这就需要从用户态转换到核心态,这个成本非常高,状态之间的转换需要相对比较长的时间,这就是为什么 Synchronized 效率低的原因。因此,这种依赖于操作系统 Mutex Lock 所实现的锁我们称之为“重量级锁”。JDK 中对 Synchronized 做的种种优化,其核心都是为了减少这种重量级锁的使用。JDK1.6 以后,为了减少获得锁和释放锁所带来的性能消耗,提高性能,引入了“轻量级锁”和“偏向锁”。

  13. 轻量级锁

    锁的状态总共有四种:无锁状态、偏向锁、轻量级锁和重量级锁。

    锁升级

    随着锁的竞争,锁可以从偏向锁升级到轻量级锁,再升级到重量级锁(但是锁的升级是单向的,也就是说只能从低到高升级,不会出现锁的降级)。

    “轻量级锁”是相对于使用操作系统互斥量来实现的传统锁而言的。但是,首先需要强调一点的是,轻量级锁并不是用来代替重量级锁的,它的本意是在没有多线程竞争的前提下,减少传统的重量级锁使用产生的性能消耗。在解释轻量级锁的执行过程之前,先明白一点,轻量级锁所适应的场景是线程交替执行同步块的情况,如果存在同一时间访问同一锁的情况,就会导致轻量级锁膨胀为重量级锁。

  14. 偏向锁

    Hotspot 的作者经过以往的研究发现:大多数情况下锁不仅不存在多线程竞争,而且总是由一线程多次获得。**偏向锁的目的是在某个线程获得锁之后,消除这个线程锁重入(CAS)的开销,看起来让这个线程得到了偏护。**引入偏向锁是为了在无多线程竞争的情况下尽量减少不必要的轻量级锁执行路径,因为轻量级锁的获取及释放依赖多次 CAS 原子指令,而偏向锁只需要在置换 ThreadID 的时候依赖一次 CAS 原子指令(由于一旦出现多线程竞争的情况就必须撤销偏向锁,所以偏向锁的撤销操作的性能损耗必须小于节省下来的 CAS 原子指令的性能消耗)。上面说过,轻量级锁为了在线程交替执行同步块时提高性能,而偏向锁则是在只有一个线程执行同步块时进一步提高性能。

  15. 分段锁

    分段锁并非是一种实际的锁,而是一种思想。ConcurrentHashMap 是学习分段锁的最好实践

  16. 锁优化

    • 减少锁持有时间

      只用在有线程安全要求的程序上加锁

    • 减小锁粒度

      将大对象(这个对象可能会被很多线程访问),拆成小对象,大大增加并行度,降低锁竞争。降低了锁竞争,偏向锁,轻量级锁成功率才会提高。最经典的较小锁粒度的案例就是 ConcurrentHashMap。

    • 锁分离

      最常见的锁分离就是读写锁 ReadWriteLock,根据功能进行分离程读锁和写锁。这样读读不互斥,读写互斥,写写互斥,即保证了线程安全,又提高了性能。读写分离思想可以延伸,只要操作互不影响,锁就可以分离。比如 LinkedBlockingQueue 从头部取出,从尾部放数据。

    • 锁粗化

      通常情况下,为了保证多线程间的有效并发,会要求每个线程持有锁的时间尽量短,即在使用完公共资源后,应该立即释放锁。但是,凡是有一个度,如果对同一个锁不停的进行请求、同步和释放,其本身也会消耗系统宝贵的字眼,反而不利于性能的优化。

    • 锁消除

      锁消除是在编译器级别的事情。在即使编译时,如果发现不可能被共享的对象,则可以消除这些对象的锁操作,多数是因为程序员编码不规范引起。

  • Java

    Java 是一种可以撰写跨平台应用软件的面向对象的程序设计语言,是由 Sun Microsystems 公司于 1995 年 5 月推出的。Java 技术具有卓越的通用性、高效性、平台移植性和安全性。

    3200 引用 • 8216 回帖 • 1 关注
  • 12 引用 • 8 回帖

相关帖子

回帖

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...
AutisticV5
简单很快乐,快乐很简单。 佛山

推荐标签 标签

  • Jenkins

    Jenkins 是一套开源的持续集成工具。它提供了非常丰富的插件,让构建、部署、自动化集成项目变得简单易用。

    54 引用 • 37 回帖 • 1 关注
  • Access
    1 引用 • 3 回帖 • 2 关注
  • 锤子科技

    锤子科技(Smartisan)成立于 2012 年 5 月,是一家制造移动互联网终端设备的公司,公司的使命是用完美主义的工匠精神,打造用户体验一流的数码消费类产品(智能手机为主),改善人们的生活质量。

    4 引用 • 31 回帖 • 3 关注
  • 微服务

    微服务架构是一种架构模式,它提倡将单一应用划分成一组小的服务。服务之间互相协调,互相配合,为用户提供最终价值。每个服务运行在独立的进程中。服务于服务之间才用轻量级的通信机制互相沟通。每个服务都围绕着具体业务构建,能够被独立的部署。

    96 引用 • 155 回帖 • 4 关注
  • Dubbo

    Dubbo 是一个分布式服务框架,致力于提供高性能和透明化的 RPC 远程服务调用方案,是 [阿里巴巴] SOA 服务化治理方案的核心框架,每天为 2,000+ 个服务提供 3,000,000,000+ 次访问量支持,并被广泛应用于阿里巴巴集团的各成员站点。

    60 引用 • 82 回帖 • 614 关注
  • 996
    13 引用 • 200 回帖 • 6 关注
  • TextBundle

    TextBundle 文件格式旨在应用程序之间交换 Markdown 或 Fountain 之类的纯文本文件时,提供更无缝的用户体验。

    1 引用 • 2 回帖 • 81 关注
  • 阿里巴巴

    阿里巴巴网络技术有限公司(简称:阿里巴巴集团)是以曾担任英语教师的马云为首的 18 人,于 1999 年在中国杭州创立,他们相信互联网能够创造公平的竞争环境,让小企业通过创新与科技扩展业务,并在参与国内或全球市场竞争时处于更有利的位置。

    43 引用 • 221 回帖 • 62 关注
  • V2Ray
    1 引用 • 15 回帖 • 1 关注
  • Mobi.css

    Mobi.css is a lightweight, flexible CSS framework that focus on mobile.

    1 引用 • 6 回帖 • 757 关注
  • JetBrains

    JetBrains 是一家捷克的软件开发公司,该公司位于捷克的布拉格,并在俄国的圣彼得堡及美国麻州波士顿都设有办公室,该公司最为人所熟知的产品是 Java 编程语言开发撰写时所用的集成开发环境:IntelliJ IDEA

    18 引用 • 54 回帖 • 1 关注
  • CSS

    CSS(Cascading Style Sheet)“层叠样式表”是用于控制网页样式并允许将样式信息与网页内容分离的一种标记性语言。

    199 引用 • 542 回帖
  • Bootstrap

    Bootstrap 是 Twitter 推出的一个用于前端开发的开源工具包。它由 Twitter 的设计师 Mark Otto 和 Jacob Thornton 合作开发,是一个 CSS / HTML 框架。

    18 引用 • 33 回帖 • 647 关注
  • Vue.js

    Vue.js(读音 /vju ː/,类似于 view)是一个构建数据驱动的 Web 界面库。Vue.js 的目标是通过尽可能简单的 API 实现响应的数据绑定和组合的视图组件。

    268 引用 • 666 回帖
  • Electron

    Electron 基于 Chromium 和 Node.js,让你可以使用 HTML、CSS 和 JavaScript 构建应用。它是一个由 GitHub 及众多贡献者组成的活跃社区共同维护的开源项目,兼容 Mac、Windows 和 Linux,它构建的应用可在这三个操作系统上面运行。

    15 引用 • 136 回帖 • 5 关注
  • DevOps

    DevOps(Development 和 Operations 的组合词)是一组过程、方法与系统的统称,用于促进开发(应用程序/软件工程)、技术运营和质量保障(QA)部门之间的沟通、协作与整合。

    58 引用 • 25 回帖 • 2 关注
  • Webswing

    Webswing 是一个能将任何 Swing 应用通过纯 HTML5 运行在浏览器中的 Web 服务器,详细介绍请看 将 Java Swing 应用变成 Web 应用

    1 引用 • 15 回帖 • 641 关注
  • 创造

    你创造的作品可能会帮助到很多人,如果是开源项目的话就更赞了!

    184 引用 • 1018 回帖
  • webpack

    webpack 是一个用于前端开发的模块加载器和打包工具,它能把各种资源,例如 JS、CSS(less/sass)、图片等都作为模块来使用和处理。

    42 引用 • 130 回帖 • 249 关注
  • 星云链

    星云链是一个开源公链,业内简单的将其称为区块链上的谷歌。其实它不仅仅是区块链搜索引擎,一个公链的所有功能,它基本都有,比如你可以用它来开发部署你的去中心化的 APP,你可以在上面编写智能合约,发送交易等等。3 分钟快速接入星云链 (NAS) 测试网

    3 引用 • 16 回帖
  • wolai

    我来 wolai:不仅仅是未来的云端笔记!

    2 引用 • 14 回帖 • 3 关注
  • BND

    BND(Baidu Netdisk Downloader)是一款图形界面的百度网盘不限速下载器,支持 Windows、Linux 和 Mac,详细介绍请看这里

    107 引用 • 1281 回帖 • 32 关注
  • Android

    Android 是一种以 Linux 为基础的开放源码操作系统,主要使用于便携设备。2005 年由 Google 收购注资,并拉拢多家制造商组成开放手机联盟开发改良,逐渐扩展到到平板电脑及其他领域上。

    336 引用 • 324 回帖
  • HTML

    HTML5 是 HTML 下一个的主要修订版本,现在仍处于发展阶段。广义论及 HTML5 时,实际指的是包括 HTML、CSS 和 JavaScript 在内的一套技术组合。

    108 引用 • 295 回帖
  • 开源

    Open Source, Open Mind, Open Sight, Open Future!

    412 引用 • 3588 回帖 • 1 关注
  • CodeMirror
    2 引用 • 17 回帖 • 162 关注
  • CloudFoundry

    Cloud Foundry 是 VMware 推出的业界第一个开源 PaaS 云平台,它支持多种框架、语言、运行时环境、云平台及应用服务,使开发人员能够在几秒钟内进行应用程序的部署和扩展,无需担心任何基础架构的问题。

    5 引用 • 18 回帖 • 181 关注