同步互斥核心概念铺垫#

同步与互斥是进程并发执行的核心保障，其中互斥指多个并发进程无法同时进入临界区（访问共享资源的代码段），同步指多个进程的执行顺序需要按照业务逻辑进行配合，避免出现竞争错误。

同步互斥实现手段复盘#

1. 软件实现手段：以皮特森算法为经典代表，通过共享内存变量实现临界区互斥，核心变量包括flag[N]（标记每个进程是否请求进入临界区）和turn（标记当前允许进入临界区的进程编号），严格满足临界区调度的三大准则：互斥访问、空闲让进、有限等待，是408简答题必考的算法默写题型。
2. 硬件实现手段：
   • 中断屏蔽：通过关闭CPU中断禁止进程切换，仅适用于单CPU内核级同步，缺点是会延长中断响应时间，仅适合短临界区场景
   • 原子硬件指令：包括Test-and-Set（TS指令）、Swap（交换指令），通过硬件级的原子操作完成临界区的互斥访问，无需依赖软件共享变量，效率更高，是现代操作系统内核同步的主流实现方式

经典同步问题考点拆解#

1. 生产者-消费者问题：核心场景是共享缓冲区的并发访问，需要同时解决互斥访问缓冲区与同步生产/消费的逻辑。考研考点重点包括信号量实现中同步信号量与互斥信号量的使用顺序（必须先申请同步信号量再申请互斥信号量，否则可能触发死锁）、多缓冲区场景下的缓冲区计数管理。
2. 读者-写者问题：区分读者优先、写者优先、读写公平三种模型，核心逻辑为：读者之间无需互斥，读者与写者、写者之间需要互斥。考研常考通过信号量实现读者计数变量的保护，以及不同优先级模型的调度逻辑差异。
3. 哲学家进餐问题：经典死锁场景，五个哲学家轮流思考与进餐，需拿起左右两支筷子才能完成进餐。核心死因是循环等待，考研常考的解决方法包括：限制最多4个哲学家同时进餐、规定哲学家按固定顺序拿取筷子、使用AND型信号量一次性申请两支所需资源。