Dekker算法解析：纯软件实现的线程互斥经典方案

1. 深入理解Dekker算法：纯软件线程互斥的经典实现

在并发编程的世界里，有两个永恒的核心问题：如何让多个执行流高效协作，以及如何防止它们在共享资源上"打架"。今天我们要讨论的Dekker算法，就是解决后一问题的经典方案。作为一名经历过多次并发bug折磨的开发者，我始终认为理解这些基础算法比直接使用现成的锁更有价值——它们就像编程界的"内功心法"，能让你真正理解并发控制的本质。

Dekker算法诞生于1965年，由荷兰数学家Theodorus Dekker提出。在那个硬件原子操作还不普及的年代，它展示了如何仅用普通变量和程序逻辑实现两个线程间的互斥访问。虽然现代编程中我们更多使用标准库提供的锁机制，但理解Dekker算法的工作原理，能让你在遇到复杂的并发问题时拥有更深的洞察力。接下来，我将从实现原理、代码细节到现代适用性，带你全面掌握这个经典算法。

2. 互斥问题的本质与Dekker的解决思路

2.1 为什么需要互斥？

想象你和同事共享一个Excel文件。如果两人同时编辑保存，后保存的版本就会覆盖前者，导致数据丢失。这就是典型的竞态条件(Race Condition)问题。在程序中，当多个线程访问共享数据且至少有一个执行写操作时，如果没有正确的同步机制，就会产生不可预测的结果。

传统解决方案包括：

• 硬件指令：如test-and-set、compare-and-swap等原子操作
• 操作系统原语：如互斥锁(mutex)、信号量(semaphore)
• 软件算法：如Dekker、Peterson算法

关键认知：所有互斥方案都必须满足三个基本条件：

1. 互斥性(Mutual Exclusion)：任何时候最多一个线程在临界区
2. 进展性(Progress)：如果没有线程在临界区，有线程想进入时不能无限延迟
3. 有限等待(Bounded Waiting)：每个线程的等待时间必须有上限

2.2 Dekker算法的核心设计

Dekker算法巧妙地用三个变量实现了上述要求：

• flag[2]：布尔数组，表示各线程的进入意愿
• turn：指示当前该谁进入的轮转变量

其精妙之处在于"检查-让步"的循环机制：

1. 先声明自己的进入意愿(flag[self]=true)
2. 检查对方是否也想进入
   3