案例分析题

若有一个文件F，供进程共享。现把进程分成A、B两组，规定同组的进程可以同时读文件F，但当有A组（或B组）的进程在读文件F时不允许B组（或A组）的进程读文件F。现定义两个计数器C1和C2分别记录A组和B组中读文件F的进程数。当用PV操作进行管理时需要三个信号量S1、S2和SAB才能保证正确的并发执行。程序结构如下：

说明信号量S1，S2，SAB的作用。