从 EventBus 看透 synchronized

参看

深化分析Synchronized原理

synchronized 结束原理

深化分析Synchronized原理

深化浅出synchronized要害字

最近又看了一遍 EventBus 的源码，感叹优异的库每次学习都能取得更多的知jvm是什么意思识。

先贴一段线程同步代码：

public class Handler字节码文件是与渠道无关的什么文件Poster extends Handler implements Poster {
private final PendingPostQueue queue;
private final int maxMillisInsideHandleMessage;
prijvm功用调优vate final EventBus eventBus;
private boolean handlerActive;
protected Handler线程池原理Poster(EventBus eventBus, Looper looper, i操作体系当时的装备不能工作此应用程序nt maxM变量名illisInsideHandleMessage) {
super(loope线程同步r);
this.eventBus = eventBus;
this.maxMillisInsideHandleMessage = maxMillisInsideHandleMessage;
qu变量值eue = new PendingPostQueue();
}
public v线程和进程的差异是什么oid enqueue(Subscription subscription, Ob字节码文件是与渠道无关的什么文件ject event) {
PendingPost pendingPost = PendingPost.obtainPe字节码文件是与渠道无关的什么文件ndi操作体系的基本特征ngPost(subscription, eve字节码是什么意思nt);
//①
synchronizejvm是什么d (this变量与函数教案) {
queue字节码文件.enqueue(pendingPo线程撕裂者st);
if (!handlerActive) {
handlerActive = true;
if (!jvm优化sendMessage(obtainMessage())) {
throw new EventBjvm调优usExce线程池面试题ption("Co操作体系是计算机体系中的uld not send handler message");
}
}
}
}
@Over字节码目标ride
public void handleMessage(Message msg) {
boolean resche字节码是什么duled = false;
try {
long started = SystemClock.uptimeMillis();
while (true) {
Pen操作体系是一种什么软件dingPost pendingPost = queue.poll();
ijvm废物收回机制f (pe线程和进程的差异是什么ndingPost == null) {
//②
synchronized (this) {
// Check again, this time in synchronized
pendinjvm参数gPost = queue.poll();
if (pendingPost == null) {
handlerActiv线程安全e = false字节码;
return;
}
}
}
even操作体系的五大功用tBus.invokeSubscriber(pendingPost);
long timeInMethod = SystemClock.uptimeMillis() - started;
if (timeInMethod >= maxMillisInsideHandleMessage) {
if (!sendMessage(obtainMessage())) {
throw new EventBusException("Could not send handler message");
}
rescheduled = true;
return;
}
}
} finally {
han字节码和机器码的差异dlerActive = reschedul字节码文件是与渠道无关的什么文件ed;
}
}
}

看过 EventBus 源码的同学都清楚 HandlerPost线程撕裂者er 用于向主线线程同步程发送音讯，在 handleMessage() 中做音讯线程池面试题处理。能够看到在 ①② 两处各有一个 synchron字节码文件的扩展名是什么ized 用于确保数据线程安全。到这儿能够考虑一个问题字节码文件的扩展名是什么，假定拿掉 ② 处的 synchronize操作体系是什么的接口d 有没有问题，它是不是剩余的？

① 处的要害字确保了数据入栈的操作的安全性。并且咱们已知的是这儿的 handlerMessjvm是什么age() 办法一定是在主线程中调用的，也就是出栈操作只涉字节码是虚拟机的机器码及到一个字节码文件能够直接在操作体系上工作线程，直接确保了数据出栈的安全性。这样来看的话 ② 处的要害字就好像是剩余的了。

假定你真的这么觉得话那就掉进骗局里了，问题在于调用的时机，假定 handlerMessage 办法中第一次判空回来 true 而 ② 处没有 synchroni线程池zed 的话这时假定刚好另一个线程调用了 enqueue() 办法就能够入栈新jvm是什么意思的音讯操作体系，效果就是新入栈的音讯得不到及时实施。所以 ② 处 synchronized 要害字不只不剩余仍是必要的。

看到这儿假定你对 synchroniz字节码文件能够直接在操作体系上工作ed 的用法和原理还有疑问的话，那就跟我一起深化学习吧。

以下内容线程是对 深化线程的几种状况分析Synchronized原理、synchronized 结束原理两篇文章的摘抄和调整。

synchronized 运用

Synchronized 是 Java 中处理并发问题的一种最常用的办法，也是最简略的一种办法。Synchronized 的效果首要有三个：操作体系是什么的接口

• 原子性：确保线程互斥的拜访同步代码；
• 可见性：确保同享变量的批改能够及时可见，其实是经过 Java 内存模型中的 对一个变量unlock操作之前，有必要要同步到主内存中；假定对一个变量进行lock操作，则将会清空作业内存中此变量的值，在实施引擎运用此变量前，需求从头从主内存中load操作或assign操作初始化变量值 来确保的；
• 有序性：有用处理重排序问题，即 一个unlock操作先行产生(h操作体系期末考试试题及答案appe操作体系是什么的接口n-before)于后面对同一个锁的lock操作。

synchronize操作体系是一种什么软件d 有三种用法：

修饰实例办法：

public synchronized void method1()字节码文件的扩展名是什么 {
System.out.println("method 1");
}

修饰静态办法：

pubjvm参数lic static synchronized v字节码文件是与渠道无关的二进制码oid m操作体系当时的装备不能工作此应用程序etho字节码文件是与渠道无关的什么文件d2() {
System.out.println("method 2");
}

修饰代码块：

public static void method3() {
synchrjvm废物收回机制onized (thisjvm内存模型) {
System.out.println("method 3");
}
}

三种用法的差异除了效果规划外最大的差异在于效果政策的不同：

• 修饰实例办法：当时拜访此办法的实例政策；
• 修饰静态办法：当时类的 class 政策，因而静态办法锁也适当于该类的一个大局锁；
• 润变量与函数教案饰代码块：() 中传入的政策。

sync线程的几种状况hronized 完变量与函数教案毕原理

当一个线程拜访 synchronized操作体系的基本特征 同步代码块时，首先是需求得到锁才调实施同步代码，当退出或者抛出失常时有必要要开释锁，那么它是怎样来结束这个机制的呢？咱们先看一段简略的代码：

package com.paddx.test.concurrent;
publicjvm调优 class SynchronizedDemo {
public void method() {
synchronized (this) {
System.out.println("Method 1 start");
}
}
}

查看反编译后效果：

增加 synchronized 要害字后，比一般办法多了两个指令：

• monitorenter：线程实施 monJVMitorenter 指令时查验获取 monitor 的所有权，当 monitor 被占用时政策就字节码目标会处于承认状况。

1. 假定 monitor 的进入数为0，则该线程进入 monitor，然后jvm内存模型将进入数设置为1，该操作体系的基本特征线程即为 monitor 的所有者；
2. 假定线程现已占有该 monitor，只是从头进入，则进入 monitor 的进入数加1；
3. 假定其他线程现已占用了 monitor，则该线程进入字节码文件是与渠道无关的二进制码堵塞状况，直到 monitor 的进入数为0，再从头查验获取 monitor 的所有权；

• monitorexit：实线程和进程的差异是什么行 monitorexitjvm内存结构 指令的有必要是 monitor变量类型有哪些 的所有者。指令实施时，monitor的进入数减1，假定减1后进入数为0，那线程退出 monitor，不再是这个monitor 的所有者。其他被这个 mon线程是什么意思itor 堵塞的线程能够查验去获取这个 monitor 的所有权。

能够看到编译效果中 monitorexit 指变量的界说令呈现了两次变量与函数，第一次是程序正常退出实施，然后直接实施 return 指令，第线程池2次是程序失常退出实操作体系有哪些行，这样就确保了锁一定jvm是什么意思会开释。

子类同步办法调用了父类同步办法，如没有可重入的特性，操作体系则会产生死锁；

在看下同步办法：

package com.paddx.test.concurrent;
public class Synch变量与函数ronizedMethod {
public sync字节码和机器码的差异hronized void method() {
System.out.println("Hello World!");jvm是什么意思
}
}

查看反编译后效果：

从编译的作操作体系是一种什么软件用来看，办法的同步并没有经过指令 monitorenter 和 monitorexit 来结束（理论上其实也能够经过这两条指令来结束），不过相关于一般办法，其常量池中多了 ACC_SYNCHRONIZED 标明符。JVM就是根据该标明符来结束字节码是什么办法的同步的：

当办法调用时，调用指令将会查看办法的 ACC_SYNCHRONIZED 拜访标志是否被设置，假定设置了，实施线程将先获取 monitor，获取成功之后字节码是什么才调实施办法体，办法实施完后再开释monitor。在办法实施期间，其他任何线程都字节码和机器码的差异无法再取得同一个 monitor 政策。

两种同步办法本质上没有差异，只是办法的同步是一种隐式的办法线程安全来结束，无需经过字节码来结束。

经过对反编译代码的解读咱们知道 synchronized 的结束原理是经过 monitor 的方jvm调优针来结束，其实 wait/notify 等方字节码是什么意思法也依赖于 monitor 政策，这就是为什么只需在同步的块或者办法中才调调用 w字节码是什么ait/notify 等办法，不然会抛出失常的原因。

Monitor

那咱们屡次说到变量名的 monitor 是什么呢？monitor 被翻译做管程或监督器。它是 synchronized 结束线程同步的基础。monitor 有两个效果：

• 互斥：即同一时刻只允许一个线程拜访同享资源；
• 同步：即线程之间怎样通讯、协作。

在 Java 虚拟机（HotSpot）中，Monitor字节码和机器码的差异 是由 ObjectM线程同步onitor 结束的，其首要数据结构如下（坐落 HotSpot 虚拟机源码 ObjectMonitor.hpp 文件，C++ 结束的）：

ObjectMonitor() {
_header       = NULL;
_counjvm是什么意思t        = 0; // 记载个数
_waiters      = 0,线程和进程的差异是什么
_recursions   = 0;
_object       = NULL;变量的界说
_owner        = NULL;
_WaitSet      = NULL; /操作体系是一种/ 处于wait状况的线程，会被加入到_WaitSet
_WaitSetLock  = 0 ;
_Responsible  = NULL ;
_succ变量与函数         = NULL ;
_cxq          = NULL ;
Free操作体系的基本特征Next      = NULL ;
_EntryLis字节码文件是与渠道无关的什么文件t    = NULL ; // 处于等候锁block状况的线程，会被加入到该列表
_SpinFreq     = 0 ;
_SpinC线程撕裂者lock    = 0 ;
OwnerI线程是什么意思sThread = 0 ;
}

Objvm是什么jectMonitor 中有两个行列，_WaitSet 和变量名 _EntryList，用jvm功用调优来保存线程是什么意思 ObjectWaiter 政策列表（每个等候锁的线程都会被封装成 ObjectWaiter 政策）字节码， _owner指向持有 ObjectMonitor 政策的线程，当多个线程一JVM起拜访一段同步代变量名码时：

1. 首先会进入 _EntryList 集结，当线程获取到政策的 monitor 后，进入 _Owner 区域并把 monitor 中的 owner 变量设置为当时线程，一起 monitor 中的计数器 count 加1；
2. 若线程调用 wait() 办法，将开释当时持有的 mon线程的几种状况itor，jvm功用调优owner 变量康复为null，count 自减1，一起该线程进入 _WaitSet 集结中等候被唤醒；
3. 若当时线程实施结束，也将开释 monitor（锁）并复位 count线程撕裂者 的值，以便其他线程进入获取 monitor(锁)；

如上图所示，一个线程经过1变量之间的关系号门进入Ent操作体系期末考试试题及答案ry Set(进口区)，假定在进口区没有线程等候，那么这个线程就会获取监督器成为监督器的Owner，然后jvm废物收回机制实施监督区域的代码。假定在进口区中有其它线程在等候，那么新来的线程也会和这操作体系些线程一起等操作体系的主要功用是候。线程在持有监督器的进程中，有两个挑选，一个是正常实施监督器区域的代码，开释监督器，经过字节码5号门退出监督器；还有或许等候某个条件的呈现，所以它会经过3号门到Wait Set（等候区）歇息，直到相应的jvm废物收回机制条件满意后再经过4号门进入从头获jvm优化取监变量值督器再实施。
注意：
当一个线程开释监督器时，在进口区和等候区的等候线程都会去竞赛监督器，假定进口区的线程赢了，会从2号门进入；假定等候区的线程赢了会从字节码4号门进入。只需通变量过3号门才调进入等候区，在等候区中的线程只需通字节码文件的扩展名是什么过4号门才调退出等候区，也就是说一个线程只需在持有监督器时才调实施wait操作，处于等候操作体系是计算机体系中的的线程只需再次取得监督器才调退出等候状况线程的几种状况。

咱们知道 synchronized 依赖于 monitor 结束，而 monitor 其实是依赖于 JVM 的 Mutex Lock 来结束的，可是JVM运用 Mutex Lock 被堵塞的线程会被挂起、等候从头调度并从用户态切换到内核态，对功用有较大影响。并且 HotSpot 的作者发现 大多数锁只会由同一线程并发央求，基于此在 JDK 6 中对锁进行了重要改进，优化了其功用引入了倾向锁、轻量级锁、适应性自旋等完操作体系期末考试试题及答案毕。

所以现在锁首要存在四种情字节码是虚拟机的机器码况：无锁状况、倾向锁状况、轻量级锁状况、分量级操作体系的主要功用是锁状况。锁能够从倾向锁晋级到轻量级锁，再晋级的变量与函数分量级锁。但线程池是锁的晋级是单向的，也就是说只能从低操作体系的主要功用是到高晋级，不会呈现锁的降级。其实 monitor 机制只是锁晋级到分量锁后的作业机制。那锁是怎样晋级的呢？倾向锁和轻量级锁是怎样结束的呢？咱们接着看。

在 JDK 1.6 中默许是开启倾向锁和轻量级锁的，能够经过-XX:-UseBiasedLocking来禁用倾向锁。

Java 政策头

之前咱们介绍过，当线程进入 synchronized 同步代码块时会去获取 monitor 锁，获取成功就能够实施此同步代码块。那是怎样获取 monitor 的呢？其实每一个 Java 政策都默许带着 monitor 政策，线程获取 m操作体系的主要功用是onitor 锁其实就是获取政策内部的 monitor。

在线程安全 JVM 中，政策在内存中的布局分为三块区域，如下图：

• 实例数据：寄存类的特色数据信息，包括父类的特色信息；
• 对齐填充：因为虚拟机要求 政策开始地址有线程池面试题必要是8字节的整数倍。填充数据不是有必要存在的，只是是为了字字节码是虚拟机的机器码节对齐；
• 政策头：Java政策头一般占有2个机器码线程池（在32位虚拟机中，1个机器码等于4字节，也就是线程的几种状况32bit，在64位虚拟机中，1个机器码是8个字节，也就是64bit），可是 假定政策是数组类型，则需求3个机器码，因为JVM虚拟机能够经过Java方操作体系期末考试试题及答案针的元数据信息承认Java政策的巨细，可是无法从数组的元数据来供认数组的巨细，所以用一块来记载数组长度。

Hotspot 虚拟机的政策头首要包括两部分数据：

• Mark Wo操作体系当时的装备不能工作此应用程序rd：存储政策自身的工作时数据，它是结束轻量级锁和倾向锁的要害；
• Klass Pointer：类变量类型有哪些型指针，指向它的类元数据的指针，虚拟机经过这个指针来jvm调优承认这个政策是哪个类的实例；
• Array Length：数组长度。非有必要，假定数据政策是数组用来保存数组长度。

64 位虚拟机 Mark Word 是 64 bit，在不同状况下其存储数据结构如下：

政策头的终究两位存储了变量值锁的标志位，01是初始状况，未加锁，其政策头里存储的是政策自身的字节码文件的扩展名是什么哈希码，跟着锁等级的不同，政策头里会存储不同的内容。倾向锁存储的是当时占线程的几种状况用此政策的线程ID；而轻量级则存储指向线程栈中锁记载的指针。从这儿咱们能够看到，“锁”这个东西，或许是个锁记操作体系是一种什么软件载+政策头里的引用指针（判别线程是否具有锁时将线程的锁记载地址和政策头里的指针地址比较)，也或许是政策头里的线程ID（判别线程是否具有锁时将线程的ID和政策头里存储的线程ID比较）。

下面来看 synchronized 锁状况字节码是虚拟机的机器码晋级流程：

倾向锁

流程

当线程拜访同步块并获取锁时处理流程如下：

1. 查看 Mark Word 的 线程id。
2. 假操作体系是一种设为空则设置 CAS 替换其操作体系的五大功用时 线程id。假定替换成功则获操作体系是什么的接口取锁成线程是什么意思功，假JVM设失利则吊销倾向锁。
3. 假定不为空则查看 线程id 为是否为本线程。假定是则获取锁成功，假定失利则吊销倾JVM向锁。

持有倾向锁的线程往后每次进入字节码和机器码的差异这个锁相关的同步块时，只变量的界说需比对一下 Mark Word 的 线程i操作体系d 是否为本线程，假定是则操作体系当时的装备不能工作此应用程序获取锁成功。

假定产生线程竞赛发字节码文件是与渠道无关的什么文件生 2、3 步失利的状况则需求吊销倾向锁。

倾向锁的吊销

1. 倾向锁的吊销动作有必要等候大局安全点
2. 暂停具有倾向锁的线程，判别锁政策是否处于被承认状况
3. 吊销倾向锁康复到无锁（标志位为 01）或轻量级锁（标志位为 00）的状况

优缺陷

利益：

• 只需一个线程实施同步块时进一步前进功用，适用于一个线程重复取得同一锁的状况。倾向锁能够前进带有同步但无竞赛的程序功用。

缺陷：

• 假定存在竞赛会带来额外操作体系有哪些的锁吊销操作。

轻量级锁

加锁

多个线程竞赛倾向锁导致倾向锁晋级为轻量级锁

1. JVM 在当时线程的栈帧中创建 Lock Reocrd，并jvm是什么意思将政策头中的 Mark Word 复制到 Lock Reocrd 中。（Displaced Mark Word）
2. 线程查验运用 CAS操作体系的基本特征 将政策头中的 Mark Word变量是什么意思 替换为指向 Lock Reocrd 的指针。假定成功则取得锁，假定失利则先查看政策的 Mark Word 是否指向当时线程的栈帧假定是则说明现已获取锁，不然说明其它线程竞赛锁则胀大为分量级锁。

解锁

1. 运用 CAS 操作将 Mark Wor字节码文件能够直接在操作体系上工作d 恢复
2. 假定第 1 步实施变量泵成功则开释结束字节码
3. 假定第 1 步实施失利则胀大为分量变量名的命名规矩级锁。

优缺陷

利益

• 其功用提升的根据是关于绝变量类型有哪些大部分的锁在整个生命周期内都是不会存在竞赛。在多线程替换实施同步块的状况下，能够防止分量级锁引起的功用消jvm优化耗。

缺陷

• 在有多线程竞赛的状况下轻量级锁增加操作体系当时的装备不能工作此应用程序了额外开支。线程池的七个参数

自旋锁

自旋是一种获取锁的机制并不是一个锁状况。在胀大为分量级锁的进程中或重入时会屡次查验自旋获取锁以防止线程唤醒的开支，可是它会占用 CPU 的时刻因而假定同步代码块实施时刻很短自旋等候的效果就很好操作体系的主要功用是，反之则糟蹋了 CPU 资源。默许状况下自旋次数是 10 次用户能够运用参数 -XX变量名 : PreBlo字节码ckSpin 来更改。那么怎样优化来防止此状况产生呢？咱们来看适应性自旋。

适应性自旋锁

JDK 6 引入了自适应自旋锁，意味着自旋的次数不在固定，而是由前一次在同一个锁上的自旋时刻及锁的具有者的状况来抉择。变量值假定关于某个锁很少自旋成功那么往后有或许省掉掉自旋进程以防止资源糟蹋。有了自适jvm废物收回机制应自线程旋跟着程序工作和字节码是什么功用监控信息的不断完善，虚拟机对程序锁的状况猜测就会越来越准确，虛拟机就会变得越来越聪明了。

优缺陷

利益

• 竞赛的线变量名的命名规矩程不会堵塞挂起，前进了程序响应速度。防止分量级锁引起的功用耗费操作体系是计算机体系中的。

缺陷

• 假定线程一贯无法获取锁，自旋耗费 CPU 终究会胀大为分量级锁。

分量级锁

在分量级锁中没有竞赛到jvm是什么意思锁的政策会 park 被挂起，退出操作体系是计算机体系中的同步块时 unpark 唤醒后续线程。唤醒操作涉及到操作体系调度会有额外的开支。也就是上面介绍操作体系是计算机体系中的的 monitor 机制了。

清楚了 sjvm废物收回机制ynchronized 同步代码块线程池的七个参数是怎样作业的以及和政策之间的联系，再来看最开始的问题就很清楚了。在 BackgroundPoster 中运用两个 synchronized 代码块，()中传入的是 this 实例政策，也就确保了当经过同一实例政策拜访数据入队出队的安全线程撕裂者性。

多线程问题是变量类型有哪些任何操作体系中都线程池的七个参数适当凌乱的一部分，这儿只摘抄了一小部分，线程同步可是根本也能够确保咱们在日常开发中能做到心中有数了 ^_^。