synchronized实现原理，2021我的Java大厂面试之旅

// 4.静态方法中的同步块 (等价于3)

public static void add(int value){

    synchronized(MyClass.class){

        count += value;

    }

}

}

### 二、Java对象模型



每一个Java类，在被JVM加载的时候，JVM会给这个类创建一个`instanceKlass`，保存在方法区，用来在JVM层表示该Java类。



使用new创建一个对象的时候，JVM会创建一个`instanceOopDesc`对象，这个对象中包含了两部分信息，对象头以及实例数据。



对象头中包括两部分：（一）Mark Word 一些运行时数据，其中就包括和多线程相关的锁的信息。



　　　　　　　　　　（二）Klass Point 元数据其实维护的是指针，指向的是对象所属的类的`instanceKlass`。



**Mark Word** 用于存储对象自身的运行时数据，如哈希码（HashCode）、GC分代年龄、锁状态标志、线程持有的锁、偏向线程 ID、偏向时间戳等等。



对象头信息是与对象自身定义的数据无关的额外存储成本，但是考虑到虚拟机的空间效率，Mark Word被设计成一个非固定的数据结构以便在极小的空间内存存储尽量多的数据，它会根据对象的状态复用自己的存储空间，也就是说，Mark Word会随着程序的运行发生变化。



对象存储结构：



![](https://img2018.cnblogs.com/blog/1190710/201810/1190710-20181031143010354-1947116581.png)



![](https://img2018.cnblogs.com/blog/1190710/201810/1190710-20181031143234206-1778584394.png)



对象的实例（instantOopDesc)保存在堆上，对象的元数据（instantKlass）保存在方法区，对象的引用保存在栈上。



### 三、Moniter



为了解决线程安全的问题，Java提供了同步机制、互斥锁机制，这个机制保证了在同一时刻只有一个线程能访问共享资源。这个机制的保障来源于监视锁Monitor。



每一个Object对象中内置了一个Monitor对象。（对象头的MarkWord中的LockWord指向monitor的起始地址）



Monitor相当于一个许可证，线程拿到许可证即可以进行操作，没有拿到则需要阻塞等待。



ObjectMonitor中有几个关键属性：



　　\_owner：指向持有ObjectMonitor对象的线程



　　\_WaitSet：存放处于wait状态的线程队列



　　\_EntryList：存放处于等待锁block状态的线程队列



　　\_recursions：锁的重入次数



　　\_count：用来记录该线程获取锁的次数



线程T等待对象锁：\_EntryList中加入T



线程T获取对象锁：\_EntryList移除T，\_owner置为T，计数器\_count+1



持有对象锁的线程调用wait()：\_owner置为T，计数器\_count+1，\_WaitSet中加入T



 ![](https://img2018.cnblogs.com/blog/1190710/201810/1190710-20181031173605089-258066196.png)



### 四、synchronized原理



利用javap工具查看生成的class文件信息来分析Synchronize的实现 



（摘自： [【死磕Java并发】—–深入分析synchronized的实现原理](https://gitee.com/vip204888/java-p7)）

public class SynchronizedTest {

public synchronized void test1(){



}



public void test2(){

    synchronized (this){



    }

}

}

 ![](https://img2018.cnblogs.com/blog/1190710/201810/1190710-20181031174636068-596515677.png)



同步代码块：monitorenter指令插入到同步代码块的开始位置，monitorexit指令插入到同步代码块的结束位置，JVM需要保证每一个monitorenter都有一个monitorexit与之相对应。任何对象都有一个monitor与之相关联，当且一个monitor被持有之后，他将处于锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor所有权，即尝试获取对象的锁；   

同步方法：synchronized方法则会被翻译成普通的方法调用和返回指令如:invokevirtual、areturn指令，在VM字节码层面并没有任何特别的指令来实现被synchronized修饰的方法，而是在Class文件的方法表中将该方法的access\_flags字段中的synchronized标志位置1，表示该方法是同步方法并使用调用该方法的对象或该方法所属的Class在JVM的内部对象表示Klass做为锁对象。



### 五、synchronized解决并发问题



synchronized保证原子性



1）通过`monitorenter`和`monitorexit`指令，可以保证被`synchronized`修饰的代码在同一时间只能被一个线程访问，在锁未释放之前，无法被其他线程访问到。



2）即使在执行过程中，由于某种原因，比如CPU时间片用完，线程1放弃了CPU，但是它并没有进行解锁。而由于`synchronized`的锁是可重入的，下一个时间片还是只能被他自己获取到，还是会继续执行代码。直到所有代码执行完。



synchronized保证可见性



保证可见性规则：对一个synchronized修饰的变量解锁之前，必须先把此变量同步回主存中。



synchronized保证有序性



由于`synchronized`修饰的代码，同一时间只能被同一线程访问。（如果在本线程内观察，所有操作都是天然有序的）



`synchronized`是无法禁止指令重排和处理器优化的，但是同一线程内的执行遵守as-if-serial语义。



### 六、锁优化



**重量级锁**



`synchronized`其实是借助Monitor实现的，在加锁时会调用objectMonitor的`enter`方法，解锁的时候会调用`exit`方法。



通过对象内部的监视器（monitor）实现，其中monitor的本质是依赖于底层操作系统的Mutex Lock实现，操作系统实现线程之间的切换需要从用户态到内核态的切换，切换成本非常高。



Java的线程是映射到操作系统原生线程之上的，如果要阻塞或唤醒一个线程就需要操作系统的帮忙，这就要从用户态转换到核心态，因此状态转换需要花费很多的处理器时间，是java语言中一个重量级的操纵。



只有在JDK1.6之前，synchronized的实现才会直接调用ObjectMonitor的`enter`和`exit。`在JDK1.6中出现对锁进行了很多的优化，进而出现轻量级锁，偏向锁，锁消除，适应性自旋锁，锁粗化。



自旋锁



共享数据的锁定状态一般只会持续很短的一段时间，为了这段时间去挂起和恢复线程其实并不值得。



让后面来的线程“稍微等一下”，但是并不放弃处理器的执行时间，看看持有锁的线程会不会很快释放锁。这个“稍微等一下”的过程就是自旋。（怎么等待呢？执行一段无意义的循环即可）



1、由于自旋锁只是将当前线程不停地执行循环体，不进行线程状态的改变，所以响应速度更快。



2、但当线程数不停增加时，性能下降明显，因为每个线程都需要执行，占用CPU时间。



3、自旋锁和阻塞锁最大的区别就是，到底要不要放弃处理器的执行时间。阻塞锁是放弃了CPU时间，进入了等待区，等待被唤醒。而自旋锁是一直“自旋”在那里，时刻的检查共享资源是否可以被访问。



锁消除



JVM检测到不可能存在共享数据竞争，这是JVM会对这些同步锁进行锁消除。锁消除的依据是逃逸分析的数据支持。 



注意：我们在使用一些JDK的内置API时，如StringBuffer、Vector、HashTable等，这个时候会存在隐形的加锁操作。

// 在运行这段代码时，JVM可以明显检测到变量vector没有逃逸出方法vectorTest()之外，所以JVM可以大胆地将vector内部的加锁操作消除。

public void vectorTest() {

    Vector<String> vector = new Vector<String>();

    for (int i = 0; i < 10; i++) {

        vector.add(i + "");// vector是线程安全的，每个方法都有synchronized修饰

    }

    System.out.println(vector);

}

锁粗化



我们提倡尽量减小锁的粒度：使用同步锁的时候，需要让同步块的作用范围尽可能小—仅在共享数据的实际作用域中才进行同步，这样做的目的是为了使需要同步的操作数量尽可能缩小，如果存在锁竞争，那么等待锁的线程也能尽快拿到锁。



问题：如果一系列的连续加锁解锁操作，可能会导致不必要的性能损耗。



锁粗化：将多个连续的加锁、解锁操作连接在一起，扩展成一个范围更大的锁。

for(int i=0;i<100000;i++){

    synchronized(this){  

        do();  

}

// 被优化之后   

synchronized(this){  

    for(int i=0;i<100000;i++){  

        do();  

}

# 最后

本人也收藏了一份Java面试核心知识点来应付面试，借着这次机会可以免费送给我的读者朋友们

**目录：**

![全靠这套面试题，才让我有惊无险美团二面拿offer  （面经解析）](https://img-blog.csdnimg.cn/img_convert/634b8798a0ee6ee30c04438aebf60743.png)

Java面试核心知识点

**一共有30个专题，足够读者朋友们应付面试啦，也节省朋友们去到处搜刮资料自己整理的时间！[有需要的朋友戳这里即可免费获取](https://gitee.com/vip204888/java-p7)**

![全靠这套面试题，才让我有惊无险美团二面拿offer  （面经解析）](https://img-blog.csdnimg.cn/img_convert/52f1b74587f3cfcf57fea9c541660f4c.png)

Java面试核心知识点

**已经有读者朋友靠着这一份Java面试知识点指导拿到不错的offer了，各位读者朋友们快来免费获取吧**



![全靠这套面试题，才让我有惊无险美团二面拿offer  （面经解析）](https://img-blog.csdnimg.cn/img_convert/0a6b20fbd5cdf0e81fff8db82ebb89b7.png)

给我的读者朋友们

**目录：**

[外链图片转存中...(img-vGv0fE4P-1628502772916)]

Java面试核心知识点

**一共有30个专题，足够读者朋友们应付面试啦，也节省朋友们去到处搜刮资料自己整理的时间！[有需要的朋友戳这里即可免费获取](https://gitee.com/vip204888/java-p7)**

[外链图片转存中...(img-AH2qVJr6-1628502772918)]

Java面试核心知识点

**已经有读者朋友靠着这一份Java面试知识点指导拿到不错的offer了，各位读者朋友们快来免费获取吧**



[外链图片转存中...(img-kYAZRP1k-1628502772920)]