参考资料来源

学堂在线的课程,由东北大学组织开设,授课教师为张伟老师
链接:操作系统

竞争同步

临界区问题

• 1.Mutual Exclusion 互斥
• 2.Progress 前进
• 3.Bounded Waiting 有限等待

标准解决方案

Peterson solution

硬件同步

TestAndSet指令

这个操作保证了返回的结果都是TRUE

Swap介绍

信号量Semaphores

由E.W.Dijkstra先生所提出
信号量包括两个操作:

• p():wait()操作
• v():signal()操作
  

Critical Section of $n$ Processes

信号量的实现Semaphore Implementation

死锁和饥饿

死锁将会在下一章当中进行详细的介绍

信号量有两种类型:

• Counting semaphore
• Binary semaphore

经典同步问题

消费者进程和生产者进程

有限缓冲问题

生产者进程的结构

消费者进程的结构

读者写者问题

互斥操作
读者优先问题
写者优先问题

哲学家进餐问题

定义:除了吃饭就是思考,除了思考就是吃饭

问题:可能会产生饥饿