Node.js定时器基于libuv实现的最小二叉堆，O(1)获取最早到期定时器、O(log n)插入删除，并通过批量弹出+早停机制使执行耗时仅与已到期数量相关，不阻塞事件循环。
Node.js 的定时器（setTimeout、setInterval）不是靠轮询检查时间戳实现的，而是依赖一个**最小堆（Min-Heap）**高效管理所有待触发定时器。Event Loop 在 timers 阶段 从这个堆中快速取出最早到期的任务，而不是遍历全部定时器——这是性能关键。
定时器堆的本质：最小堆结构
libuv（Node.js 底层 I/O 库）用 C 实现了一个基于数组的最小堆，每个节点存储定时器的到期时间（毫秒时间戳）。堆顶永远是最早要触发的那个定时器，插入和删除操作的时间复杂度都是 O(log n)。
- 堆不按“创建顺序”排列，只按 到期时间 维护优先级
- 同一个时间点可能有多个定时器，它们在堆中位置无序，但都满足“父节点 ≤ 子节点”的最小堆性质
- Node.js 启动时初始化该堆；每次调用
setTimeout，libuv 就把新定时器插入堆中
timers 阶段如何从堆中取任务
Event Loop 进入 timers 阶段时，并不会逐个比对所有定时器是否到期。它只做两件事：
- 反复取出堆顶元素（即最早到期的定时器），检查其
expiry是否 ≤ 当前时间 - 如果满足，执行回调，并从堆中移除该节点（O(log n)）；如果不满足，说明堆里其余定时器都还没到时间，直接退出 timers 阶段
- 注意：即使设置了
setTimeout(fn, 0)，它也必须等堆顶那个“真正最早”的定时器被处理完才可能轮到——所以 0 不等于“立刻”
堆与系统时钟的协同机制
libuv 并不依赖高精度定时器硬件，而是结合两种策略降低延迟：
- 主动轮询 + 堆顶驱动：每次进入 timers 阶段，先看堆顶；若未到期，就计算“还需等待多久”，然后让底层系统（如 epoll/kqueue）休眠对应毫秒数
-
时间校准防漂移：Node.js 会定期调用
uv_update_time()获取真实系统时间，避免因长时间阻塞导致堆判断失准 - 如果主线程忙（比如同步代码执行太久），堆里的定时器即使到期也无法及时执行——因为 Event Loop 根本没机会进入 timers 阶段
为什么不能用链表或数组替代堆？
假设你有 10 万个定时器：
- 链表/数组查找最小到期时间：O(n)，每次 timers 阶段都要扫一遍 → 明显不可行
- 红黑树虽也支持 O(log n) 插入/查找，但 libuv 选择堆是因为它更轻量、内存局部性更好，且只需“取最小值”这一操作，无需范围查询或遍历
- 堆在 libuv 中以紧凑数组实现（类似
int heap[ ]），没有指针开销，缓存友好
