Linux内核中的通知链机制解析-CSDN博客

本文链接：https://blog.csdn.net/gitblog_00882/article/details/148464192

Linux内核中的通知链机制解析

linux-insides-zh Linux 内核揭秘项目地址: https://gitcode.com/gh_mirrors/li/linux-insides-zh

引言：内核子系统间通信的需求

在庞大的Linux内核中，各个子系统各司其职，但经常需要相互通信。比如一个子系统需要知道另一个子系统发生的特定事件。为此，Linux内核提供了一种优雅的解决方案——通知链（Notification Chains）机制。这种机制允许内核中的不同组件订阅其他组件产生的异步事件，实现子系统间的松耦合通信。

通知链的核心概念

通知链本质上是一个回调函数链表，当特定事件发生时，链表中注册的所有回调函数都会被依次调用。这种机制类似于设计模式中的"观察者模式"，在内核中被广泛应用。

关键数据结构

通知链的核心是notifier_block结构体，定义如下：

struct notifier_block {
    notifier_fn_t notifier_call;  // 回调函数指针
    struct notifier_block __rcu *next;  // 链表中下一个通知块
    int priority;  // 回调函数的优先级
};

其中回调函数的类型定义为：

typedef int (*notifier_fn_t)(struct notifier_block *nb, 
                           unsigned long action, 
                           void *data);

回调函数接收三个参数：

nb：当前通知块指针
action：事件类型标识符
data：事件相关数据

回调函数返回一个状态值，如：

NOTIFY_DONE：对事件不感兴趣
NOTIFY_OK：事件处理成功
NOTIFY_BAD：处理出错
NOTIFY_STOP：停止后续回调执行

通知链的四种类型

Linux内核提供了四种通知链，主要区别在于同步机制和执行上下文：

阻塞通知链（Blocking Notifier Chains）
- 回调在进程上下文中执行
- 使用读写信号量（rw_semaphore）保护
- 回调执行可能被阻塞
SRCU通知链（SRCU Notifier Chains）
- 同样在进程上下文中执行
- 使用特殊的RCU机制保护
- 允许在读端临界区阻塞
原子通知链（Atomic Notifier Chains）
- 在中断或原子上下文中执行
- 使用自旋锁（spinlock）保护
- 回调不能阻塞
原始通知链（Raw Notifier Chains）
- 无任何锁保护
- 调用者自行负责同步
- 适用于特殊同步需求场景

通知链的使用流程

1. 初始化通知链头

首先需要初始化通知链的头节点。以内核模块通知链为例：

static BLOCKING_NOTIFIER_HEAD(module_notify_list);

这个宏展开后会初始化一个读写信号量和将头指针设为NULL。

2. 注册通知处理函数

子系统通过注册回调函数来订阅事件。以阻塞通知链为例：

int blocking_notifier_chain_register(struct blocking_notifier_head *nh,
                                   struct notifier_block *nb);

注册过程会将新的notifier_block按优先级插入链表中。

3. 触发通知

当事件发生时，生产者调用：

int blocking_notifier_call_chain(struct blocking_notifier_head *nh,
                               unsigned long val, void *v);

这会遍历链表，依次调用每个注册的回调函数。

4. 注销通知

不再需要接收通知时，可以注销：

int blocking_notifier_chain_unregister(struct blocking_notifier_head *nh,
                                     struct notifier_block *nb);

实际应用示例：内核模块状态跟踪

内核模块子系统定义了三种状态事件：

MODULE_STATE_LIVE：模块已加载完成
MODULE_STATE_COMING：模块正在加载
MODULE_STATE_GOING：模块正在卸载

跟踪点（tracepoint）子系统通过以下方式注册模块状态变更通知：

static struct notifier_block tracepoint_module_nb = {
    .notifier_call = tracepoint_module_notify,
    .priority = 0,
};

register_module_notifier(&tracepoint_module_nb);

当模块状态变化时，比如通过init_module系统调用加载模块时，会触发MODULE_STATE_COMING事件；通过delete_module卸载模块时，会触发MODULE_STATE_GOING事件，从而调用注册的回调函数。

实现细节分析

通知链的核心处理函数是notifier_call_chain，它负责遍历链表并调用每个回调：

static int notifier_call_chain(struct notifier_block **nl,
                             unsigned long val, void *v,
                             int nr_to_call, int *nr_calls)
{
    // 遍历链表
    while (nb && nr_to_call) {
        next_nb = rcu_dereference_raw(nb->next);
        ret = nb->notifier_call(nb, val, v);
        
        // 处理返回值
        if (ret & NOTIFY_STOP_MASK)
            break;
        // ...继续处理下一个回调
    }
    return ret;
}

这个函数会：