问题多多，日后再来完善
2019/3/25修改
轻量级锁的加锁过程：发现MarkWord已经偏向其他线程，并且锁还没有释放（持有偏向锁的线程处于同步块?），此时把偏向锁升级成轻量级锁。在线程的栈帧里创建一条锁记录(LockRecord)，把MarkWord拷贝进去(DisplayedMarkWord)，然后修改MarkWord指向锁记录。接着自旋。如果自旋之后还不能获取锁，则膨胀成重量级锁，即修改MarkWord指向monitor对象（互斥变量？）。
轻量级锁的加锁过程：发现MarkWord已经偏向其他线程，但是锁已经释放，则撤销偏向锁，把MarkWord修改成无锁，接着获取偏向锁。（疑问：偏向锁不能自己解锁？）
轻量级锁的解锁过程：通过CAS操作把MarkWord改写成DisplacedMarkWord，也就是恢复到偏向锁。如果修改失败则说明已经是重量级锁了。
Monitor的同步队列包括：
- 竞争队列ContentionList: 等待锁的所有线程。是一个双向列表，新线程（并发）通过CAS操作放入头部，锁的Owner（单线程）从尾部取线程放入EntryList
- 候选队列EntryList: Owner把一个线程移入OnDeck
- OnDeck: 同一时刻只有一个线程在竞争锁
- Owner: 持有锁的线程
- WaitSet: 调用了wait()的线程
基础知识
Mark Word
对象头（Object Header）有一部分叫做Mark Word，记录了锁状态
- 无锁：hash + age + 0 + 01
- 偏向锁：线程ID + epoch + age + 1 + 01 (只有一个线程在重复请求锁)
- 轻量级锁：指向栈帧中锁记录的指针 + 00 (竞争线程数量少，锁持有时间短，能通过自旋获取锁)
- 重量级锁：指向互斥量的指针 + 10 (竞争线程数量多，锁持有时间长)
Displaced Mark Word
线程的栈帧(Stack Frame)中有一块空间用于存放锁记录(Lock Record)，复制了对象头的Mark Word
CAS(Compare and Swap)
乐观锁机制。先比较再修改
偏向锁升级成轻量级锁
- 线程A请求锁，发现对象的MarkWord是无锁状态，尝试CAS设置为偏向锁状态，并写入线程A的ID
- 线程B也来请求锁，发现MarkWord已经是偏向锁状态，检查线程A是否存在
- 如果此时线程A已经不存在
- 将MarkWord设置为无锁状态(?)
- 尝试CAS设置为偏向锁状态，并写入线程B的ID
- 如果此时线程A存在
- 暂停线程A
- 在线程A的栈帧中创建锁记录(Lock Record)
- 将MarkWord复制到该锁记录中
- 尝试CAS更新MarkWord，指向该锁记录
- 更新锁记录的Owner指向MarkWord(?)
- 设置MarkWord为轻量级锁状态
- 此时MarkWord与DisplacedMarkWord存储了相同的内容(?)
- 继续执行线程A
- 线程B自旋来获取锁
轻量级锁膨胀成重量级锁
- 线程A栈帧的锁记录已经复制了MarkWord，并且MarkWord指向了该锁记录
- 线程B来请求锁，发现MarkWord已经是轻量级锁，尝试自旋(?)
- 线程B自旋之后还是获取不到锁(?)
- 更新MarkWord，指向重量级锁(Mutex Lock)(?)
- 设置MarkWord为重量级锁状态
- 阻塞线程B
- 线程A尝试CAS用DisplacedMarkWord替换当前的MarkWord，CAS失败
- 释放锁
- 唤醒阻塞的线程
