程序设计语言与编译ppt课件_3.4 协同程序、并发单元.pptxVIP

第三章控制结构;多个程序单元交错地执行——协同程序。

设有单元C1和C2，由C1先开始执行，当执行到C1的“resumeC2”命令时，

显式激活C2，暂停C1的执行，将控制转向C2的执行点；

若C2执行到某个“resumeC1”命令时，暂停C2的执行

恢复C1的执行（将控制转移到C1的执行点，继续执行下去）

……

;C1和C2似乎在并行地执行——伪并行。

实际上，C1和C1是在交错地执行，它是并行的一种低级形式。

常规的子程序机制不能描述并行执行的程序单元。

CLU和SIMULA67等语言设置了描述这种交错执行过程的机制。

;协同程序;第三章控制结构;诸进程的执行概念上是可重叠的，即正在执行的进程尚未终止，另一个进程可能开始执行，诸程序单元“并行”活动。例如“生产者-消费者”问题：

单元producer

repeat

生产一个元素；

存放该元素到缓冲区；

forever

;正确访问缓冲区：

不会向已满的缓冲区写数据；

不会从空缓冲区读数据。

;append是生产者向缓冲区存数的操作，remove是消费者从缓冲区取数的操作，设t表示所存项目总数，这两个操作都要修改t的值，相应执行下列两个操作来实现：

(1)t:=t+1

(2)t:=t-1

;假定(1)和(2)是这样实现的：

读t到一个专用寄存器；

更新专用寄存器的值；

将专用寄存器的值写到t。

执行(1)时不能执行(2)，反之亦然。

即(1)和(2)必须以互斥的方式执行，(1)或(2)是不可分的操作。