`
whitesock
  • 浏览: 483689 次
  • 性别: Icon_minigender_1
  • 来自: 大连
社区版块
存档分类
最新评论

Inside AbstractQueuedSynchronizer (1)

阅读更多

Inside AbstractQueuedSynchronizer (1)

Inside AbstractQueuedSynchronizer (2)

Inside AbstractQueuedSynchronizer (3)

Inside AbstractQueuedSynchronizer (4)

 

1 Overview

    如果查看ReentrantLock,CountDownLatch,Semaphore,FutureTask,ThreadPoolExecutor的源码,都会发现有个名叫Sync的静态内部类,继承自AbstractQueuedSynchronizer。实际上AbstractQueuedSynchronizer是java.util.concurrent的核心组件之一,它为并发包中的其他synchronizers提供了一组公共的基础设施。

 

2 LockSupport
    在介绍AbstractQueuedSynchronizer之前,首先要介绍一下java.util.concurrent.locks.LockSupport。在LockSupport出现之前,如果要block/unblock某个Thread,除了使用Java语言内置的monitor机制之外,只能通过Thread.suspend()和Thread.resume()。然而Thread.suspend()和Thread.resume()基本上不可用,除了可能导致死锁之外,它们还存在一个无法解决的竞争条件:如果在调用Thread.suspend()之前调用了Thread.resume(),那么该Thread.resume()调用没有任何效果。LockSupport最主要的作用,便是通过一个许可(permit)状态,解决了这个问题。

 

      那么LockSupport和Java语言内置的monitor机制有什么区别呢?它们的语义是不同的。LockSupport是针对特定Thread来进行block/unblock操作的;wait()/notify()/notifyAll()是用来操作特定对象的等待集合的。为了防止知识生锈,在这里简单介绍一下Java语言内置的monitor机制(详见:http://whitesock.iteye.com/blog/162344 )。正如每个Object都有一个锁, 每个Object也有一个等待集合(wait set),它有wait、notify、notifyAll和Thread.interrupt方法来操作。同时拥有锁和等待集合的实体,通常被成为监视器(monitor)。每个Object的等待集合是由JVM维护的。等待集合一直存放着那些因为调用对象的wait方法而被阻塞的线程。由于等待集合和锁之间的交互机制,只有获得目标对象的同步锁时,才可以调用它的wait、notify和notifyAll方法。这种要求通常无法靠编译来检查,如果条件不能满足,那么在运行的时候调用以上方法就会导致其抛出IllegalMonitorStateException。

 

    wait() 方法被调用后,会执行如下操作:

  • 如果当前线程已经被中断,那么该方法立刻退出,然后抛出一个InterruptedException异常。否则线程会被阻塞。
  • JVM把该线程放入目标对象内部且无法访问的等待集合中。
  • 目标对象的同步锁被释放,但是这个线程锁拥有的其他锁依然会被这个线程保留着。当线程重新恢复质执行时,它会重新获得目标对象的同步锁。

    notify()方法被调用后,会执行如下操作:

  • 如果存在的话,JVM会从目标对象内部的等待集合中任意移除一个线程T。如果等待集合中的线程数大于1,那么哪个线程被选中完全是随机的。
  • T必须重新获得目标对象的同步锁,这必然导致它将会被阻塞到调用Thead.notify()的线程释放该同步锁。如果其他线程在T获得此锁之前就获得它,那么T就要一直被阻塞下去。
  • T从执行wait()的那点恢复执行。

    notifyAll()方法被调用后的操作和notify()类似,不同的只是等待集合中所有的线程(同时)都要执行那些操作。然而等待集合中的线程必须要在竞争到目标对象的同步锁之后,才能继续执行。

 

    LockSupport类中比较重要的方法有如下几个:

public static void park() {
    unsafe.park(false, 0L);
}

public static void park(Object blocker) {
    Thread t = Thread.currentThread();
    setBlocker(t, blocker);
    unsafe.park(false, 0L);
    setBlocker(t, null);
}

public static void unpark(Thread thread) {
    if (thread != null)
        unsafe.unpark(thread);
}

    其中park()和park(Object blocker)方法用于block当前线程,unpark(Thread thread)方法用于unblock制定的线程。 跟Thread.suspend()和Thread.resume()不同的是,LockSupport通过许可(permit)机制保证:如果当前线程拥有许可,那么park系列方法会消费掉该许可,并且立即返回(不会被阻塞)。也就是说如下代码在执行的时候,不会被阻塞:

LockSupport.unpark(Thread.currentThread());
LockSupport.park();

    需要注意的是:许可不会被累计。也就是说在park调用之前的多次unpark调用,只会unblock一次park调用。即以下代码会被阻塞:

LockSupport.unpark(Thread.currentThread());
LockSupport.unpark(Thread.currentThread());
LockSupport.park();
LockSupport.park();

    关于park()和park(Object blocker)的区别,Object blocker参数的作用在于允许记录当前线程被阻塞的原因,以便监控分析工具进行分析。官方的文档中也更建议使用park(Object blocker)。此外,跟Object.wait()方法一样,park系列方法也会因为伪唤醒的原因返回。

9
0
分享到:
评论
1 楼 xiaoZ5919 2012-05-15  
好文  学习了!

相关推荐

    CLRInsideOut.zip

    1. 确保正确配置C/C++头文件,因为工具依赖这些文件来生成C#结构体。 2. 在调用P/Invoke之前,必须理解非托管代码的API接口,包括参数类型、返回值和错误处理机制。 3. 考虑到.NET和C/C++之间的类型系统差异,如指针...

    ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.006

    Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...

    ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.004

    Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...

    ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.002

    Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...

    ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.003

    Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...

    inside.the.c++.object.model.pdf_inside_C++_

    1. **C++内存管理**:C++中的内存分为栈内存和堆内存。栈内存用于存储局部变量,其生命周期与作用域紧密相关;而堆内存则用于动态分配,需要程序员手动管理。书中详细讲解了内存分配和释放的机制,以及如何避免内存...

    ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001

    Allegro自带的ODB++inside工具下载,DBinside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_Inside_...

    CLRInsideOut2008_01

    1. **DllImport Attribute**:这是用来标识一个方法为外部导入的方法,需要提供DLL的名称。 2. **Calling Convention**:如stdcall、cdecl等,决定参数如何被压入堆栈和谁负责清理堆栈。 3. **Marshaling**:处理...

    Microsoft Excel 2010 Inside Out 无水印原版pdf

    Microsoft Excel 2010 Inside Out 英文无水印原版pdf pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 查看此书详细...

    ODB++_Inside及说明.rar

    1. **高效的数据导入和导出**:ODB++允许快速准确地导入和导出设计数据,减少了设计与制造之间的转换时间。 2. **完整的制造信息**:ODB++包含所有必要的制造细节,如丝印、焊盘、孔径、层堆栈等,确保了制造过程的...

    Inside游戏效果文档

    文档标题为《Inside游戏效果文档》,描述了PlayDead公司在制作游戏《Inside》时所采用的渲染技术。文档内容涉及了游戏中的雾效、HDR泛光(bloom)以及其他与光照和渲染相关的高级技术。这些技术对于创造游戏的独特...

    Inside SQLite(SQLite技术内幕) 原版+个人翻译版

    《Inside SQLite》这本书深入探讨了其内部工作原理和技术细节。 首先,我们来看看“深入sqlite.docx”。这可能是作者个人对SQLite的深入理解和研究,可能包含了SQLite的架构解析、存储机制、查询优化、事务处理、...

    Inside_NAND_Flash_Memories.pdf

    《Inside NAND Flash Memories》这本书由Rino Micheloni、Luca Crippa和Alessia Marelli共同编写,并由Springer出版社出版。本书详细介绍了NAND闪存的工作原理和技术细节,对于理解NAND闪存在现代数字系统中的作用...

    inside-ole英文版

    inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!...

    ODB_Inside_Cadence_Allegro1-2.zip

    Cadence Allegro 11 – 17.x版的免费ODB ++输出 ...文件包括:ODB_Inside_Cadence_Allegro1-2.zip ODB_Inside_Cadence_Allegro3-4.zip ODB_Inside_Cadence_Allegro5.zip ODB_Inside_Cadence_Allegro6.zip

    ODB++_Inside_Cadence_Allegro_Windows64.zip

    1. 完整性:包含设计的所有几何、网络和层信息,确保在不同工具间传递时无信息丢失。 2. 效率:减少了手动数据转换的时间和错误。 3. 可扩展性:支持元器件属性、注释等附加信息,方便后期处理。 4. 互操作性:被多...

    MicrosoftExcel2013InsideOut.pdf 英文原版

    Microsoft Excel 2013 Inside Out

    ODB++_Inside_Cadence_Allegro_114_Windows_64_SA_Setup.7z

    ODB++ Inside Cadence Allegro 11.4 Windows 64 SA Setup是一个专门针对Cadence Allegro设计平台的官方插件,主要用于支持ODB++数据格式的输入和输出。ODB++是一种广泛使用的电子设计自动化(EDA)数据交换标准,它...

    I-BUS Inside Inside the BMW Cars entertainement Serial Bu

    1. I-BUS Inside 标题“Inside the BMW Cars entertainement Serial Bu”可能是指I-BUS系统的内部结构和工作原理。I-BUS(Inter Equipment Bus)是一种用于汽车内部通信的总线系统,用于连接汽车内的多个电子控制...

    Inside JVM

    Inside JVM

Global site tag (gtag.js) - Google Analytics