若有一个文件F，供进程共享。现把进程分成A、B两组，规定同组的进程可以同时读文件F，但当有A组（或B组）的进程在读文件F时不允许B组（或A组）的进程读文件F。现定义两个计数器C1和C2分别记录A组和B组中读文件F的进程数。当用PV操作进行管理时需要三个信号量S1、S2和SAB才能保证正确的并发执行。程序结构如下：<br /> <img src="https://nimg.ppkao.com/2019-05/wangjing/2019051211321216996.jpg?sign=312d790621dabe99871a298cf6f5bcbf&t=62d59dab" /><br /> <img src="https://nimg.ppkao.com/2019-05/wangjing/2019051211322161658.jpg?sign=dbaf1c14f74b959c01b393f54f1f82e4&t=62d59dab" /> 说明信号量S1，S2，SAB的作用。