rc:=rc-1; if rc=0 thenV(S); V(Sr) end;
PROCESS Writer j (j=1,2,…) begin coend; end; 请回答：
(1) 信号量 Sr的作用；
(2) 程序中什么语句用于读写互斥，写写互斥；
(3) 若规定仅允许5个进程同时读怎样修改程序？ 13. (1) Sr用于读者计数rc的互斥信号量。
P(S); Write file; V(S)
end;
(2) if rc=1 then P(S)中的P(S)用于读写互斥；写者进程中的P(S)用于写写互斥和读写互斥。 (3) 在程序中增加一个信号量S5，初值为5，P(S5)语句加在读者进程中第1个P(Sr)之前，V(S5)语句加在读者进程中第2个V(Sr)之后。
14. A、B两点之间是一段东西向的单行车道，现要设计一个车辆行驶的自动管理系统。管理规则如下：当A、B之间有车辆在行驶时同方向的车可以同时驶入AB段，但另一方向的车必须在AB段外等待；当A、B之间无车辆在行驶时，到达A点(或B点)的车辆可以进入AB段，但不能从A点和B点同时驶入；当某方向的车从AB段驶出且暂无车辆进入AB段时，应让另一方向等待的车辆进入AB段行驶。现定义两个计数器CountE和CountW分别记录东行和西行车辆进程数。用PV操作进行管理时的三个信号量为SAB、SE、SW，实现上述功能的算法如下： typedef int semaphore ; semaphore SAB = __(1)__ ; semaphore SE = __(2)__ ; semaphore SW = __(3)__ ; int CountE = __(4)__ , CountW = 0 ;
PEi：第i个东行车辆进程(i=0, 1, 2, …) __(5)__ ;
if (CountE = =0 ) __(6)__ ; CountE = CountE+1 ; __(7)__ ; pass(BA) ;
16
__(8)__ ;
CountE = CountE-1 ; if ( CountE = = 0 ) __(9)__ ; __(10)__ ;
PWi：第i个西行车辆进程(i=0, 1, 2, …)
__(11)__ ;
if ( CountW = = 0 ) __(12)__ ; CountW = CountW+1 ; __(13)__ ; pass(AB) ;
请将空缺处的内容填入下表： (1) (2) (3) (4)
1 1 1 0 (5) (6) (7) (8) P(SE) P(SAB) V(SE) P(SE) __(14)__ ;
CountE = CountE-1 ; if ( CountW = = 0 ) __(15)__ ; __(16)__ ;
(9) (10) (11) (12) V(SAB) V(SE) P(SW) P(SAB) (13) (14) (15) (16) V(SW) P(SW) V(SAB) V(SW) 15. 文件系统的层次模型如下图所示。文件的目录采用基本文件目录表BFD的方法组织，其中含有文件Zhang/a.c的文件说明信息，Zhang为文件主的用户名。文件的物理结构为连续文件结构，并采用直接存取方式，每个文件的记录长度为500字节，每个物理块长为2000字节，即一个物理块可以存放4个记录。结合执行系统调用命令read(Zhang/a.c，9，20000)（其中9为逻辑记录号，20000为内存地址），回答下列问题：
(1) 第二层符号文件系统SFS的主要工作及其结果； (2) 第三层基本文件系统BFS的主要工作； (3) 第五层逻辑文件系统得到的主要结果； (4) 第六层物理文件系统得到的主要结果。 存取设备分配 7 回答 用户存取要求
1 用户接口 2 符号文件系统SFS 3 基本文件系统BFS 4 存取控制验证 5 逻辑文件系统 6 物理文件系统 标识符 物理块号 0 1 2 3 4 5 6 7 8 9 Zhang Wang SQRT a.c 3 4 5 6 7 设备策略模块 8 启动I/O 物理块号 … 10 11 12 … 逻辑块号 … 0 1 2 … 17 15. (1) 主要功能：把用户提供的文件符号名Zhang/a.c转换为系统内部的唯一标识符6。CALL BFS（READ, 6,9,20000）。
(2) 从BFD中找文件标识符6文件说明信息。 (3) 把逻辑块号转换为相对块号和块内相对地址。 逻辑字节串首址（LBA）=记录号*记录长度=9*500=4500；
相对块号RBN=（LBA / 物理块长PBL）的整数部分=（4500/2000）的整数=2； 块内相对地址PBO=LBA mod PBL=4500 mod 2000=500。
(4) 把相对块号和块内相对地址，根据文件的物理结构转换成物理地址。 相对块号2的物理块号为12，块内相对地址为500。
16. 用于文件存储空间管理的成组链接法将文件存储设备中的所有空闲块从后往前依次划分为组(设50块为一组)，其中每组最后分配的空闲块用来存放前一组的块数和块号。由于第一组前面已无组，故第一组的实际块数为49块。此外，由于空闲块总数不一定为50的倍数减1，因而最后一组可能不足50块，且该组后已无组，所以该组的块数与块号放在专用块文件资源表中。现假定有149个空闲块，块号为10—158，空闲块的成组链接如下图所示：
现若有某进程释放一个块号为7的空闲块，请完成： (1) 简述成组链接法的空闲块回收过程。 (2) 画出回收一个空闲块后的成组链接示意图。
18
文件资源表 L
50 59 58 ? ? ? 10 ? ? ? 第59块 50 109 108 ? ? ? 60 ? ? ? 第58块 第109块 50 0 158 ? ? ? 110 ? ? ? 第108块 尾部标识 第158块 ? ? ? 第10块 ? ? ? 第60块 ? ? ? 第110块 第3组 第2组 第1组
16. (1) 将文件资源表中的内容复制到回收的第7块中，然后将回收块号7填入文件资源表，并将其块数置1。 (2) 文件资源表 L
1 ? ? ?7 ? ? ?
第7块 第59块 第109块 50 50 50 尾部标识 59 109 0 58 108 158 ? ? ? ? ? ? ? ? ? ? ? ?10 60 110 ? ? ? ? ? ? 第58块 第108块 第158块 ? ? ? ? ? ? ? ? ? 第10块 第60块 第110块 第4组 第3组 第2组 第1组
19