Java线程模型包括哪些核心组成部分

陈默

发布时间：2026-11-08| 3人浏览过

原创

本文解析Java线程模型的四大核心：任务与线程对象的分离、调度机制（平台线程与虚拟线程）、同步与内存模型约束、以及协作与任务管理。通过代码示例阐明start()与run()的区别，解释happens-before原则及虚拟线程的适用场景，帮助开发者建立正确的并发编程因果链。

Java线程模型常被简化为“创建并启动线程”，但这种视角忽略了执行环境与语义约束。理解该模型，需将任务定义、执行载体、调度策略、同步规则及任务管理视为一个整体。以Java 21为例，核心误区往往源于混淆了方法调用与线程启动，或误以为线程数量直接等同于并行能力。下面从执行机制出发，拆解其核心组成部分。

Java线程模型包括哪些核心组成部分

Java线程模型核心组成：任务、载体、调度、同步与管理

任务定义与线程载体的分离

Runnable接口描述“做什么”，Thread类代表“谁来做”。两者解耦是模型的基础。许多初学者误以为调用Thread对象的run()方法会启动新线程，实则不然。

以下示例展示了这一区别。在Windows终端使用JDK 21编译运行：javac ThreadModelDemo.java 后执行 java ThreadModelDemo。

public class ThreadModelDemo {
    public static void main(String[] args) throws InterruptedException {
        Runnable task = () -> System.out.println(
            "Current Thread: " + Thread.currentThread().getName());
        
        Thread worker = new Thread(task, "worker-thread");
        
        // 错误用法：普通方法调用，仍在main线程执行
        worker.run(); 
        
        // 正确用法：启动新线程，由JVM调度执行
        worker.start(); 
        
        // 等待工作线程结束
        worker.join(); 
    }
}

worker.run()只是当前线程（通常是main线程）的一个普通方法调用，不会创建新的执行流。只有worker.start()才会请求JVM创建新的线程载体。线程生命周期包括NEW、RUNNABLE、BLOCKED、WAITING、TIMED_WAITING和TERMINATED六种状态。需注意，RUNNABLE状态仅表示线程可被调度，不代表正在占用CPU；且一旦进入TERMINATED状态，线程对象不可再次启动。

调度机制：平台线程与虚拟线程

线程如何获得CPU时间片，取决于调度模型。在传统Java版本中，平台线程（Platform Thread）通常一对一映射到操作系统原生线程，由OS内核调度。这种模型上下文切换开销较大，不适合海量并发。

Java 21引入了虚拟线程（Virtual Thread），作为轻量级用户态线程。虚拟线程由Java运行时调度，多路复用少量平台线程。这意味着“Java线程等于OS线程”的结论不再绝对成立。

Java线程模型包括哪些核心组成部分

平台线程与虚拟线程的调度映射关系

虚拟线程旨在解决I/O密集型任务的阻塞问题，而非提升CPU计算速度。增加虚拟线程数量不会增加物理核心数，CPU密集型任务仍受限于硬件资源。此外，线程优先级、sleep()或yield()仅作为调度提示，不能用于保证业务逻辑的执行顺序。

同步规则与内存可见性

多线程共享状态时，必须处理原子性与可见性问题。例如，count++操作包含读取、修改、写回三个步骤，非原子操作。仅使用volatile关键字能保证可见性，但无法保证复合操作的原子性。

final class Counter {
    private int value;
    
    // 通过synchronized保证互斥访问
    synchronized void increment() { 
        value++; 
    }
    
    synchronized int get() { 
        return value; 
    }
}

上述代码通过synchronized关键字实现互斥锁。所有线程必须共享同一个Counter实例，并严格通过加锁方法访问，才能确保数据一致性。若绕过锁直接访问字段，或为每个线程创建独立计数器，则失去同步意义。

底层约束来自Java内存模型（JMM）。它定义了happens-before关系，如锁释放先于后续对该锁的获取、线程启动先于线程内动作等。这些规则保证了跨线程的数据可见性，而非简单的内存复制。