操作系统复习-进程同步

进程同步

为什么需要进程间同步

生产者-消费者问题

• 生产者往缓冲区 +1
• 消费者往缓冲区 -1
• 因为是并发，所以有可能出现下面的情况：
  

哲学家就餐

• 这里面的筷子就是临界资源
• 根源问题是:彼此相互之间没有通信
• “如果生产者通知消费者我已经完成一件生产
• “哲学家向旁边哲学家说我要进餐了

临界资源

临界资源指的是一些虽作为共享资源却又无法同时被多个线程共同访问的共享资源。当有进程在使用临界资源时，其他进程必须依据操作系统的同步机制等待占用进程释放该共享资源才可重新竞争使用共享资源。

进程间同步的原则

• 空闲让进:资源无占用，允许使用
• 忙则等待:资源有占用，请求进程等待
• 有限等待:保证有限等待时间能够使用资源
• 让权等待:等待时，进程需要让出CPU

进程同步的方法

• 消息队列
• 共享存储
• 信号量

线程同步

线程同步的方法

• 互斥量
• 读写锁
• 自旋锁
• 条件变量