3. hrtimer核心数据结构

高精度定时器（hrtimer）的整个运行机制建立在三层核心数据结构之上。理解这三层结构之间的层级关系与字段含义，是编写可靠实时周期任务的基石。本章从最底层的定时器对象开始，逐层向上剖析，最终构建出完整的 per-CPU 定时器管理视图。

3.1 三层结构总览

hrtimer 子系统采用 “对象 → 时钟基 → CPU 上下文” 的三层架构。每个定时器对象（struct hrtimer）归属于一个时钟基（struct hrtimer_clock_base），而所有时钟基又统一由 per-CPU 的管理结构（struct hrtimer_cpu_base）组织。

3.2 struct hrtimer：定时器对象

struct hrtimer 是驱动开发者直接操作的核心结构体。每个定时器实例代表一个即将到期的事件。

struct hrtimer {
    struct timerqueue_node      node;       /* 红黑树节点，包含 expire 时间 */
    ktime_t                     _softexpires; /* 软到期时间（允许的宽松边界） */
    enum hrtimer_restart        (*function)(struct hrtimer *); /* 回调函数 */
    struct hrtimer_clock_base   *base;      /* 所属时钟基指针 */
    u8                          state;      /* 状态位掩码 */
    u8                          is_rel;     /* 是否为相对时间 */
    u8                          is_soft;    /* 是否为软中断上下文 */
    u8                          is_hard;    /* 是否为硬中断上下文 */
};

3.3 struct hrtimer_clock_base：时钟基管理

每个时钟基管理同一时钟源下的所有定时器。内核支持 4 种时钟基，分别对应不同的时间语义。

struct hrtimer_clock_base {
    struct hrtimer_cpu_base  *cpu_base;     /* 所属 CPU 上下文 */
    struct timerqueue_head   active;        /* 红黑树根节点（含缓存的最左节点） */
    ktime_t                  (*get_time)(void); /* 获取当前时间的函数指针 */
    ktime_t                  offset;        /* 时钟偏移量（如 REALTIME 与 MONOTONIC 的差值） */
    clockid_t                clockid;       /* 时钟 ID */
    u8                       index;         /* 在 cpu_base->clock_base[] 中的索引 */
};

3.4 struct hrtimer_cpu_base：Per-CPU 定时器上下文

每个 CPU 核心拥有一个独立的 hrtimer_cpu_base 实例，集中管理该 CPU 上的所有时钟基和定时器。这种 per-CPU 设计避免了多核间的锁竞争，是 hrtimer 高性能的关键。

struct hrtimer_cpu_base {
    raw_spinlock_t               lock;           /* 保护本结构体的自旋锁 */
    struct hrtimer_clock_base    clock_base[HRTIMER_MAX_CLOCK_BASES]; /* 时钟基数组 */
    unsigned int                 active_bases;   /* 位掩码，标记哪些时钟基非空 */
    unsigned int                 nr_events;      /* 定时器到期事件计数 */
    unsigned int                 nr_retries;     /* 重试次数统计 */
    unsigned int                 nr_hangs;       /* 挂起次数统计 */
    ktime_t                      expires_next;   /* 下一个到期时间（用于编程硬件定时器） */
    struct hrtimer               *next_timer;    /* 指向下一个到期的定时器 */
    ktime_t                      softirq_expires_next; /* 软中断下一个到期时间 */
    struct hrtimer               *softirq_next_timer;  /* 软中断下一个到期定时器 */
};

3.5 关键设计要点

• 红黑树组织： 每个时钟基的 active 字段是一个 struct timerqueue_head，它封装了红黑树根节点并缓存最左节点（即最早到期的定时器），实现 O(1) 获取下一个到期定时器。
• Per-CPU 无锁设计： 每个 CPU 操作自己的 hrtimer_cpu_base，仅在迁移定时器时涉及跨 CPU 锁。实时任务应绑定 CPU 以避免迁移开销。
• 软到期与硬到期： _softexpires 允许内核将多个定时器合并到同一个硬件中断，减少中断频率。对于需要严格周期性的实时任务，应将 _softexpires 设置为与 expires 相同。
• 状态机转换： 定时器状态在 INACTIVE → ENQUEUED → CALLBACK → INACTIVE 之间转换。回调函数返回 HRTIMER_RESTART 时，内核自动重新将定时器插入红黑树。

3.6 数据结构关系总结