Node.js定时器池底层采用最小二叉堆实现，由libuv提供支持，确保O(1)获取最早到期定时器、O(log n)插入/删除、O(k)执行到期任务，兼顾效率与稳定性。
Node.js定时器池底层用的是最小二叉堆（Min-Heap），不是数组或链表，也不是哈希表。它由 libuv 实现，核心目标是快速拿到“下一个最早该执行的定时器”，而不是遍历所有定时器。
最小二叉堆保证 O(1) 查找最早到期定时器
堆顶节点永远存着 timeout 值最小（即绝对到期时间最早）的定时器。事件循环进入 timer 阶段时，只看 heap_min(timer_heap(loop)) 就能立刻判断要不要执行——不需要扫描、排序或遍历。即使有 10 万个定时器，取第一个也只花常数时间。
插入和删除维持 O(log n) 复杂度
每次 setTimeout 或 clearTimeout，都会触发一次堆的插入或删除操作。二叉堆通过上浮（sift-up）或下沉（sift-down）调整结构，最多比较 log₂n 层就能完成定位。相比链表的 O(n) 移动或数组的 O(n) 重排，这个代价小得多，尤其适合高频增删场景（比如每秒新建/销毁数百个心跳定时器）。
比较逻辑带稳定性保障
堆节点比较函数 timer_less_than 先比 timeout（绝对到期时间），时间相同时再比 start_id（创建序号）。这样既保证按时间严格排序，又避免相同 timeout 的定时器因顺序不确定导致执行抖动。
批量弹出不等于全堆扫描uv__run_timers 不是遍历整个堆，而是持续弹出堆顶，检查是否已到期；一旦遇到第一个未到期的节点，立即停止。实际耗时只跟“本轮真正到期的数量”有关，和总定时器数无关——哪怕堆里有 5 万个定时器，只要只有 3 个到期，就只做 3 次弹出+回调执行。
使用 JSON Schema 验证 JSON 数据，从示例 JSON 生成 schema，并将其转换为 TypeScript 接口、Python 数据类或 Markdown 文档。
- 堆顶读取：O(1)
- 插入新定时器：O(log n)
- 取消某个定时器：O(log n)
- 执行已到期任务：O(k)，k 是本轮到期数量
这种结构让 Node.js 能在高密度定时器负载下依然保持事件循环响应性，不因定时器数量增长而线性退化。
