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

进程同步与互斥;进程同步;例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;进程的同步;解法一：信号量表示进程能否开始。 设信号量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;进程的同步;分析：父亲先放水果，儿子再吃水果；儿子取完水果，父亲再放水果，这两个进程是一个同步关系。 解法一：设信号量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;进程的同步;分析：父亲先放水果，儿子女儿再吃水果；儿子女儿取完水果，父亲再放水果，这三个进程是一个同步关系。 解法一：设信号量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;进程的同步;分析：父母亲先放水果，儿子再取水果吃；父亲与儿子，母亲与儿子是一个同步关系，父亲与母亲要竞争空盘子。 解法一：设信号量m1表示是否有空盘子，信号量m2表示儿子能否取水果。 int m1=1,m2=0； cobegin p1() // p2() // p3() coend;分析：父母亲先放水果，儿子再取水果吃；父亲与儿子，母亲与儿子是一个同步关系，父亲与母亲要竞争空盘子。 解法二：设信号量m1表示父亲或母亲放完水果，信号量m2表示儿子取完水果。 int m1=0,m2=1； cobegin p1() // p2() // p3() coend;0;分析：父母亲先放水果，儿子女儿再取水果；父亲与女儿，母亲与儿子是一个同步关系，父亲与母亲要竞争空盘子。 解法一：设信号量m1表示是否有空盘子，信号量m2表示儿子能否取苹果，m3表示女儿能否取桔子。 int m1=1,m2=0,m3=0； cobegin p1() // p2() // p3() // p4() coend;分析：父母亲先放水果，儿子再取水果吃；父亲与儿子，母亲与儿子是一个同步关系，父亲与母亲要竞争空盘子。 解法二：设信号量m1表示父亲放