JDK源码剖析- Java并发实现原理学习 (三) synchronized关键字

目录

一、锁的对象是什么

二、锁的本质是什么

三、Synchronized实现原理

---

一、锁的对象是什么

很容易误解 synchronized 关键字:它通常加在所有的静态成员函数和非静态成员函数的前面，表面看好像是“函数之间的互斥”，其实不是，synchronized关键字其实是“给某个对象加了把锁”

等价于

对于非静态成员函数，锁其实是加在对象a上面的;

对于静态成员函数，锁是加在A.class上面的。当然class本身也是对象 

二、锁的本质是什么

多个线程要访问同一个资源。线程就是一段段运行的代码，资源就是一个变量、一个对象或一个文件等;而锁就是要实现线程对资源的访问控制，保证同一时间只能有一个线程去访问某一 个资源。打个比方，线程就是一个个游客，资源就是一个待参观的房子。这个房子同一时间只允许一个游客进去参观，当一个人出来后下 一个人才能进去。而锁就是这个房子门口的守卫。如果同一时间允许多个游客参观，锁就变成信号量

 从程序角度来看，锁其实就是一个“对象”，这个对象要完成以 下几件事情:

 (1)这个对象内部得有一个标志位(state变量)，记录自己有 没有被某个线程占用(也就是记录当前有没有游客已经进入了房 子)。最简单的情况是这个state有0、1两个取值，0表示没有线程占 用这个锁，1表示有某个线程占用了这个锁。

(2)如果这个对象被某个线程占用，它得记录这个线程的thread ID，知道自己是被哪个线程占用了(也就是记录现在是谁在房子里面)。 

(3)这个对象还得维护一个thread id list，记录其他所有阻塞的、等待拿这个锁的线程(也就是记录所有在外边等待的游客)。在当前线程释放锁之后(也就是把state从1改回0)，从这个thread id list里面取一个线程唤醒。 

三、Synchronized实现原理

在对象头里，有一块数据叫Mark Word。 在64位机器上，Mark Word是8字节(64位)的，这64位中有2个重要字段:锁标志位和占用该锁的thread ID