Synchronized:
- Synchronized关键字在底层的C++实现中,存在两个重要的数据结构(集合):WaitSet和EntryList。
- WaitSet中存放的是调用了Object的Wait方法的线程对象(被封装成了C++的Node对象)。
- EntryList中存放的是陷入阻塞状态,需要获取moniter的那些个线程对象。
- 当一个线程被notify后,它就会从WaitSet中移动到EntryList中去。
- 当进入到EntryList后,该线程依然需要与其他的线程竞争moniter对象。
- 如果争抢到了,就表示该线程获取到了对象的锁,它可以以排他的方式对应的执行同步代码。
AQS:
- AQS中存在两个队列,分别是condition对象上的条件队列,以及AQS本身的阻塞队列。
- 这两个队列中的每一个对象都是Node实例(里面封装了线程对象)。
- 当condition条件队列中的线程被signal后,该线程就会从条件队列中被转移到AQS阻塞队列中去。
- 位于AQS阻塞队列中的Node对象本质上都是由一个双向链表去构成的(CLH)
- 在获取AQS锁的时候,这些进入到阻塞队列中的线程会按照在队列中的排序先后尝试的去获取锁(公平锁)。
- 当阻塞队列中的线程获取锁后,就表示改线程可以正常执行了
- 陷入到阻塞状态的线程,依然需要进入到操作系统内核态,进去阻塞(park方法)。