4.1并发执行问题教程.ppt

第七讲 并发执行问题 ;第四章 并发控制 并发的需求;4.1 并发编程;;与进程相关的系统调用;exit（status）：进程结束。该系统调用发出后，操作系统将从系统中删除调用exit的进程，并将status值传给等待它结束的父进程。 wait（status）：等待子进程结束。当有多个子进程时，任一个子进程结束即将控制返回调用者，并将子进程调用exit（status）时的status值送到status指针所指单元中。在控制返回调用者时，同时将所等到的子进程pid作为wait（）系统调用函数的返回值。 waitpid（pid，…）：等待pid所指定的进程结束。 ;4.2 进程的互斥与同步;4.2.1 同步与临界段问题;;Parbegin A(amount){ R1=count; R2=amount; R1=R1+R2; count=R1; }; B(amount) { R1=count; R2=amount; R1=R1-R2; count=R1; }; Parend;;例4：有限缓冲区的生产者/消费者问题（生产者和消费者共享一个产品缓冲链）;typedef struct{ …… } item； // 消息类型 ?typedef struct{ struct buffer *next; struct item inst； } buffer； // 缓冲类型 struct buffer *P，*C，*First; struct item nextp，nextc; First= nil;; new(P); #获得一空缓冲区 P.inst=nextp; P.next=First; First=P; }while(1); }; ; … consume the item in nextc; … }while(1); }; Parend;;T0：consumer C= First T1：producer P.next= First T2：producer First= P T3：consumer First= First.next 则会发生生产者加入队列的缓冲区丢失;4.2.2实现临界段的硬件方法; B(amount) { disableInterrupt(); R1=count; R2=amount; R1=R1-R2; count=R1; enableInterrupt(); }; Parend; ;2、“Test_and_Set”指令。 该指令功能描述为： boolean Test_and_Set（boolean target）{ Boolean rv=target; target = true； return rv; } ? ;设Lock为全局布尔变量，利用TestSet指令，即可实现对临界区的加锁与解锁： ;“testset” ??后置1指令实现互斥实例： TS Ri,Aj 解释为将(Aj)地址所指内存单元内容读到Ri寄存器中,同时将1置入Aj所指的内存单元中. 设Lock为临界段锁变量，则安排如下指令，即可实现加锁与解锁：*;临界段