《C语言程序设计》课件-第16章：同步与互斥.pptxVIP

《C语言程序设计》课件-第16章：同步与互斥

汇报人：XXX

XX年XX月XX日

目录

CONTENTS

01

单击添加章节标题

02

单击添加章节标题

03

单击添加章节标题

04

单击添加章节标题

05

单击添加章节标题

PART.01

操作系统并发执行背景引入

并发执行机制

操作系统通过多线程调度实现任务并发执行，共享地址空间的线程间可直接读写内存，极大提升了系统的执行效率与资源利用率。

竞态条件痛点

当多个执行单元同时读写同一块共享内存时，由于调度不可预测，会导致数据覆盖与不一致，这是引入同步机制的根本原因。

临界区保护原则

为防止数据错乱，必须划定代码中的临界区，确保同一时刻只有一个线程能进入临界区操作共享资源，保障操作的原子性。

同步正确性标准

评判并发方案是否正确，需严格满足互斥、有界等待和前进性三大核心性质，确保系统在并发状态下依然稳定可靠。

同步与互斥经典问题剖析

哲学家就餐问题

作为资源竞争的经典沙盘，完美映射了多线程获取多个共享资源时的死锁困境，要求学生掌握避免死锁的资源分配策略。

生产消费模型

利用信号量实现生产者与消费者的配对协同，天然适合缓冲区通信场景，将初值设为1的信号量可退化为二值互斥锁。

互斥锁语义机制

遵循加锁、操作、解锁流程，若锁被持有则线程阻塞睡眠并让出CPU，适合临界区执行时间较长的场景，避免CPU空转浪费。

条件变量唤醒

允许线程在条件不