
本章把散落在前面各章的同步原语收拢成一个统一的并发模型。前面的章节分别讲过 seq 序号(第 3 章)、注册/注销与失效流程(第 4 章)、避免死锁的实践技巧(第 5.4.3 节),本章从"锁语义、加锁顺序、死锁规避"这一横切视角,回答一个总问题:MMU Notifier 子系统为什么需要这么多种同步原语,它们各自守护什么、如何协作、以什么顺序获取。12.1 并发挑战:三组相互冲突的约束MMU Notifier 处在 CPU 内存管理与设备侧二级 MMU(GPU、IOMMU-SVM、RDMA HCA 等)之间。它面对的并发约束不是单一的,而是三组彼此冲突的需求:约束含义直接后果回调可睡眠-invalidate_range_start/