【操作系统百科】lockdep 与内核锁验证

内核有上千把锁——谁能保证不死锁？lockdep 是运行时锁依赖验证器 → 第一次看到 AB-BA 顺序就报警。

一、先看图

flowchart TD
    LOCK_A[lock A] --> LOCK_B[lock B<br/>记录 A→B 依赖]
    LOCK_B2[lock B] --> LOCK_A2[lock A<br/>检测到 B→A]
    LOCK_A2 --> WARN[lockdep 警告<br/>ABBA 死锁风险]

    classDef normal fill:#3fb95022,stroke:#3fb950,color:#adbac7;
    classDef bad fill:#f8514922,stroke:#f85149,color:#adbac7;
    class LOCK_A,LOCK_B normal
    class LOCK_B2,LOCK_A2,WARN bad

二、lockdep 原理

CONFIG_PROVE_LOCKING=y

每次获取锁 → lockdep 记录：

1. 锁的类（lock class）→ 按代码位置分类
2. 依赖关系（A → B 意味着持有 A 时获取 B）
3. 检查有向图中是否存在环 → 有环 = 死锁风险

2.1 锁类

static DEFINE_MUTEX(my_lock);  // 代码位置 = 锁类标识

同一代码位置定义的所有锁实例共享一个锁类。

2.2 检测范围

• mutex、rwsem、spinlock、rwlock
• 嵌套锁顺序
• 中断上下文与锁的交互（hardirq/softirq safe/unsafe）

三、lockdep 输出

WARNING: possible circular locking dependency detected
  task/1234 is trying to acquire lock:
    (&fs_info->reloc_mutex){+.+.}-{3:3}
  but task already holds lock:
    (&fs_info->delete_unused_bgs_mutex){+.+.}-{3:3}
  which lock already depends on the new lock:
    -> (&fs_info->reloc_mutex) -> (&fs_info->delete_unused_bgs_mutex)

关键信息：

• 哪两把锁
• 获取顺序
• 调用栈

四、lockdep_assert_held

lockdep_assert_held(&my_lock);          // 断言持有锁
lockdep_assert_held_read(&my_rwlock);   // 断言持有读锁
lockdep_assert_not_held(&my_lock);      // 断言未持有

编译为断言 → 运行时检查 → 文档化锁约定。

五、KCSAN

CONFIG_KCSAN=y

Kernel Concurrency Sanitizer → 检测数据竞争：

BUG: KCSAN: data-race in func_a / func_b
  write to 0xffff... of 4 bytes by task 1234
  read to 0xffff... of 4 bytes by task 5678

KCSAN 通过编译时插桩 → 运行时检测并发访问而无同步。

六、KFENCE

CONFIG_KFENCE=y

Kernel Electric-Fence → 轻量级内存越界/UAF 检测：

• 随机选取 slab 分配 → 用 guard page 包围
• 越界访问 → page fault → 报告
• 生产可用（默认每 100ms 采样一次）

七、false positive

lockdep 可能误报：

• 锁类粒度太粗（同一代码位置不同实例语义不同）
• 条件锁获取（实际不会同时持有）

解决：

// 子类标记
mutex_lock_nested(&lock, SINGLE_DEPTH_NESTING);

// 或定义新锁类
static struct lock_class_key my_key;
lockdep_set_class(&lock, &my_key);

八、运行时开销

九、观察

# lockdep 统计
cat /proc/lockdep_stats

# 锁依赖
cat /proc/lockdep
cat /proc/lockdep_chains

# KFENCE 报告
dmesg | grep KFENCE

# 内核配置检查
zcat /proc/config.gz | grep -E 'PROVE_LOCKING|KCSAN|KFENCE'

十、小结

• lockdep = 运行时锁依赖验证 → 检测死锁风险
• 基于锁类和有向图环检测
• KCSAN 检测数据竞争
• KFENCE 检测内存越界（生产可用）
• lockdep_assert_held 文档化锁约定

参考文献

• kernel/locking/lockdep.c
• Documentation/locking/lockdep-design.rst
• mm/kfence/
• Documentation/dev-tools/kcsan.rst

工具

• /proc/lockdep
• /proc/lockdep_stats
• dmesg

上一篇：kdump 与 crash 下一篇：内核日志