設计一同步机构.docVIP

练习一 同步机构 实习内容 模拟实现用同步机构避免并发进程执行时可能出现的与时间有关的错误。 实习目的 进程是程序在一个数据集合上运用的过程，进程是并发执行的。也即系统中的多个进程轮流地占用处理器运行。 我们把若干进程都能进行访问和修改的那些变量称为公共变量。由于进程是并发地执行的，所以，如果对进程访问公共变量不加限制，那么就会产生“与时间有关”的错误，即进程执行后所得结果与访问公共变量的时间有关。为了防止这类错误，系统必须要用同步机构来控制进程对公共变量的访问，一般说，同步机构是由若干条原语——同步原语——所组成，本实习要求学生模拟PV操作同步机构的实现，模拟进程的并发执行，了解进程并发执行时同步机构的作用。 实习题目 模拟PV操作同步机构，且用PV操作解决生产者——消费者问题。 （提示）： PV操作同步机构，由P操作原语和V操作原语组成，他们的定义如下： P操作原语P（S）；将信号量S减去1，若结果小于0，则执行原语的进程被设置成等待信号量S的状态。 V操作原语V（S）；将信号量S加1，若结果不大于0，则释放一个等待信号量S的进程。 这两条原语是如下的两个过程： procedure p(var s: semaphore); begin s: =s-1; if s0 then W(s) end {p}; procedure v(var s: semaphore); begin s:=s+1; if s1 then R(s) end {v} 其中W（s）表示将调用过程的进程置为等待信号量s的状态；R（s）表示释放一个等待信号量s的进程。 在系统初始化时应该将semaphore定义为某个类型，为简单起见，在模拟实习中时应把semaphore直接改成integer。 （2）生产者――消费者问题 假定有一个生产者和一个消费者，生产者每次生产一件产品，并把生产的产品存入共存缓冲器以供消费者取走使用。消费者每次从缓冲器内取出一件产品去消费。禁止生产者将产品放入已满的缓冲器内，禁止消费者从空缓冲器内取产品。假定缓冲器内可同时存放10件产品。那么，用PV操作来实现生产者和消费者之间的同步，生产者和消费者两个进程的程序如下： B: array[0.9] of products; s1,s2: semaphore; s1: =10, s2: =0; IN,out: integer; IN: =0; out: =0; cobegin procedure producer; c: produce; begin L1: 　　　　　　　　produce(c)； 　　　　　　　　p（s1）； 　　　　　　　　b（IN）：＝C； 　　　　　　　　IN：＝（IN＋I）mod 10； 　　　　　　　　V（s2）； 　　　　　　　　goto L； 　　　　　　　　end； 　　　　　　　　proceduce consumer； 　　　　　　　　x： products； 　　　　　　　　begin L2：P（s2）； 　　　　　　　　　X：＝B[out]； 　　　　　　　　　out：＝（out+1） mod10； 　　　　　　　　　V（s2）； 　　　　　　　　　consume（x）； 　　　　　　　　　goto L2 end； 　　　　　　coend。 其中的semaphore和products是预先定义的两个类型，在模拟实现中semaphore用integer代替，products可用integer或char等代替。 （3）进程控制块PCB。 为了记录进程执行时的情况，以及进程让出处理器后的状态，断点等信息，每个进程都有一个进程控制块PCB。在模拟实习中，假设进程控制块的结构如图12－1。其中进程的状态有：运行态、就绪态、等待态和完成态。当进程处于等待态时，在进程控制块PCB中要说明进程等待原因（在模拟实习中进程等待原因为等待信号量s1或s2）；当进程处于等待态或就绪态时，PCB中保留了断点信息，一旦进程再度占有处理器则就从断点位置继续运行；当进程处于完成状态，表示进程执行结束。 进程名 状态 等待原因 断点 　　　　　图12－1　进程控制块结构 （4）处理器的模拟 计算机硬件提供了一组机器指令，处理器的主要职责是解释执行机器指令。为了模拟生产者和消费者进程的并发执行，我们必须模拟一组指令和处理器职能。 模拟的一组指令见图12－2，其中每条指令的功能由一个过程来实现。用变量PC来模拟“指令计数器”，假设模拟的指令长度为1，每执行一条模拟指令后，