2．程序并发执行时的特征.ppt

repeat 　　　　　　 　　　　produce an item in nextp； 　　　　　　 　　　　send(consumer，nextp)； 　　　until false； 　　　repeat 　　　　receive(producer，nextc)； 　　　　　　 　　　　consume the item in nextc； 　　until false； … … … 　　2．间接通信方式 　　间接通信方式指进程之间的通信需要通过作为共享数据结构的实体。该实体用来暂存发送进程发送给目标进程的消息；接收进程则从该实体中取出对方发送给自己的消息。通常把这种中间实体称为信箱。消息在信箱中可以安全地保存，只允许核准的目标用户随时读取。因此，利用信箱通信方式，既可实现实时通信，又可实现非实时通信。 　　系统为信箱通信提供了若干条原语，分别用于信箱的创建、撤消和消息的发送、接收等。 　　(1) 信箱的创建和撤消。进程可利用信箱创建原语来建立一个新信箱。创建者进程应给出信箱名字、信箱属性(公用、私用或共享)；对于共享信箱，还应给出共享者的名字。当进程不再需要读信箱时，可用信箱撤消原语将之撤消。 　　(2) 消息的发送和接收。当进程之间要利用信箱进行通信时，必须使用共享信箱，并利用系统提供的下述通信原语进行通信： 　　Send(mailbox，message)； 将一个消息发送到指定信箱； 　　Receive(mailbox，message)； 从指定信箱中接收一个消息； 　　信箱可由操作系统创建，也可由用户进程创建，创建者是信箱的拥有者。据此，可把信箱分为以下三类。 Var mutex，empty，full: semaphore:=1,n,0； 　　buffer:array[0，…，n-1] of item； 　　in，out: integer:=0，0； 　　begin 　　　parbegin 　　　proceducer: begin 　　　　　　　　　repeat 　　　　　　　　　　　　　 　　　　　　　　　producer an item nextp； 　　　　　　　　　　　　　 　　　　　　　　　wait(empty)； … … wait(mutex)； 　　　　　　　　　buffer(in):=nextp； 　　　　　　　　　in:=(in+1) mod n； 　　　　　　　　　signal(mutex)； 　　　　　　　　　signal(full)； 　　　　　　　　　until false； 　　　　　　　end 　　　consumer: begin 　　　　　　　　repeat 　　　　　　　　　　wait(full)； 　　　　　　　　　　wait(mutex)； 　　　　　　　　　　nextc:=buffer(out)； out:=(out+1) mod n； 　　　　　　　　　　　　signal(mutex)； 　　　　　　　　　　　　signal(empty)； 　　　　　　　　　　　　consumer the item in nextc； 　　　　　　　　　　　until false； 　　　　　　　　　　end 　　　　parend 　　end 在生产者—消费者问题中应注意：首先，在每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对地出现；其次，对资源信号量empty和full的wait和signal操作，同样需要成对地出现，但它们分别处于不同的程序中。例如，wait(empty)在计算进程中，而signal(empty)则在打印进程中，计算进程若因执行wait(empty)而阻塞，则以后将由打印进程将它唤醒；最后，在每个程序中的多个wait操作顺序不能颠倒，应先执行对资源信号量的wait操作，然后再执行对互斥信号量的wait操作，否则可能引起进程死锁。 　　2．利用AND信号量解决生产者—消费者问题 　 对于生产者—消费者问题，也可利用AND信号量来解决，即用Swait(empty，mutex)来代替wait(empty)和wait(mutex)；用Ssignal(mutex，full)来代替signal(mutex)和signal(full)；用Swait(full，mutex)来代替wait(full)和wait(mutex)，以及用Ssignal(mutex，empty)代替Signal(mutex)和Signal(empty)。利用AND信号量来解决生产者—消费者问题的算法描述如下： Var mutex，empty，full: semaphore:=1，n，0； 　　　buffer:arra