Java 锁机制

LockSupport类

了解线程的阻塞和唤醒,需要查看LockSupport类。具体代码如下:

  1. public class LockSupport {
  2. private LockSupport() {} // Cannot be instantiated.
  3. private static void setBlocker(Thread t, Object arg) {
  4. U.putObject(t, PARKBLOCKER, arg);
  5. }
  6. public static void unpark(Thread thread) {
  7. if (thread != null)
  8. U.unpark(thread);
  9. }
  10. public static void park(Object blocker) {
  11. Thread t = Thread.currentThread();
  12. setBlocker(t, blocker);
  13. U.park(false, 0L);
  14. setBlocker(t, null);
  15. }
  16. public static void parkNanos(Object blocker, long nanos) {
  17. if (nanos > 0) {
  18. Thread t = Thread.currentThread();
  19. setBlocker(t, blocker);
  20. U.park(false, nanos);
  21. setBlocker(t, null);
  22. }
  23. }
  24. public static void parkUntil(Object blocker, long deadline) {
  25. Thread t = Thread.currentThread();
  26. setBlocker(t, blocker);
  27. U.park(true, deadline);
  28. setBlocker(t, null);
  29. }
  30. public static Object getBlocker(Thread t) {
  31. if (t == null)
  32. throw new NullPointerException();
  33. return U.getObjectVolatile(t, PARKBLOCKER);
  34. }
  35. public static void park() {
  36. U.park(false, 0L);
  37. }
  38. public static void parkNanos(long nanos) {
  39. if (nanos > 0)
  40. U.park(false, nanos);
  41. }
  42. public static void parkUntil(long deadline) {
  43. U.park(true, deadline);
  44. }
  45. //省略部分代码
  46. private static final sun.misc.Unsafe U = sun.misc.Unsafe.getUnsafe();
  47. private static final long PARKBLOCKER;
  48. private static final long SECONDARY;
  49. static {
  50. try {
  51. PARKBLOCKER = U.objectFieldOffset
  52. (Thread.class.getDeclaredField("parkBlocker"));
  53. SECONDARY = U.objectFieldOffset
  54. (Thread.class.getDeclaredField("threadLocalRandomSecondarySeed"));
  55. } catch (ReflectiveOperationException e) {
  56. throw new Error(e);
  57. }
  58. }
  59. }

从上面的代码中,可以知道LockSupport中的对外提供的方法都是静态方法。这些方法提供了最基本的线程阻塞和唤醒功能,在LockSupport类中定义了一组以park开头的方法用来阻塞当前线程。以及unPark(Thread thread)方法来唤醒一个被阻塞的线程。关于park开头的方法具体描述如下表所示:
2021-09-07-00-00-17-605304.jpg
其中park(Object blocker)parkNanos(Object blocker, long nanos)parkUntil(Object blocker, long deadline)三个方法是Java 6中新增加的方法。其中参数blocker是用来标识当前线程等待的对象(下文简称为阻塞对象),该对象主要用于问题排查和系统监控。
由于在Java 5之前,当线程阻塞时(使用synchronized关键字)在一个对象上时,通过线程dump能够查看到该线程的阻塞对象。方便问题定位,而Java 5退出的Lock等并发工具却遗漏了这一点,致使在线程dump时无法提供阻塞对象的信息。因此,在Java 6中,LockSupport新增了含有阻塞对象的park方法。用以替代原有的park方法。

LockSupport中的blocker

可能有很多读者对Blocker的原理有点好奇,既然线程都被阻塞了,是通过什么办法将阻塞对象设置到线程中去的呢? 继续查看含有阻塞对象(Object blocker)的park方法。 可以发现内部都调用了setBlocker(Thread t, Object arg)方法。具体代码如下所示:

  1. private static void setBlocker(Thread t, Object arg) {
  2. U.putObject(t, PARKBLOCKER, arg);
  3. }

其中 U为sun.misc.包下的Unsafe类。而其中的PARKBLOCKER是在静态代码块中进行赋值的,也就是如下代码:

  1. private static final sun.misc.Unsafe U = sun.misc.Unsafe.getUnsafe();
  2. static {
  3. try {
  4. PARKBLOCKER = U.objectFieldOffset
  5. (Thread.class.getDeclaredField("parkBlocker"));
  6. //省略部分代码
  7. } catch (ReflectiveOperationException e) {
  8. throw new Error(e);
  9. }
  10. }

Thread.class.getDeclaredField("parkBlocker")方法其实很好理解,就是获取线程中的parkBlocker字段。如果有则返回其对应的Field字段,如果没有则抛出NoSuchFieldException异常。那么关于Unsafe中的objectFieldOffset(Field f)方法怎么理解呢?
在描述该方法之前,需要给大家讲一个知识点。在JVM中,可以自由选择如何实现Java对象的”布局”,也就Java对象的各个部分分别放在内存那个地方,JVM是可以感知和决定的。 在sun.misc.Unsafe中提供了objectFieldOffset()方法用于获取某个字段相对 Java对象的“起始地址”的偏移量,也提供了getIntgetLonggetObject之类的方法可以使用前面获取的偏移量来访问某个Java 对象的某个字段。
有可能大家理解起来比较困难,这里给大家画了一个图,帮助理解,具体如下图所示:
2021-09-07-00-00-17-668309.jpg
在上图中,创建了两个Thread对象,其中Thread对象1在内存中分配的地址为0x10000-0x10100,Thread对象2在内存中分配的地址为0x11000-0x11100,其中parkBlocker对应内存偏移量为2(这里假设相对于其对象的“起始位置”的偏移量为2)。那么通过objectFieldOffset(Field f)就能获取该字段的偏移量。需要注意的是某字段在其类中的内存偏移量总是相同的,也就是对于Thread对象1与Thread对象2,parkBlocker字段在其对象所在的内存偏移量始终是相同的。
那么再回到setBlocker(Thread t, Object arg)方法,当获取到parkBlocker字段在其对象内存偏移量后,
接着会调用U.putObject(t, PARKBLOCKER, arg);,该方法有三个参数,第一个参数是操作对象,第二个参数是内存偏移量,第三个参数是实际存储值。该方法理解起来也很简单,就是操作某个对象中某个内存地址下的数据。那么结合上面所讲的。该方法的实际操作结果如下图所示:
2021-09-07-00-00-17-758275.jpg
到现在,就应该懂了,尽管当前线程已经阻塞,但是还是能直接操控线程中实际存储该字段的内存区域来达到想要的结果。

LockSupport底层代码实现

通过阅读源代码可以发现,LockSupport中关于线程的阻塞和唤醒,主要调用的是sun.misc.Unsafe 中的park(boolean isAbsolute, long time)unpark(Object thread)方法,也就是如下代码:

  1. private static final jdk.internal.misc.Unsafe theInternalUnsafe =
  2. jdk.internal.misc.Unsafe.getUnsafe();
  3. public void park(boolean isAbsolute, long time) {
  4. theInternalUnsafe.park(isAbsolute, time);
  5. }
  6. public void unpark(Object thread) {
  7. theInternalUnsafe.unpark(thread);
  8. }

查看sun.misc.包下的Unsafe.java文件可以看出,内部其实调用的是jdk.internal.misc.Unsafe中的方法。继续查看jdk.internal.misc.中的Unsafe.java中对应的方法:

  1. @HotSpotIntrinsicCandidate
  2. public native void unpark(Object thread);
  3. @HotSpotIntrinsicCandidate
  4. public native void park(boolean isAbsolute, long time);

通过查看方法,可以得出最终调用的是JVM中的方法,也就是会调用hotspot.share.parims包下的unsafe.cpp中的方法。继续跟踪。

  1. UNSAFE_ENTRY(void, Unsafe_Park(JNIEnv *env, jobject unsafe, jboolean isAbsolute, jlong time)) {
  2. //省略部分代码
  3. thread->parker()->park(isAbsolute != 0, time);
  4. //省略部分代码
  5. } UNSAFE_END
  6. UNSAFE_ENTRY(void, Unsafe_Unpark(JNIEnv *env, jobject unsafe, jobject jthread)) {
  7. Parker* p = NULL;
  8. //省略部分代码
  9. if (p != NULL) {
  10. HOTSPOT_THREAD_UNPARK((uintptr_t) p);
  11. p->unpark();
  12. }
  13. } UNSAFE_END

通过观察代码发现,线程的阻塞和唤醒其实是与hotspot.share.runtime中的Parker类相关。继续查看:

  1. class Parker : public os::PlatformParker {
  2. private:
  3. volatile int _counter ;//该变量非常重要,下文会具体描述
  4. //省略部分代码
  5. protected:
  6. ~Parker() { ShouldNotReachHere(); }
  7. public:
  8. // For simplicity of interface with Java, all forms of park (indefinite,
  9. // relative, and absolute) are multiplexed into one call.
  10. void park(bool isAbsolute, jlong time);
  11. void unpark();
  12. //省略部分代码
  13. }

在上述代码中,volatile int _counter该字段的值非常重要,一定要注意其用volatile修饰(在下文中会具体描述,接着当通过SourceInsight工具(推荐大家阅读代码时,使用该工具)点击其parkunpark方法时,会得到如下界面:
2021-09-07-00-00-17-853415.jpg
从图中红色矩形中可也看出,针对线程的阻塞和唤醒,不同操作系统有着不同的实现。众所周知Java是跨平台的。针对不同的平台,做出不同的处理。也是非常理解的。因为作者对windows与solaris操作系统不是特别了解。所以这里选择对Linux下的平台下进行分析。也就是选择hotspot.os.posix包下的os_posix.cpp文件进行分析。

Linux下的park实现

为了方便大家理解Linux下的阻塞实现,在实际代码中省略了一些不重要的代码,具体如下图所示:

  1. void Parker::park(bool isAbsolute, jlong time) {
  2. //(1)如果_counter的值大于0,那么直接返回
  3. if (Atomic::xchg(0, &_counter) > 0) return;
  4. //获取当前线程
  5. Thread* thread = Thread::current();
  6. JavaThread *jt = (JavaThread *)thread;
  7. //(2)如果当前线程已经中断,直接返回。
  8. if (Thread::is_interrupted(thread, false)) {
  9. return;
  10. }
  11. //(3)判断时间,如果时间小于0,或者在绝对时间情况下,时间为0直接返回
  12. struct timespec absTime;
  13. if (time < 0 || (isAbsolute && time == 0)) { // don't wait at all
  14. return;
  15. }
  16. //如果时间大于0,判断阻塞超时时间或阻塞截止日期,同时将时间赋值给absTime
  17. if (time > 0) {
  18. to_abstime(&absTime, time, isAbsolute);
  19. }
  20. //(4)如果当前线程已经中断,或者申请互斥锁失败,则直接返回
  21. if (Thread::is_interrupted(thread, false) ||
  22. pthread_mutex_trylock(_mutex) != 0) {
  23. return;
  24. }
  25. //(5)如果是时间等于0,那么就直接阻塞线程,
  26. if (time == 0) {
  27. _cur_index = REL_INDEX; // arbitrary choice when not timed
  28. status = pthread_cond_wait(&_cond[_cur_index], _mutex);
  29. assert_status(status == 0, status, "cond_timedwait");
  30. }
  31. //(6)根据absTime之前计算的时间,阻塞线程相应时间
  32. else {
  33. _cur_index = isAbsolute ? ABS_INDEX : REL_INDEX;
  34. status = pthread_cond_timedwait(&_cond[_cur_index], _mutex, &absTime);
  35. assert_status(status == 0 || status == ETIMEDOUT,
  36. status, "cond_timedwait");
  37. }
  38. //省略部分代码
  39. //(7)当线程阻塞超时,或者到达截止日期时,直接唤醒线程
  40. _counter = 0;
  41. status = pthread_mutex_unlock(_mutex);
  42. //省略部分代码
  43. }

从整个代码来看其实关于Linux下的park方法分为以下七个步骤:

  • (1)调用Atomic::xchg方法,将_counter的值赋值为0,其方法的返回值为之前_counter的值,如果返回值大于0(因为有其他线程操作过_counter的值,也就是其他线程调用过unPark方法),那么就直接返回。
  • (2)如果当前线程已经中断,直接返回。也就是说如果当前线程已经中断了,那么调用park()方法来阻塞线程就会无效。
  • (3) 判断其设置的时间是否合理,如果合理,判断阻塞超时时间或阻塞截止日期,同时将时间赋值给absTime
  • (4) 在实际对线程进行阻塞前,再一次判断如果当前线程已经中断,或者申请互斥锁失败,则直接返回
  • (5) 如果是时间等于0(时间为0,表示一直阻塞线程,除非调用unPark方法唤醒),那么就直接阻塞线程,
  • (6)根据absTime之前计算的时间,并调用pthread_cond_timedwait方法阻塞线程相应的时间。
  • (7) 当线程阻塞相应时间后,通过pthread_mutex_unlock方法直接唤醒线程,同时将_counter赋值为0。

因为关于Linux的阻塞涉及到其内部函数,这里将用到的函数都进行了声明。大家可以根据下表所介绍的方法进行理解。具体方法如下表所示:
2021-09-07-00-00-17-946455.jpg

Linux下的unpark实现

在了解了Linux的park实现后,再来理解Linux的唤醒实现就非常简单了,查看相应方法:

  1. void Parker::unpark() {
  2. int status = pthread_mutex_lock(_mutex);
  3. assert_status(status == 0, status, "invariant");
  4. const int s = _counter;
  5. //将_counter的值赋值为1
  6. _counter = 1;
  7. // must capture correct index before unlocking
  8. int index = _cur_index;
  9. status = pthread_mutex_unlock(_mutex);
  10. assert_status(status == 0, status, "invariant");
  11. //省略部分代码
  12. }

其实从代码整体逻辑来讲,最终唤醒其线程的方法为pthread_mutex_unlock(_mutex)(关于该函数的作用,已经在上表进行介绍了。可以参照Linux下的park实现中的图表进行理解)。同时将_counter的值赋值为1, 那么结合上文所讲的park(将线程进行阻塞)方法,那么可以得知整个线程的唤醒与阻塞,在Linux系统下,其实是受到Parker类中的_counter的值的影响的。

LockSupport的使用

现在基本了解了LockSupport的基本原理。现在来看看它的基本使用吧。在例子中,为了方便大家顺便弄清blocker的作用,这里调用了带blocker的park方法。具体代码如下所示:

  1. class LockSupportDemo {
  2. public static void main(String[] args) throws InterruptedException {
  3. Thread a = new Thread(new Runnable() {
  4. @Override
  5. public void run() {
  6. LockSupport.park("线程a的blocker数据");
  7. System.out.println("我是被线程b唤醒后的操作");
  8. }
  9. });
  10. a.start();
  11. //让当前主线程睡眠1秒,保证线程a在线程b之前执行
  12. Thread.sleep(1000);
  13. Thread b = new Thread(new Runnable() {
  14. @Override
  15. public void run() {
  16. String before = (String) LockSupport.getBlocker(a);
  17. System.out.println("阻塞时从线程a中获取的blocker------>" + before);
  18. LockSupport.unpark(a);
  19. //这里睡眠是,保证线程a已经被唤醒了
  20. try {
  21. Thread.sleep(1000);
  22. String after = (String) LockSupport.getBlocker(a);
  23. System.out.println("唤醒时从线程a中获取的blocker------>" + after);
  24. } catch (InterruptedException e) {
  25. e.printStackTrace();
  26. }
  27. }
  28. });
  29. b.start();
  30. }
  31. }

代码中,创建了两个线程,线程a与线程b(线程a优先运行与线程b),在线程a中,通过调用LockSupport.park("线程a的blocker数据");给线程a设置了一个String类型的blocker,当线程a运行的时候,直接将线程a阻塞。在线程b中,先会获取线程a中的blocker,打印输出后。再通过LockSupport.unpark(a);唤醒线程a。当唤醒线程a后。最后输出并打印线程a中的blocker。 实际代码运行结果如下:

  1. 阻塞时从线程a中获取的blocker------>线程ablocker数据
  2. 我是被线程b唤醒后的操作
  3. 唤醒时从线程a中获取的blocker------>null

从结果中,可以看出,线程a被阻塞时,后续就不会再进行操作了。当线程a被线程b唤醒后。之前设置的blocker也变为null了。同时如果在线程a中park语句后还有额外的操作。那么会继续运行。关于为毛之前的blocker之前变为null,具体原因如下:

  1. public static void park(Object blocker) {
  2. Thread t = Thread.currentThread();
  3. setBlocker(t, blocker);
  4. U.park(false, 0L);//当线程被阻塞时,会阻塞在这里
  5. setBlocker(t, null);//线程被唤醒时,会将blocer置为null
  6. }

通过上述例子,知道了blocker可以在线程阻塞的时候,获取数据。也就证明了当对线程进行问题排查和系统监控的时候blocker的有着非常重要的作用。