OS5,6(信号量机制)选编.pptVIP

方法一：加一个资源信号量 Var chopstick:array[0…4] of semaphore=(1,1,1,1,1); Var count:semaphore:=4; 第i个哲学家的活动： repeat wait(count); wait(chopstick[i]); wait(chopstick[i+1] mod 5); eat; signal(chopstick[i]); signal(chopstick[i+1] mod 5); signal(count); think; Until false; 方法二:左、右两只筷子均可用时，才允许拿起进餐 Var chopstick: array[0,…,4] of semaphore:=(1,1,1,1,1) Process i Repeat think; swait(chopstick[(i+1)mod 5],chopstick[i]); eat; ssginal(chopstick[(i+1)mod 5],chopstick[i]); Until false; And 信号量机制解决。每个筷子设一个信号量P62. 方法三 Var chopstick:array[0…4] of semaphore=（1,1,1,1,1）; 第i个哲学家的活动： Repeat if i mod 2=1 then begin//奇数哲学家 wait(chopstick[i]); wait(chopstick[I+1] mod 5; eat; signal(chopstick[i]); signal(chopstick[I+1] mod 5); end else begin//偶数哲学家 wait(chopstick[I+1] mod 5; wait(chopstick[i]); eat; signal(chopstick[I+1] mod 5); signal(chopstick[i]); End; think; Until false; 0 1 2 3 4 1 2 3 4 0 * （所以P、V分别是荷兰语的test(proberen)和increment(verhogen)） goto有害论 Dijkstra最短路径算法 * * 此时的互斥信号量是让权的。 * 并将进程的程序计数器指向Swait操作的开始。 * 一般情况下，每个同步关系对应一个信号量。 转化为： 可用的曼资源 * 可能死锁 如：producer 先申请互斥，进入后，申请空资源，发现空资源不可用，必须等待comsumer先申请满，使用后释放出来。 但此时，由于producer占用了互斥资源，因此consumer无法进入。故而陷入死锁状态 * 可能死锁 如：producer 先申请互斥，进入后，申请空资源，发现空资源不可用，必须等待comsumer先申请满，使用后释放出来。 但此时，由于producer占用了互斥资源，因此consumer无法进入。故而陷入死锁状态 * 可能死锁 如：producer 先申请互斥，进入后，申请空资源，发现空资源不可用，必须等待comsumer先申请满，使用后释放出来。 但此时，由于producer占用了互斥资源，因此consumer无法进入。故而陷入死锁状态 * 只描述了循环体 对读没有约束，多少个读都可以 * 限定了读的个数 * 一般的记录型信号量。 解释嵌套 Count现释放，必然会影响对筷子的申请。 Count 与筷子之间有制约关系。Count就是为了制约对筷子的访问的。 * 不必引入新的资源信号量 * 解释嵌套 此初不嵌套 右筷子不释放不会影响对左筷子的申请。 即两个筷子之间没有制约关系。 i只读，不需互斥 Lifang ?2015 * Operating System 2.3.2 信号量(semaphore)机制 P53 前面的互斥算法都存在问题，它们是平等进程间的一种协商机制，需要一个地位高于进程的管理者来解决公有资源的使用问题。OS可从进程管理者的角度来处理互斥的问题，信号量就是OS提供的管理公有资源的有效手段 1965年，由荷兰学者Dijkstra提出，他把互斥的关键概念抽象到信号量这个概念中，是一种卓有成效的进程同步机制 1、整型信号量机制 2、记录型信号量机制 3、信号量集机制 信号量是一个被保护的变量，并且只能通过初始化和两个标准的原子操作来访问. 1、整型信号量机制 1).整型信号量 是一个整数值，表示空闲资源总数（又称为“资源信号量”） ----若为非负值