nginx定时事件调度通过红黑树定位最小到期时间、动态设置epoll_wait超时参数、timer_resolution精度权衡及单调时间懒更新实现性能与准确性的平衡。
定时事件调度的精确性在 Nginx 中不是靠“绝对精准”实现的，而是通过时间精度、唤醒策略与数据结构协同控制，在性能与准确性之间取得务实平衡。
红黑树驱动的最小到期时间定位
所有定时事件按绝对过期时间（ngx_current_msec + timeout）作为键值插入全局红黑树 ngx_event_timer_rbtree。红黑树天然支持 O(log n) 时间复杂度的最小键值查找——即“下一个最早到期的定时器”。事件循环每次只取最左节点比对当前时间，触发后继续扫描，直到首个未超时节点出现。这种惰性遍历不依赖固定周期轮询，避免了精度浪费和空转开销。
epoll_wait 超时参数动态绑定
定时器是否能及时触发，取决于 epoll_wait 的阻塞时长。Nginx 将红黑树中最早到期时间与当前时间之差，作为下一次 epoll_wait 的 timeout 参数：
- 若树为空或最近超时时间远于当前，timeout 设为 -1（永久阻塞），仅靠 I/O 或信号唤醒
- 若存在即将到期事件（如 5ms 后），则传入 5ms，确保到期前被唤醒
- 该机制使定时器响应延迟 ≤ 最小剩余超时值，无需额外线程或信号
timer_resolution 配置的精度-开销权衡
timer_resolution 不改变红黑树逻辑，而是强制 epoll_wait 的最大等待时长：
- 设为 0（默认）：完全依赖事件驱动更新，精度由实际 I/O 活动决定，CPU 开销最低
- 设为 10ms：保证任意定时器误差 ≤10ms，但 worker 进程每 10ms 必被唤醒一次，增加系统调用与上下文切换
- 设为 1ms：虽理论精度更高，却导致高频虚假唤醒，显著抬升 CPU 使用率，且未必提升业务感知效果
单调时间基准与懒更新优化
ngx_current_msec 是 volatile 全局变量，代表毫秒级单调时间，通常在每次 epoll_wait 返回后更新。它不依赖系统时钟跳变，保障定时逻辑稳定。此外，添加新定时器时若旧定时器尚未触发且时间差小于 NGX_TIMER_LAZY_DELAY（默认 300ms），Nginx 复用原红黑树节点，避免冗余插入删除——这对短连接频繁重设超时（如 keepalive → read → write）尤为高效。
