2021年4月28日 (三) 13:36的版本

学习一下Hotspot中的锁实现。

Head word

JVM 中对象头包含两部分信息，一个是Mark word，存储同步、GC等信息；另一部分是存该对象所属的类型的指针：

[[File::Hotspot-Synchronization.gif ‎|600px|Hotspot synchronization]]

Hotspot锁实现

轻量级加锁过程（thin lock）

对于一个未锁定的对象，如果不允许偏向，那么当线程尝试给这个对象加锁的时候，首先尝试使用轻量级锁定，步骤如下：

首先在当前线程的桢栈中创建一个lock record信息，保存对象的mark word，然后尝试通过CAS把这个lock record的地址设置到对象的header word中
如果CAS成功，那么当前线程成功获取到锁，这时候最后两位是00，表示对象被轻量级锁定
如果CAS失败，这时候首先需要判断一下当前线程是否已经持有锁（存在当前线程递归获取锁的场景；但CAS比较的时候，比较的条件是按照对象未锁定的场景去比较的，所以即使对象已经被轻量级锁定了，在CAS之前根本没有去判断），如果是则表明当前线程已经取得锁，可以继续执行
如果不是，那么说明有两个线程同时尝试锁定一个对象，这时候需要膨胀为重量级锁

// bytecodeInterpreter.cpp
 if (!success) {
   markOop displaced = rcvr->mark()->set_unlocked();
   mon->lock()->set_displaced_header(displaced);
   if (Atomic:: (mon, rcvr->mark_addr(), displaced) != displaced) {
     // Is it simple recursive case?
     if (THREAD->is_lock_owned((address) displaced->clear_lock_bits())) {
       mon->lock()->set_displaced_header(NULL);
     } else {
       CALL_VM(InterpreterRuntime::monitorenter(THREAD, mon), handle_exception);
     }
   }
 }

而当线程运行完成之后，还需要把对象的mark word还原回去：

从线程的栈中获取原来的mark word，尝试使用CAS设置到对象上
如果成功，那么不需要做其他事情
如果失败，表明已经膨胀为重量级锁了，需要通知到等待线程

对于同一个线程递归锁定的场景，如果上一步CAS失败发现已经被自己持有锁，这个时候在栈上的lock record中设置为0，个人理解是如果设置为0那么在解锁的时候，可以控制不采用CAS恢复对象mark word，而是等到第一个lock操作对应的unlock操作的时候去恢复。

偏向锁（Store-Free Biased Locking）

轻量级加锁解决的问题就是，多个线程交替地去获取锁，但实际没有并发争用。在实际的软件中，还有许多场景是，一个对象在生命周期内由始至终只有一个线程会去锁定，那么，在这这种情况下是否可以避免反复的CAS操作，而是直接”偏向“让原来持有锁的线程获取锁呢？

Java对象初始化的时候的header word有会有一个是否允许偏向的标志位：

如果该类可以使用偏向锁，则对象包含thread id（初始化位0），biased_lock=1表示允许偏向
如果该类不可以使用偏向锁，则对象包含一个hash code，biased_lock被设置位0表示不允许偏向

那么，在尝试加锁的过程中，如果发现允许偏向，则步骤如下：

尝试通过CAS，将当前线程ID、epoch等替换到对象头中，这是唯一的一次CAS操作，称之为initial lock
当线程持有对象的偏向锁之后，后续该线程的加锁和解锁无需额外的CAS操作或者更新对象头

而当一个线程尝试对一个偏向其他线程的对象加锁的时候，需要撤销偏向锁，并把现场恢复成好像是通过thin lock锁住这个对象一样。这时候进行的步骤如下：

停止偏向锁持有线程到安全点
遍历偏向锁的持有线程的栈，调整lock record为thin lock的模式；并把最开始的lock record设置到对象的header中
恢复线程，按照thin lock的方式执行（包括膨胀机制）

Reference:

http://gee.cs.oswego.edu/dl/jmm/cookbook.html

@@ 第6行： / 第6行： @@
 JVM 中对象头包含两部分信息，一个是<span class="article-label">Mark word</span>，存储同步、GC等信息；另一部分是存该对象所属的类型的指针：
-[[File:Hotspot-Synchronization.gif|600px|Hotspot synchronization]]
+[[File::Hotspot-Synchronization.gif ‎|600px|Hotspot synchronization]]
 = Hotspot锁实现=