操作系统原理 进程管理教学.ppt

作业 P68：22(b)、26、28 生产者一消费者问题 读者一写者问题 哲学家就餐问题 2.4 经典进程的同步问题 进程互斥与同步的区分 进程的互斥是进程同步的特例，两者都涉及到并发进程访问共享资源的问题。 进程的互斥是指只要无进程在使用共享资源时，就允许任意一个参与竞争的进程去使用该资源。 进程同步不同：当涉及到共享资源的进程必须同步时，即使无进程在使用共享资源，那么尚未得到同步消息的进程仍不能去使用这个资源。 信号量解决同步与互斥的一般方法 首先对问题进行分析，搞清问题属于哪类问题，即是互斥问题，还是同步问题，还是两者的混合问题； 其次分清并发进程之间的互斥关系和同步关系，即搞清同步存在于哪些进程之间，互斥存在于哪些进程之间； 第三，搞清同步的基本方式(具体问题具体分析)，互斥所涉及的临界资源的数量； （续） 第四，设定信号量的个数和初值。互斥信号量的个数等于临界资源的数目，且其初值均为1；同步信号量的个数及其初值则要根据具体问题而定，没有统一的方法。值得注意的是每个信号量必须置一次且只能置一次初值，初值不能为负数； 最后，设计出相应的管理方法，给出其并发算法。在最后一步中，尽可能地利用现在已经发明的较为成熟的实现方法，包括已经学过的例题或已做过的习题的实现方法。 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;//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操作顺序不能颠倒。应先执行对资源信号量的wait操作，然后再执行对互斥信号量的wait操作，否则可能引起进程死锁(例如消费者先执行wait(mutex)通过、再执行wait(full)被阻塞；然后生产者先执行wait(mutex)就会被阻塞，导致死锁)。 2.利用AND信号量解决生产者—消费者问题 var mutex, empty, full ：semaphore ：=1, n, 0; buffer:array［0, …, n-1］ of item; in out:integer ：=0, 0; begin parbegin producer:begin repeat … produce an item in nextp; … Swait(empty, mutex); buffer(in)∶=nextp;