2、多核处理器基础：SMP与AMP架构对比、多核缓存一致性、内存屏障与原子操作
好，咱们进入第二章。说实话，多核调度这个话题，很多人一上来就盯着任务怎么分配、优先级怎么设。但我个人习惯，先搞清楚底层的硬件架构。你连CPU之间怎么协作、数据怎么同步都不清楚，调度策略写得再花哨，跑起来也是各种诡异问题。
这一章，咱们就聊聊多核处理器的基础。我会结合自己在VxWorks项目中的一些踩坑经历，帮你把SMP、AMP、缓存一致性、内存屏障这些概念彻底搞明白。
2.1 SMP与AMP：两种多核架构的抉择
先问个问题：你手里的多核芯片，想让所有核心跑同一个操作系统，还是各跑各的？
这两种选择，对应着两种主流架构：SMP（对称多处理）和AMP（非对称多处理）。
2.1.1 SMP架构
SMP，说白了就是所有CPU核心地位平等。它们共享同一份内存、同一个操作系统实例。VxWorks的SMP配置下，一个任务可以在任何核心上运行，由内核统一调度。
优点很明显：
- 负载均衡好：任务可以动态迁移，哪个核心闲就去哪。
- 编程简单：开发者不用操心任务绑核，系统自动搞定。
- 资源利用率高：共享内存，数据交换方便。
缺点也突出：
- 锁竞争激烈：所有核心抢同一把锁，性能可能不升反降。
- 缓存抖动：任务在不同核心间迁移，缓存命中率下降。
- 确定性差：实时性要求高的任务，可能被其他核心的任务干扰。
我的经验： 我在一个雷达信号处理项目中，最初用了纯SMP。结果发现，一个高优先级的中断服务程序，竟然被另一个核心上的低优先级任务拖慢了。原因就是共享数据结构的自旋锁竞争。后来我不得不把关键任务绑到特定核心上，才解决了问题。
2.1.2 AMP架构
AMP就完全不一样了。每个核心可以运行独立的操作系统，或者同一个操作系统的独立实例。核心之间通过共享内存或硬件通信机制（比如Mailbox）交换数据。
优点：
- 隔离性好：一个核心崩溃，不影响其他核心。
- 确定性高：关键任务独占核心，不受干扰。
- 适合异构系统：比如一个核心跑VxWorks做实时控制，另一个跑Linux做人机交互。
缺点：
- 负载不均衡：核心之间任务不能动态迁移。
- 编程复杂：核心间通信、同步都得开发者自己实现。
- 资源浪费：每个核心需要独立的内存和资源。
| 特性 | SMP | AMP |
|---|---|---|
| 操作系统实例 | 单个 | 多个（可相同或不同） |
| 内存共享 | 完全共享 | 部分共享或独立 |
| 任务调度 | 全局统一调度 | 每个核心独立调度 |
| 实时性 | 受锁竞争影响 | 高，可预测 |
| 典型应用 | 通用计算、服务器 | 嵌入式实时控制、通信基站 |
我的建议： 如果你的应用对实时性要求极高，且任务可以明确分区，AMP是更好的选择。如果追求开发效率和负载均衡，SMP更合适。VxWorks 7支持SMP和AMP混合模式，你可以灵活配置。
2.2 多核缓存一致性：看不见的陷阱
嗯，这里要重点说一下。很多开发者觉得缓存是硬件的事，跟我写软件有什么关系？关系大了去了！
每个CPU核心都有自己的L1/L2缓存。在SMP架构下，核心A修改了变量x，但核心B的缓存里还保留着x的旧值。这就产生了缓存不一致的问题。
硬件通过缓存一致性协议来解决，最常见的是MESI协议。它给每个缓存行打了四个标签：
- M（Modified）：已修改，数据只在本核心缓存中，与主存不一致。
- E（Exclusive）：独占，数据只在本核心缓存中，但与主存一致。
- S（Shared）：共享，数据在多个核心缓存中，且与主存一致。
- I（Invalid）：无效，数据已过时。
当一个核心要写一个共享变量时，协议会通知其他核心，把对应的缓存行标记为I（无效）。下次其他核心读这个变量时，必须从主存重新加载。
我曾经踩过的坑： 在一个多核数据采集系统中，两个核心共享一个环形缓冲区。核心A写数据，核心B读数据。我用了volatile关键字，以为没问题。结果跑了一段时间，核心B读到的数据总是乱序的。查了两天才发现，是编译器优化和缓存一致性的双重问题。volatile只告诉编译器不要优化，但管不了硬件缓存。最后我加了内存屏障才解决。
2.3 内存屏障：给乱序执行上把锁
现代处理器为了提升性能，会乱序执行指令。编译器也可能为了优化而重排代码。这在单核下没问题，但在多核环境下，后果可能是灾难性的。
内存屏障就是用来阻止这种乱序的指令。它告诉处理器和编译器：在这条指令之前的所有内存操作，必须在这条指令之后的操作之前完成。
VxWorks提供了几种内存屏障宏：
/* 读内存屏障：保证屏障前的读操作先完成 */
READ_MEMORY_BARRIER
/* 写内存屏障：保证屏障前的写操作先完成 */
WRITE_MEMORY_BARRIER
/* 全内存屏障：保证屏障前的读写操作都先完成 */
FULL_MEMORY_BARRIER举个例子，你写一个自旋锁：
void spin_lock(volatile int *lock) {
while (1) {
/* 尝试获取锁 */
if (atomic_cmpxchg(lock, 0, 1) == 0) {
/* 获取成功，插入内存屏障，保证后续操作在锁获取之后执行 */
FULL_MEMORY_BARRIER;
return;
}
}
}
void spin_unlock(volatile int *lock) {
/* 释放锁前，插入内存屏障，保证之前的操作都已完成 */
FULL_MEMORY_BARRIER;
*lock = 0;
}关键点： 内存屏障不是银弹。滥用它会严重降低性能。你只需要在共享数据访问的边界处使用它。比如锁的获取和释放、生产者-消费者模型的标志位更新等。
2.4 原子操作：无锁编程的基石
原子操作，说白了就是不可中断的操作。在多核环境下，一个简单的i++都可能出问题。因为i++在底层是读-改-写三步，可能被其他核心打断。
VxWorks提供了丰富的原子操作API：
/* 原子加 */
atomic_add(&counter, 1);
/* 原子比较并交换 */
old = atomic_cmpxchg(&ptr, expected, new_value);
/* 原子设置位 */
atomic_set_bit(&flags, BIT_POS);
/* 原子清除位 */
atomic_clear_bit(&flags, BIT_POS);原子操作比锁更轻量级，适合实现简单的计数器、标志位等。但要注意，原子操作只能保证单个变量的原子性。如果你需要保护多个变量的操作，还是得用锁。
我的习惯： 在VxWorks中，我倾向于用原子操作实现引用计数、任务状态标志等。对于复杂的临界区，我才会用信号量或互斥锁。记住，无锁编程不是不用同步，而是用更轻量的同步方式。
小结
这一章的内容，说白了就是让你明白：多核编程，硬件和软件是一体的。你不了解SMP和AMP的区别，就选不对架构；你不懂缓存一致性，就写不出正确的同步代码；你不会用内存屏障和原子操作，就做不好无锁编程。
下一章，咱们会深入VxWorks的任务调度机制，看看这些基础概念如何落地到实际代码中。到时候，我会拿一个真实项目中的调度优化案例来拆解。