在单核时代，“最坏情况执行时间（WCET）”基本由代码自身决定：指令数、cache 命中率、中断频率，都可以静态或半静态地建模。而到了多核 SoC 上，即便你的任务独占一个核，它的延迟仍然可能被隔壁核的活动拖垮——一次 cache 逐出、一次总线争用、一阵不相关的中断风暴，都足以让精心测算的 WCET 失效。
工业界的实测数据很能说明问题：在未做隔离的通用多核平台上，邻居核的访存密集型负载可以让实时任务的尾延迟（p99）膨胀数倍甚至一个数量级；而做了系统性的亲和性与分区优化之后，这个数字可以压回到个位数百分比。实时系统设计的核心命题因此从“跑得快”变成了“可预期”。
本文围绕两个关键词展开：
- 亲和性（affinity）：把必须发生的事情（任务、中断、内核活动）固定到指定核上；
- 分区（partitioning）：把不该来的扰动挡在隔离边界之外。
一、扰动从哪里来：四条通道
多核平台上，核间扰动大致来自四条通道，逐一审视有助于对症下药。
1.1 共享存储层次
LLC（末级缓存）、内存控制器、片上总线（如 AXI/NIC 总线矩阵）都是多核共享资源。邻居核的访存密集型负载会：
- 挤占内存带宽，抬高你的访存延迟；
- 把你的热数据从 LLC 中“冲刷”出去（cache pollution），导致后续大量 cache miss；
- 在总线仲裁处引入排队延迟。
这类扰动的特点是隐蔽且非线性：轻负载时几乎无感，邻居核负载一过某个阈值，你的延迟曲线就突然“断崖”。
1.2 中断抖动
未加约束的外设中断可能落在任何一个核上。一个运行硬实时任务的核如果频繁被网卡、磁盘中断打断，其最坏情况延迟就不再由任务自身决定，而由“邻居网卡最忙的时刻”决定。更糟的是，中断处理还会连带污染 cache（中断处理程序自己的栈和数据结构会逐出你的工作集）。
1.3 核间通信开销
IPI（处理器间中断）、TLB shootdown、自旋锁的缓存行弹跳（cache line bouncing），都会让“安静”的核突然忙碌起来。特别是 TLB shootdown：只要系统中有任何共享内存页被 unmap，所有曾经访问过该页的核都会收到 IPI，无一幸免。
1.4 内核活动
调度器 tick、RCU 回调、workqueue、内存回收（kswapd）等内核杂务，随时可能“借宿”到你的实时核上。这些活动的触发时机往往与你的任务逻辑毫无关系，却是延迟毛刺的常客。
确定性的思路随之清晰：把不该来的挡在外面（隔离），把必须来的固定到该去的地方（亲和）。下面分别展开。
二、中断亲和性：让中断“各回各家”
中断亲和性的目标是把中断处理收敛到指定的核上，让计算核保持“静默”。
2.1 housekeeping core 模式
最经典的做法是housekeeping core（管家核）模式：选择一个或几个“管家核”承担全部非关键工作——外设中断、内核线程、日志、管理面；其余核被隔离出来专供实时任务。一个典型的 8 核系统划分：
| 核 | 角色 | 承载内容 |
|---|---|---|
| hart 0 | 管家核 | 外设中断、内核线程、RCU、日志、管理面 |
| hart 1 | 管家核（可选） | 高吞吐外设（网卡、存储）中断与软中断 |
| hart 2–7 | 隔离核 | 硬实时任务，无 tick、无外设中断 |
2.2 Linux 上的落地手段
第一步：隔离计算核。在内核启动参数中：
# 方式一：isolcpus（传统） isolcpus=2-7 nohz_full=2-7 rcu_nocbs=2-7 # 方式二（更现代，推荐）：cpuset + cgroup v2 systemctl set-property --runtime myrt.slice \ AllowedCPUs=2-7 cpuset.mems=0nohz_full让隔离核的调度器 tick 停摆；rcu_nocbs把 RCU 回调卸载到管家核。
第二步：钉住中断。查看并设置每个中断的亲和性：
# 查看当前中断分布 cat /proc/interrupts # 把网卡中断钉到 hart 1 echo 2 > /proc/irq/24/smp_affinity # 位掩码，bit1 = hart 1 # 关键：停掉 irqbalance，否则它会“好心”把中断搬回去 systemctl stop irqbalance第三步：绑核运行实时任务。代码层面：
#define RT_CPU 2 cpu_set_t set; CPU_ZERO(&set); CPU_SET(RT_CPU, &set); /* 绑核 + 固定优先级实时调度 */ sched_setaffinity(0, sizeof(set), &set); struct sched_param sp = { .sched_priority = 80 }; sched_setscheduler(0, SCHED_FIFO, &sp); /* 锁定内存，避免缺页与迁移带来的抖动 */ mlockall(MCL_CURRENT | MCL_FUTURE); /* 预热并锁定栈，防止缺页 */ unsigned char dummy[8 * 1024 * 1024]; memset(dummy, 0, sizeof(dummy));2.3 RISC-V 特有的一环：从 PLIC 到 AIA
对 RISC-V 而言，中断亲和性有一个平台特有的演进脉络值得展开。
传统 PLIC（Platform-Level Interrupt Controller）是“集中路由”模型：所有外设的连线中断（wired interrupt）汇聚到 PLIC，再由它根据各 hart context 的使能与优先级配置，分发到某个 hart 的 claim/complete 寄存器。在这种模型下：
- 中断亲和性由 PLIC 的 per-context enable 位图和 threshold 寄存器决定，本质上是在一个共享的“分拣中心”里做路由；
- 多个 hart 同时 claim 时存在内部仲裁，虽然开销不大，但集中式控制器本身就是一个共享点。
新一代 AIA（Advanced Interrupt Architecture）引入 IMSIC（消息信号中断控制器），把模型改为“直达收件人”：
- 每个 hart 拥有独立的内存映射邮箱（message signaled interrupt target），MSI 直接写入目标 hart 的信箱；
- 中断路由由写 MSI 的那一方决定（通常是设备或 IOMMU），亲和性配置变成了“往哪个地址写”，天然 per-hart；
- AIA 同时带来了新的局部中断（如 SGEIP 软件生成事件）和改进的 xiselect/xtopei 间接寄存器访问机制，减少了 CSR 访问开销。
高性能 RISC-V 核（如 玄铁 C930）已经在产品线中跟进这类中断架构演进，配合 per-hart 的中断处理路径，为“把噪声关进管家核”提供了从规范到实现的完整硬件支撑。
2.4 两类“隐形中断”的排查
- IPI 泛滥：跨核唤醒、TLB shootdown 都靠 IPI。任务绑核后应尽量让数据结构 per-CPU 化，减少跨核共享页的 unmap；用
/proc/interrupts中的 IPI 行可以观测其频率； - 残留 tick 与内核线程：
ps -eLo psr,comm | grep -E '^\s*[2-7]'可以找出仍在隔离核上运行的内核线程，逐个用taskset -pc迁走。
三、资源分区：不只是 CPU 的隔离
绑核解决了“谁在哪个核上跑”，但共享资源仍会被邻居污染，所以还需要对资源本身分区。
3.1 Cache 分区：页着色
工业界常用页着色（page coloring）：利用物理地址低位与 cache 组相联的映射关系，把不同物理页区域划给不同核，让实时任务的工作集天然避开邻居的污染。
以一个 16 路、64 字节行、4MB 的 LLC 为例，cache 集数量 = 4MB / (64B × 16) = 4096 组，需要 12 位组索引，其中低位 6 位是块内偏移，则物理地址的 bit[17:6] 是组索引。可以按若干高位（如 bit[19:18]）划分出 4 种“颜色”，每种颜色对应 LLC 的一个互不重叠的 1/4 分区。实时任务只分配“颜色 0”的页，邻居核禁止使用颜色 0——即使邻居疯狂访存，也碰不到实时任务的分区。
RISC-V 的CMO（Cache Management Operations，Zicbom/Zicbop/Zicboz 扩展）在这里扮演重要角色：clean/invalidate/prefetch指令为分区维护和上下文切换时的缓存卫生提供了标准化的指令级接口，不再依赖平台私有的fence变体或 SBI 调用。
3.2 内存带宽与 QoS
- 软件限流：对非实时核上的带宽饥饿型任务施加限速（如 cgroup 的内存带宽控制器、或应用层的自律节流），保护实时核的访存延迟；
- 硬件 QoS：ARM 有 MPAM（Memory Partitioning and Monitoring），Intel 有 CAT/MBM。RISC-V 社区已有相关提案讨论，但标准化仍在推进，现阶段更多依赖 SoC 厂商的私有机制；
- NUMA/内存通道绑定：多通道内存系统中，让实时任务的物理页落在独立通道上，避开与邻居的控制器级争用。
3.3 DMA 与设备直通
高吞吐外设的 DMA 流量会直接污染内存总线和 LLC。IOMMU 风格的隔离在 RISC-V 上由IOMMU 规范承接：
- 通过 IOMMU 把设备的 DMA 地址范围限制在专属的“DMA 池”，与实时内存区域物理隔离；
- 对延迟敏感的实时设备（如工业以太网 MAC），可进一步用 per-hart 直通（设备 MSI 直接投递到隔离核的 IMSIC 信箱），实现“数据面独占”；
- 对吞吐型设备（NVMe、普通网卡），则全部圈进管家核的 DMA 池。
3.4 组合拳
一个务实的完整方案是：
管家核（hart 0–1） 隔离核（hart 2–7） ├─ 全部外设中断（PLIC/AIA 钉核） ├─ SCHED_FIFO + 绑核任务 ├─ RCU / workqueue / 日志 ├─ nohz_full（无 tick） ├─ 吞吐型 DMA 池 ├─ cache 颜色 0 专属物理页 └─ 带宽限流（≤30% 内存带宽） └─ per-CPU 数据结构，无 IPI这不是任何单一机制能解决的问题，而是一整套纵深防御：每堵上一条扰动通道，尾延迟的“长尾”就短一截。
四、验证：确定性要靠测出来
分区做得好不好，最终要靠尾延迟说话。
4.1 测试方法
基线压测：用cyclictest长时间（数小时起步）测量：
cyclictest -m -p 80 -t 6 -a 2-7 -h 100 -D 12h \ | tee cyclictest-baseline.log噪声注入：在管家核上（以及刻意地在邻居隔离核上）跑“噪声负载”，模拟最坏情况：
# 访存密集噪声：连续读写大数组 stress-ng --vm 4 --vm-bytes 1G --vm-keep -t 12h # 中断密集噪声：高频网络收发 iperf3 -s # 对端打满流量对比分析：观察隔离前后最大延迟、p99/p999 延迟与直方图的形状变化。
4.2 一份典型的实测对照（示例）
| 场景 | 平均延迟 | 最大延迟 | p99 延迟 |
|---|---|---|---|
| 未隔离，无噪声 | 12 µs | 480 µs | 38 µs |
| 未隔离 + 邻核访存噪声 | 15 µs | 5,900 µs | 1,700 µs |
| 绑核 + 中断钉核 + nohz | 11 µs | 95 µs | 22 µs |
| 全套分区 + 噪声 | 11 µs | 104 µs | 24 µs |
（示例数据用于说明量级：未隔离时长尾随噪声放大两个数量级；隔离后即使叠加噪声，最大延迟增幅也收敛在个位数百分比。）
4.3 排查残留扰动
如果长尾仍然存在，按通道逐一排查：
ftrace抓irq:irq_handler_entry与sched:sched_switch，确认隔离核上是否还有中断/抢占；perf stat -C 2-7 -e cache-misses观察隔离核的 cache 行为是否被邻居影响；- 检查
/proc/interrupts的 IPI 行是否持续增长，追查 TLB shootdown 或跨核唤醒来源； dmesg | grep -i cma/ 设备树确认 DMA 是否走了预留区域。
一个经验法则：如果加上噪声负载后，最大延迟的增幅能控制在个位数百分比，说明分区是有效的；如果长尾翻倍，那一定有一条扰动通道没有被堵上。
五、RISC-V 的机会：规范层面的 per-hart 友好
回顾全文，多核实时系统的确定性，本质上是一场对“共享”的持续讨伐：共享的缓存要分区，共享的中断控制器要按核拆分路由，共享的内核服务要圈进管家核。
RISC-V 在这里展现了后发架构的独特优势：
- AIA/IMSIC：中断路径从规范层面就是 per-hart 的“直达信箱”模型，而非集中分拣；
- CMO 扩展：缓存维护标准化，为软件侧分区与缓存卫生提供确定性手段；
- IOMMU：设备流量的隔离与重映射有了规范依据；
- 模块化扩展（Zi* 系列小扩展）：实时关键能力（如 Ziccif、Zicntr 等对缓存与计数的约束）可以按需组合进核的设计。
