Synchronized保证线程安全的原理

青旅半醒 2023-02-16 12:25 19阅读 0赞

**一：通过锁的角度进行解释**

**内置锁:** 万物皆对象，Java中每一个对象都可以用作同步的锁，那么，这些锁就被称之为内置锁。  
**它修饰普通方法的时候，内置锁就是当前类的实例；它修饰静态方法，内置锁是当前的Class字节码对象**。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2ppa2UxMTIzMQ_size_16_color_FFFFFF_t_70_pic_center]  
**synchronized的原理其实就是加了锁，由内置锁和互斥锁所决定的。每个synchronized对象都有锁，而这些锁都是互斥的，一个进来之后，另外的就不能进来了，因此就可以保证线程的安全性。**

**二：通过内存模型角度进行解释**

Java内存模型规定了**所有的变量都存储在主内存中**（此处的主内存跟物理硬件的主内存只是名字相同，此处仅仅是指虚拟机内存的一部分），而**每条线程还会有自己的工作内存**（可以类比cpu的寄存器和高速缓存），线程的工作内存中保存了该线程使用到的变量的**主内存的副本拷贝**，**线程对变量的所有操作都必须在工作内存中继续，而不能直接读写主内存中的变量**。**不同线程之间也无法直接访问对方工作内存中的变量，线程之间变量值的传递都需要通过主内存完成**，三者关系如下图：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2ppa2UxMTIzMQ_size_16_color_FFFFFF_t_70_pic_center 1]  
**当我们使用synchronized进行同步的时候，真正被同步的是在工作线程中的数据，简单的说就是在同步块或同步方法执行完后，对被锁定的对象做的任何修改要在释放锁之前写回到主内存中；在进入同步块得到锁之后，被锁定对象的数据是从主内存中读出来的，持有锁的线程的工作内存中的数据副本一定和主内存中的数据视图是同步的** 。

参考链接：  
https://blog.csdn.net/g\_66\_hero/article/details/85685646  
https://blog.csdn.net/u010653908/article/details/53420004

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2ppa2UxMTIzMQ_size_16_color_FFFFFF_t_70_pic_center]: https://img-blog.csdnimg.cn/20200610085826194.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2ppa2UxMTIzMQ==,size_16,color_FFFFFF,t_70#pic_center
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2ppa2UxMTIzMQ_size_16_color_FFFFFF_t_70_pic_center 1]: https://img-blog.csdnimg.cn/20200610090356344.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2ppa2UxMTIzMQ==,size_16,color_FFFFFF,t_70#pic_center