所示。页号p页内地址d它由两个部分组成:前一部分表示该地址所在页面的页号p;后一部分表示页内地址(页内位移)d。页号的地址位数决定了页的多少,假设页号有20位,则地址空间中最多可容纳的页面数为220,即1MB个页面。页内地址位数确定了每页的大小,若页内地址为12位,则每页大小为212,即2KB。同理,物理地址中块号的地址位数决定了块的多少,由于页式存储管理内存空间块的大小与页面大小相同,所以物理地址中块内地址与逻辑地址中的页内地址位数相同。习题2判断下列同步问题的算法是否正确?若有错,请指出错误原因并予以改正。①设A,B两个进程共用一个缓冲区Q,A向Q写入信息,B从Q读出信息,算法框图如图3-24所示。②设A,B为两个并发进程,它们共享一个临界资源。其运行临界区的算法框图如图3-25所示。图3-24进程A,B的算法框图图3-25两个并发进程临界区的算法框图这个算法不对。因为A、B两个进程共用一个缓冲区Q,如果A先运行,且信息数量足够多,那么缓冲区Q中的信息就会发生后面的冲掉前面的,造成信息丢失,B就不能从Q中读出完整的信息。改正:A、B两进程要同步使用缓冲区Q。为此,设立两个信号量:empty表示缓冲区Q为空,初值为1;full表示缓冲区Q为满,初值为0。算法框图如图1所示。这个算法不对。因为A、B两个进程是并发的,它们共享一个临界资源,所以二者应互斥地使用该临界资源,在进入临界区时不存在先A后B的时序关系,而是哪个进程先到一步就先进入自己的临界区。改正:A、B两个进程应互斥地进入临界区。为此,设立一个信号量:互斥信号量mutex,其初值为1。算法框图如图2所示。A进程B进程A进程B进程P(empty)P(full)P(mutex)P(mutex)向Q写入信息从Q中读出信息临界区代码CSa临界区代码CSbV(full)V(empty)V(mutex)V(mutex)图1图2
全文预览
