同步互斥

操作系统

进程并发

共享资源、加速、模块化
fork()创建新进程+进程标识分配

同步机制

原子操作：一次不存在中断或失败的操作：Test and Set，exchange交换内存值
并发执行

同步问题

忙等待
锁（lock）：二进制变量，实现控制临界区访问
lock.Acquire()获得
lock.Release()释放唤醒

进程交互：
独立，共享协作，通信协作

• 互斥
• 死锁
• 饥饿

临界区和禁用硬件中断同步

临界区：空闲则入，忙则等待，有限等待，让权等待
进入区：
退出区：
剩余区：

实现：
- 禁用中断：没有上下文切换，没有并发，进程无法被停止，临界区可能很长，需要小心使用
- 软件方法：共享变量修改，Peterson算法，Dekkers算法
- 抽象方法：性能，并发级别