JDK 源码中怎么解读 LockSupport 的底层 park 与 unpark-java教程-PHP中文网

LockSupport.park()和unpark()本质是基于JVM中每个线程私有的Parker对象的_counter许可机制，通过Unsafe调用JVM层park/unpark，最终映射到OS原语（如pthread_cond_wait/signal）。

jdk 源码中怎么解读 locksupport 的底层 park 与 unpark

LockSupport.park() 和 unpark() 看似简单，但它们是 Java 并发基石的“隐形引擎”。要真正读懂 JDK 源码里的实现，不能只看 Java 层的封装，得顺着调用链一路下钻到 JVM 内部 —— 从 LockSupport → Unsafe → Parker → OS 原语。

Java 层：LockSupport 是个“薄包装”

LockSupport 所有方法都是静态的，不维护状态，也不依赖锁。核心就两行：

public static void park() {
    UNSAFE.park(false, 0L); // false 表示相对时间，0L 表示无限等待
}

public static void unpark(Thread thread) {
    if (thread != null) UNSAFE.unpark(thread);
}

这里的 UNSAFE 是 sun.misc.Unsafe（或 jdk.internal.misc.Unsafe，JDK 9+ 模块化后路径变化），它提供直接操作内存和线程调度的 native 能力。park/unpark 对应的就是它的两个 native 方法。

✅ 关键点：LockSupport 本身无逻辑，纯代理；真正的阻塞/唤醒发生在 Unsafe.park 和 Unsafe.unpark。

JNI 层：Unsafe.park → HotSpot 的 Parker

Unsafe.park 是一个 native 方法，在 hotspot/src/share/vm/prims/unsafe.cpp 中实现：

// unsafe.cpp
UNSAFE_ENTRY(void, Unsafe_Park(JNIEnv *env, jobject unsafe, jboolean isAbsolute, jlong time))
  ...
  JavaThread* thread = JavaThread::current();
  thread->parker()->park(isAbsolute, time);
UNSAFE_END

它拿到当前 Java 线程对象，再取出其专属的 Parker 实例，调用 parker->park(...)。

同理，Unsafe_Unpark 最终调用 thread->parker()->unpark()。

✅ 关键点：每个 Java 线程在创建时，JVM 都会为其分配一个 Parker 对象（懒加载，首次 park 时初始化），它是线程私有的。

JVM 层：Parker 类 —— 许可（Permit）机制的载体

Parker 定义在 hotspot/src/os/linux/vm/os_linux.cpp（Linux）或对应平台文件中，核心成员只有三个：

Java调试

通过 JDWP 实现 Java 远程调试：连接远程 JVM、设置断点、单步执行代码、查看变量值、获取调用栈。适用于需要调试远程 Java 应用、排查运行时状态、追踪代码执行流程的场景。术语注解 JDWP：Java Debug Wire Protocol，Java 调试有线协议（Java 远程调试底层通信协议） remote JVM：远程 Java 虚拟机 step through code：代码单步调试（步入 / 步过 / 步出调试） inspect variables：变量查看 / 变量检视 stac

下载

class Parker : public os::PlatformParker {
private:
  volatile int _counter;   // ✅ 就是那个“许可”：0 或 1
  os::PlatformParker::Mutex _mutex;
  os::PlatformParker::Condition _cond;
  ...
};

_counter 是 volatile 整型，不是 boolean，但语义上只取 0 或 1；
park() 逻辑本质是：
- 原子地将 _counter 从 1 → 0，若成功（说明有许可），立即返回；
- 若原值为 0，则进入 os::PlatformParker::park()，实际调用系统级阻塞原语（如 Linux 上的 pthread_cond_wait）；
unpark() 逻辑本质是：
- 原子地将 _counter 从 0 → 1（仅当原值为 0 时才改）；
- 若此时线程正在 park 中等待，则唤醒其关联的条件变量 _cond，使其退出阻塞。