文档介绍
作业 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