定时器管理模块的设计基于静态数组法。使用一个定时器节点数组来保存所有的定时请求，数组的每一项代表一个可用的定时器节点。每一个定时器节点都有一个状态项，表示该定时器正处于空闲、使用或溢出状态。定时器的定时值和定时器超时后要发送的消息也存储在定时器节点中，从而实现用一个硬件定时器为用户提供多个软件定时器。
为了解决中断处理时间开销大的问题，在模块中引入一个辅助定时器，辅助定时器的值总是等于所有定时器节点中的最小定时值。在硬件定时器中断处理中，仅对辅助定时器进行减法操作，从而大大缩短了中断处理的时间。