周志遠教授作業系統_chap０6＿Operating System Chap6 Process Synchronization ＿.pdf
1. Background
并发访问共享数据，执行顺序不同→结果不同→数据不一致
产生需求：维持数据一致性要求机制，以确保协作进程顺序执行
Pre 导致的问题
race condition:竞争条件
- 当几个进程并发访问共享数据时，最后的值取决于完成最晚的进程
- 为了避免产生竞争条件，并发进程必须同步
- 又称作临界区问题
2. 临界区 （Critical Section）
临界区问题
目的：一个进程协作的协议
问题描述：
- N个进程使用共享数据
- 每个进程有用于访问共享数据的代码段，称为临界区
- 确保一个进程在临界区内时，别的进程不允许进入→互斥
结构
