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系列方法也会因为伪唤醒的原因返回。
分享到:
相关推荐
1. 确保正确配置C/C++头文件,因为工具依赖这些文件来生成C#结构体。 2. 在调用P/Invoke之前,必须理解非托管代码的API接口,包括参数类型、返回值和错误处理机制。 3. 考虑到.NET和C/C++之间的类型系统差异,如指针...
Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...
Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...
Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...
Allegro自带的ODB++inside工具下载,ODB++inside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_...
1. **C++内存管理**:C++中的内存分为栈内存和堆内存。栈内存用于存储局部变量,其生命周期与作用域紧密相关;而堆内存则用于动态分配,需要程序员手动管理。书中详细讲解了内存分配和释放的机制,以及如何避免内存...
Allegro自带的ODB++inside工具下载,DBinside插件可以将Allegro的.brd文件转化为仿真工具Hyperlynx使用的文件。共6个文件,需要分别下载。 ODB_Inside_Cadence_Allegro_111_Windows_64_SA_Setup.zip.001 ODB_Inside_...
1. **DllImport Attribute**:这是用来标识一个方法为外部导入的方法,需要提供DLL的名称。 2. **Calling Convention**:如stdcall、cdecl等,决定参数如何被压入堆栈和谁负责清理堆栈。 3. **Marshaling**:处理...
Microsoft Excel 2010 Inside Out 英文无水印原版pdf pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 查看此书详细...
1. **高效的数据导入和导出**:ODB++允许快速准确地导入和导出设计数据,减少了设计与制造之间的转换时间。 2. **完整的制造信息**:ODB++包含所有必要的制造细节,如丝印、焊盘、孔径、层堆栈等,确保了制造过程的...
文档标题为《Inside游戏效果文档》,描述了PlayDead公司在制作游戏《Inside》时所采用的渲染技术。文档内容涉及了游戏中的雾效、HDR泛光(bloom)以及其他与光照和渲染相关的高级技术。这些技术对于创造游戏的独特...
《Inside SQLite》这本书深入探讨了其内部工作原理和技术细节。 首先,我们来看看“深入sqlite.docx”。这可能是作者个人对SQLite的深入理解和研究,可能包含了SQLite的架构解析、存储机制、查询优化、事务处理、...
《Inside NAND Flash Memories》这本书由Rino Micheloni、Luca Crippa和Alessia Marelli共同编写,并由Springer出版社出版。本书详细介绍了NAND闪存的工作原理和技术细节,对于理解NAND闪存在现代数字系统中的作用...
inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!inside ole 英文版,还是英文版看着舒服!...
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
Microsoft Excel 2013 Inside Out
1. 完整性:包含设计的所有几何、网络和层信息,确保在不同工具间传递时无信息丢失。 2. 效率:减少了手动数据转换的时间和错误。 3. 可扩展性:支持元器件属性、注释等附加信息,方便后期处理。 4. 互操作性:被多...
ODB++ Inside Cadence Allegro 11.4 Windows 64 SA Setup是一个专门针对Cadence Allegro设计平台的官方插件,主要用于支持ODB++数据格式的输入和输出。ODB++是一种广泛使用的电子设计自动化(EDA)数据交换标准,它...
1. I-BUS Inside 标题“Inside the BMW Cars entertainement Serial Bu”可能是指I-BUS系统的内部结构和工作原理。I-BUS(Inter Equipment Bus)是一种用于汽车内部通信的总线系统,用于连接汽车内的多个电子控制...
Inside JVM