操作系统很全很详细的进程同步及互斥_问题.ppt

进程同步与互斥 例题 进程同步 进程同步： 并发进程之间相互合作，完成一项工作，它们之间有一定的时序关系。 解题步骤： 确定进程的个数及每个进程的工作； 确定关键工作步（需要控制的）； 确定信号量表示的含义（开始或结束）； 写出伪代码。 例1：请用信号量机制描述下列并发进程的同步关系。 解法一：信号量表示进程能否开始。 设信号量m1、m2、m3、m4分别表示进程P1、P2、P3、P4能否开始执行，其初值m1为1，其余均为0。 int m1=1,m2=m3=m4=0 ; cobegin p1() // P2() // P3() // P4() coend 解法二：信号量表示进程是否结束。 设信号量m1、m2、m3、m4分别表示进程P1、P2、P3、P4是否结束，其初值均为0。 int m1=m2=m3=m4=0 ; cobegin p1() // P2() // P3() // P4() coend 练习：请用信号量机制描述下列并发进程的同步关系。 解法一：信号量表示进程能否开始。 设信号量m1~m7分别表示进程P1~P7能否开始执行，其初值m1为1，其余均为0。 int m1=1,m2=m3=m4=m5=m6=m7=0 ; cobegin p1() // p2() // p3() // p4() // p5() // p6() // p7() coend 解法二：信号量表示进程是否结束。 设信号量m1~m7分别表示进程P1~P7是否结束，其初值均为0。 int m1=m2=m3=m4=m5=m6=m7=0 ; cobegin p1() // p2() // p3() // p4() // p5() // p6() // p7() coend 进程的同步 例2：公共汽车中的司机和售票员。 解法一：信号量表示进程能否开始。 设信号量m1表示司机进程P1能否启动汽车，初值为0，m2表示售票员进程p2能否开门，初值为0。 int m1=0,m2＝0 ; cobegin p1() // p2() coend 解法二：信号量表示进程是否结束。 设信号量m1表示司机进程P1到站停车结束，初值为0，m2表示售票员进程p2关门结束，初值为0。 int m1=0,m2＝0 ； cobegin p1() // p2() coend 进程的同步 例3-1：吃水果。 分析：父亲先放水果，儿子再吃水果；儿子取完水果，父亲再放水果，这两个进程是一个同步关系。 解法一：设信号量m1表示父亲能否放水果，m2表示儿子能否取水果。其初值m1=1,m2=0。 int m1=1,m2=0； cobegin p1()//p2() coend 分析：父亲先放水果，儿子再吃水果；儿子取完水果，父亲再放水果，这两个进程是一个同步关系。 解法二：设信号量m1表示父亲放完水果，m2表示儿子取完水果。其初值m1=0,m2=1。 int m1=0,m2=1； cobegin p1()//p2() coend 进程的同步 例3-2：吃水果。 分析：父亲先放水果，儿子女儿再吃水果；儿子女儿取完水果，父亲再放水果，这三个进程是一个同步关系。 解法一：设信号量m1表示父亲能否放水果，m2表示儿子能否取桔子，m3表示女儿能否取苹果。 int m1=1,m2=0,m3=0； cobegin p1() // p2() // p3() coend 分析：父亲先放水果，儿子女儿再吃水果；儿子女儿取完水果，父亲再放水果，这三个进程是一个同步关系。 解法二：设信号量m1表示父亲放完桔子，m2表示父亲放完苹果，m3表示儿子女儿取完水果。 int m1=0,m2=0,m3=1； cobegin p1() // p2() // p3() coend 进程的同步 例3-3：吃水果。 分析：父母亲先放水果，儿子再取水果吃；父亲与儿子，母亲与儿子是一个同步关系，父亲与母亲要竞争空盘子。 解法一：设信号量m1表示是否有空盘子，信号量m2表示儿子能否取水果。 int m1=1,m2=0； cobegin p1() // p2() // p3() coend 分析：父母亲先放水果，儿子再取水果吃；父亲与儿子，母亲与儿子是一个同步关系，父亲与母亲要竞争空盘子。 解法二：设信号量m1表示父亲或母亲放完水果，信号量m2表示儿子取完水果。 int m1=0,m2=1； cobegin p1() // p2() // p3() coend 进程的同步 例3-4：吃水果。 分析：父母亲先放水果，儿子女儿再取水果；父亲与女儿，母亲与儿子是一个同步关系，父亲与母亲要竞争空盘子。 解法一：设