2. 多核处理器基础：多核架构、缓存一致性、内存模型与编程模型

各位同学，咱们今天聊聊多核处理器的基础。说实话，搞实时系统的人，如果不懂多核硬件是怎么工作的，那写出来的代码就像在雷区里跳舞——随时可能踩坑。我当年第一次接触多核系统时，就吃过缓存不一致的亏，那叫一个惨。好，咱们从头说起。

2.1 多核架构：同构与异构

多核处理器，说白了就是一块芯片上放了多个CPU核心。但核心之间怎么搭配，这里头有讲究。

2.1.1 同构多核

同构多核，就是所有核心长得一模一样。比如你买了个8核的桌面CPU，8个核心都是同一个型号，跑同样的指令集，频率也一样。这种架构的好处是——调度简单。你想想看，任务扔到哪个核心上都一样，操作系统随便分配就行。

我在项目中遇到过用4核Cortex-A53做实时控制，同构架构确实省心。但要注意，同构不代表性能完全一致——因为共享资源（比如内存总线）的争抢，不同核心的实际吞吐量会有差异。

2.1.2 异构多核

异构多核就复杂多了。典型的例子是ARM的big.LITTLE架构——大核跑高性能任务，小核跑低功耗任务。还有TI的DRA7xx系列，把Cortex-A15（应用处理器）和Cortex-M4（实时处理器）放在同一颗芯片上。

嗯，这里要特别提醒做实时系统的朋友：异构架构下，任务分配是个大难题。我曾经在一个项目中，把实时控制任务分配到了A15核上，结果因为A15的缓存延迟不稳定，导致控制周期抖动超标。后来改到M4核上，问题才解决。

2.2 缓存一致性

缓存一致性，这是多核编程里最容易出鬼的地方。我刚开始做多核开发时，就因为这个bug调了整整一周。

先说说为什么需要缓存一致性。每个核心都有自己的L1缓存，当核心A修改了变量x，核心B读取的x可能是旧值——因为核心B的缓存里还存着老数据。这就出问题了。

常见的解决方案是MESI协议（Modified, Exclusive, Shared, Invalid）。每个缓存行有四种状态，核心之间通过总线嗅探来同步。但这里有个坑——伪共享（False Sharing）。

对于实时系统，缓存一致性带来的延迟抖动是个大问题。我个人习惯在关键实时路径上，使用缓存行对齐和内存屏障来保证确定性。

2.3 内存模型

内存模型，说白了就是硬件对内存访问顺序的保证。不同处理器架构的内存模型不一样，这直接影响到多核编程的正确性。

2.3.1 强内存模型 vs 弱内存模型

你想想看，在ARM上写多核程序，如果不加内存屏障，你看到的变量访问顺序可能和代码写的完全不一样。我有个同事在ARM上移植x86的多核程序，跑起来就崩，查了三天才发现是内存模型差异导致的。

2.4 多核编程模型

讲完了硬件，咱们看看怎么编程。常用的多核编程模型有OpenMP和Pthreads。

2.4.1 OpenMP

OpenMP适合数据并行的场景。你只需要在循环前面加一行#pragma omp parallel for，编译器就帮你把循环分配到多个核心上。简单吧？但要注意，OpenMP的线程管理、任务调度都是黑盒，实时性没法保证。

#include <omp.h>
#include <stdio.h>

int main() {
    #pragma omp parallel for
    for (int i = 0; i < 100; i++) {
        printf("Thread %d processes iteration %d\n", 
               omp_get_thread_num(), i);
    }
    return 0;
}

我在项目中用OpenMP做过图像处理加速，效果不错。但做实时控制时，我从来不用OpenMP——因为它的线程调度延迟不可控。

2.4.2 Pthreads

Pthreads是POSIX线程库，给你更细粒度的控制。你可以设置线程优先级、绑定核心、设置调度策略。对于实时系统，这才是正道。

#include <pthread.h>
#include <sched.h>

void *worker(void *arg) {
    // 设置实时调度策略
    struct sched_param param;
    param.sched_priority = 80;
    pthread_setschedparam(pthread_self(), 
                          SCHED_FIFO, &param);
    
    // 绑定到核心0
    cpu_set_t cpuset;
    CPU_ZERO(&cpuset);
    CPU_SET(0, &cpuset);
    pthread_setaffinity_np(pthread_self(), 
                           sizeof(cpu_set_t), &cpuset);
    
    // 执行实时任务
    while (1) {
        // 你的实时控制代码
    }
    return NULL;
}

2.5 本章知识体系

为了让你更直观地理解本章内容，我画了张图。这张图展示了多核处理器基础的核心逻辑关系。

这张图把本章的核心内容串起来了。你从中心出发，沿着四个方向走，就能理解多核处理器基础的全貌。记住，对于实时系统，确定性是最高优先级——硬件特性决定了你能做到什么程度，编程模型决定了你怎么做到。

公众号:蓝海资料掘金营，微信deep3321