当前位置：首页 > news >正文

【计算机基础】-12-为什么不能用全局变量替代mutex，进行临界资源的保护？请举例说明，哪种情况勉强可以？

news 2026/5/12 18:04:19

这是一个非常经典且重要的并发编程问题。通常情况下，不能用普通全局变量替代 mutex 来保护临界资源，但在极其受限的特定场景下（如单核、无中断、单线程调度器等），可能“勉强可行”。下面我们通过原理分析、反例说明和例外情况来全面解答。

一、为什么通常不能用全局变量替代 mutex？

核心问题：缺乏原子性 + 缺乏内存屏障 + 无法阻塞等待

❌ 错误示例：用全局变量模拟锁

volatile int my_lock = 0; // 全局“锁” void critical_section() { while (my_lock == 1); // 忙等待 //此处可能被线程切换, 导致多个线程同时获得my_lock == 0 my_lock = 1; // 获取“锁”， // 访问临界资源（如全局缓冲区） shared_data++; my_lock = 0; // 释放“锁” }

🚫 问题1：非原子操作导致竞态条件（Race Condition）

my_lock == 1和my_lock = 1是两个独立操作。在多核或多线程环境下，可能发生：

时间	线程A	线程B
t1	读 my_lock → 0
t2	读 my_lock → 0
t3	写 my_lock = 1
t4	写 my_lock = 1

→两个线程同时进入临界区！锁完全失效。

✅ 正确做法：使用原子交换（如 test-and-set、compare-and-swap），而普通赋值不是原子的。

🚫 问题2：编译器/处理器重排序破坏逻辑

即使加了volatile，也只能防止编译器优化，不能阻止 CPU 乱序执行，也不能保证内存可见性（尤其在多核系统中）。

例如：

my_lock = 1; shared_data = 42; // 可能被 CPU 重排到 my_lock=1 之前！

其他 CPU 可能看到my_lock=1但shared_data还是旧值。

✅ mutex 内部使用内存屏障（memory barrier）确保操作顺序和可见性。

🚫 问题3：忙等待浪费 CPU，且无法睡眠

全局变量方案只能“忙等待”（busy-wait），持续占用 CPU。
真正的 mutex 在锁被占用时会让线程睡眠，由操作系统调度其他任务，高效节能。

🚫 问题4：不可重入、无所有权

如果同一个线程两次获取“锁”，会死锁（因为my_lock已为 1）。
真正的 mutex 支持递归锁（如 POSIX 的PTHREAD_MUTEX_RECURSIVE）。
mutex 有所有权概念：只有加锁的线程才能解锁。

二、哪种情况“勉强可以”？（⚠️ 极其有限）

只有在满足所有以下条件时，用全局变量才“勉强可用”（但仍不推荐）：

条件	说明
✅单核 CPU	无真正并行，只有并发（靠中断或任务切换）
✅ 禁用中断	在临界区关闭中断，防止上下文切换
✅无操作系统 or 协作式调度	任务不会被抢占，只在 yield 时切换
✅仅用于简单标志位	不涉及复杂状态机

✅ 示例：裸机单片机（如 LPC1768）中的中断 vs 主循环

volatile int flag = 0; // 中断服务程序（ISR） void UART_IRQHandler(void) { if (uart_rx_complete()) { flag = 1; // 设置标志 } } // 主循环 int main() { while (1) { if (flag) { flag = 0; // 清标志 process_data(); // 处理数据（临界区极小） } } }

👉这里可行的原因：

单核，无多线程；
flag是单字节写入（ARM Cortex-M3 上对 aligned word 是原子的）；
主循环读写flag时，若被中断打断，最多导致一次额外检查，不会破坏数据一致性；
临界区只是“清标志”，不涉及复杂共享结构。

🔔 注意：这不是互斥锁，而是事件标志。如果临界区是修改链表、缓冲区等，仍需关中断！

✅ 更安全的裸机做法：关中断

void safe_update_shared_var(void) { __disable_irq(); // 关中断（Cortex-M） shared_var++; __enable_irq(); // 开中断 }

这利用了硬件原子性（关中断期间不会被抢占），比全局变量更可靠。

三、总结

场景	能否用全局变量替代 mutex？	建议
多线程 / 多核 / RTOS	❌ 绝对不行	必须用 mutex / semaphore
裸机单核 + 中断 vs 主循环（简单标志）	⚠️ 勉强可以（但非互斥）	用 volatile + 简单标志，或关中断
裸机单核 + 修改复杂共享数据	❌ 不行	必须关中断保护
任何需要阻塞、可重入、跨进程的场景	❌ 不行	必须用 OS 提供的同步原语