操作系统第四章复习

信号量机制

知识

1进程同步两种形式的制约关系：间接相互制约关系（互斥关系，临界资源），直接相互制约关系（相互合作）

2同步机制4条准则：空闲让进，忙则等待，有限等待（有限时间，防“死等”），让权等待（立即释放，防“忙等”）

3软件同步机制（临界资源的解决）：忙则等待，空闲让进，有限等待；并未满足让权等待

4硬件同步机制：关中断（效率将会明显降低），利用Test-and-Set指令实现互斥(原子操作)，利用swap指令实现进程互斥；（并未满足让权等待）

5信号量机制（互斥与同步）：整数信号量（申请资源S-1，释放资源S+1，原子操作，缺点：进程忙等），记录型信号量（去除忙等的信号量，满足了让权等待），AND型信号量（多个资源数量为1），信号量集

6信号量的应用：利用信号量实现进程互斥（不同进程对同一信号量进行P,V操作），利用信号量实现进程同步（初始S=0，只有C1执行完成后C2才可以执行，同步型信号量的wait(S)和signal(S)操作位于两个不同的进程）

7管程机制：管内可能存在不止1个进程</