Java同步方法是否会优先调度最新发起调用的线程？

问题描述 #

据我了解，线程获取同步方法访问权的顺序是未指定的，因此取决于具体实现，但在Oracle Java 8（1.8.0_101-b13，Ubuntu 64位）环境中，似乎通常会优先选择最新发起调用的线程。例如，当我运行以下类：

class C { 
    synchronized void go() { 
        try { 
            Thread.sleep(100); 
            System.out.println(Thread.currentThread().getName()); 
            System.out.flush(); 
        } catch (Exception e) { 
            System.out.println(e.getMessage()); 
        }
    }
}

回答 #

咱们先把核心结论摆出来：Java语言规范完全没有定义线程获取synchronized内置锁的顺序，这属于JVM实现的细节，不同厂商、不同版本的JVM可能采用完全不同的策略。

你在Oracle Java 8（HotSpot VM）中观察到的“优先最新发起调用的线程”，其实是该特定JVM版本下的行为，不能当成通用规则：

• HotSpot VM的内置锁会经历偏向锁→轻量级锁→重量级锁的升级路径。当锁升级到重量级锁时，等待线程理论上会进入FIFO队列（先到先得），但实际测试中可能因为线程调度的随机性、自旋锁的使用，或者线程启动的时机差异，让你产生了“最新线程优先”的错觉。
• 比如你代码里的Thread.sleep(100)，虽然会让持有锁的线程阻塞，但后续线程的启动和锁请求时机可能存在重叠，导致部分线程还没进入阻塞队列就抢到了锁，看起来像是“后来者优先”。

但必须强调：永远不要依赖这种特定实现的行为。如果你的业务逻辑需要明确的锁获取顺序（比如公平的先到先得），应该使用JUC包中的显式锁，比如ReentrantLock，通过构造参数new ReentrantLock(true)创建公平锁，它会严格按照线程等待的顺序分配锁资源。

内容的提问来源于stack exchange，提问作者bhawk90