进程与线程

JS 只有一根主线程，但等网络时页面不冻住，因为等待发生在别处：fetch 的 socket 读写发生在网络进程；定时器由浏览器的 timer 队列托管。主线程没有任务时，内核把这个线程挂起（Linux 上通常阻塞在 epoll_wait 或 futex），不占 CPU；数据到达后内核唤醒它，回调入队、恢复执行。

所以「单线程」指执行 JS 的线程唯一，不是整个运行时只有一个线程。挂起与恢复由内核完成，代码只负责把后续逻辑写成回调。

Web Worker 是真线程

new Worker() 创建一个真正的 OS 线程，内部是独立 V8 isolate：独立堆、独立栈、独立 GC。因此不能直接共享 JS 对象，postMessage 是结构化克隆（深拷贝）；ArrayBuffer 可以用 Transferable 转移所有权，零拷贝但原线程失效；SharedArrayBuffer + Atomics 是唯一能真共享内存的例外，需要 COOP/COEP 响应头开启跨源隔离。

Node.js 的「单线程」

主线程只有一个，负责执行 JS 和驱动事件循环。libuv 维护一个线程池（默认 4 个，UV_THREADPOOL_SIZE 可调），文件读写、getaddrinfo、crypto.pbkdf2、zlib 都扔进池子里阻塞执行；网络 IO 不走线程池，走 epoll/kqueue/IOCP。所以 Node 适合 IO 密集，bcrypt、图像处理直接放主线程会占满池子，把请求排到后面。

代码：长任务如何毁掉一帧

// 主线程同步计算，1e7 次开方约 30~60 ms
document.querySelector('#start').addEventListener('click', () => {
  const t0 = performance.now()
  let sum = 0
  for (let i = 0; i < 1e7; i++) sum += Math.sqrt(i)
  console.log('blocked', (performance.now() - t0).toFixed(1), 'ms', sum)
})

60 fps 要求每帧 16.6 ms，这段相当于丢掉 2~4 帧，点击后动画一顿。把计算搬进 Worker：

// worker.js：独立线程，不碰 DOM
self.onmessage = ({ data: { chunk } }) => {
  let sum = 0
  for (let i = 0; i < chunk; i++) sum += Math.sqrt(i)
  self.postMessage(sum)
}

// main.js
const worker = new Worker('./worker.js')
const compute = (chunk) =>
  new Promise((resolve) => {
    worker.onmessage = ({ data }) => resolve(data)
    worker.postMessage({ chunk })
  })

不想开线程、只想让出主线程，用 MessageChannel 切片：

const channel = new MessageChannel()
const yieldToMain = () =>
  new Promise((resolve) => {
    channel.port1.onmessage = () => resolve()
    channel.port2.postMessage(null) // 宏任务，插在渲染之前，没有 setTimeout 的 4ms 下限
  })

async function chunked(total, step = 5e4) {
  for (let i = 0; i < total; i += step) {
    heavyPart(i, Math.min(i + step, total))
    await yieldToMain() // 每片之后把控制权还给渲染
  }
}

常见误区

很多人以为 Web Worker 之间能共享对象。 实际上 postMessage 是结构化克隆，传 10 MB 普通对象就实打实拷 10 MB；只有 ArrayBuffer 能转移，SharedArrayBuffer 能共享且必须配 Atomics 才有内存序保证。

很多人以为 async/await 会开新线程。 实际上它只是把函数编译成状态机，await 时挂起当前上下文、把后续注册为微任务，全程在同一根主线程上，await 一个同步死循环照样卡死。

面试怎么答

进程和线程的区别？ 进程有独立地址空间，是资源分配单位；线程共享进程内存，是调度单位。进程切换要换页表刷 TLB，线程切换只换栈和寄存器，快一个数量级。进程间通信走 IPC，线程间共享变量要加锁。

浏览器为什么每个标签页一个渲染进程？ 为了故障隔离与安全隔离：一个页面的 JS 崩溃或内存爆炸不会拖垮其他页面，同源策略在进程边界上也更硬。代价是内存占用高，内存紧张时浏览器会合并或丢弃后台标签页。

Web Worker 能共享内存吗？ 默认不能，独立 V8 isolate，通信靠结构化克隆。SharedArrayBuffer 可以共享同一块内存，但需要 COOP/COEP 开启跨源隔离，并发读写必须用 Atomics 保证原子性与可见性。

关联阅读

• 内存管理与虚拟内存：线程栈、堆和地址空间的具体布局
• IO 模型与多路复用：主线程挂起时到底阻塞在哪个系统调用上
• 作业队列与事件循环：宏任务、微任务与渲染时机