信号量实现进程互斥、同步(记录)

信号量机制实现进程互斥
分析并发进程的关键活动，划定临界区（如：对临界资源打印机的访问就应放在临界区）
设置互斥信号量mutex，初值为1
在进入区P(mutex)——申请资源（临界区之前对信息号执行P操作）
在退出区V(mutex)——释放资源（临界区之后对信息号执行V操作）
理解：信号量mutex 表示“进入临界区的名额”
注意：
对不同的临界资源需要设置不同的互斥信号量。
P、V操作必须成对出现。缺少P(mutex) 就不能保证临界资源的互斥访问。缺少V(mutex) 会导致资源永不被释放，等待进程永不被唤醒。

用信号量实现进程同步：
分析什么地方需要实现“同步关系”，即必须保证“一前一后”执行的两个操作（或两句代码）
设置同步信号量S, 初始为0
在“前操作”之后执行V(S)
在“后操作”之前执行P(S)
技巧口诀：前V后P

20210507220207460.png

信号量机制实现前驱关系
进程P1 中有句代码S1，P2 中有句代码S2 ，P3中有句代码S3 …… P6 中有句代码S6。
其实每一对前驱关系都是一个进程同步问题（需要保证一前一后的操作）因此，要为每一对前驱关系各设置一个同步信号量,在“前操作”之后对相应的同步信号量执行V 操作