Bernstein条件程序并发执行时的不可再现性是绝对不允许的:因此应采取措施使并发程序保持其“可再现性”。两个程序是否能并发执行,可根据Bernstein(伯恩斯坦)条件来判断,该条件是:R(P1)nW(P2)UR(P2)nW(P1)UW(P1)nW(P2)=(读集:R(Pi)=al,a2..am),为程序Pi在执行期间所需参考的所有变量的集合写集:W(Pi={bl,b2....bn),为程序Pi在执行期间所要改变的所有变量的集合
Bernstein条件 程序并发执行时的不可再现性是绝对不允许的;因此应采 取措施使并发程序保持其“可再现性” 。 两个程序是否能并发执行,可根据Bernstein(伯恩斯坦) 条件来判断,该条件是: R(P1)∩W(P2)∪R(P2)∩W(P1)∪W(P1)∩W(P2)={ } 读集:R(Pi)={a1,a2,.,am},为程序Pi在执行期间所需参考的 所有变量的集合 写集:W(Pi)={b1,b2,.,bn},为程序Pi在执行期间所要改变的 所有变量的集合
Bernstein条件例如,有四条语句:S1:a:=x+yS2:b:=z+1S3:c:=a-bS4:W:=c+1以上四条语句的读、写集分别为:R(S1)=(X,y)R(S3)=(a,b)R(S4)=(c)R(S2)=(z)二W(S1)=(a)W(S2)=(b)W(S3)=(c)W(S4)=(w)可见,S1和S2可并发执行,因为满足Bernstein条件:S1和S3不可并发执行,因为R(S3)NW(S1)=(a):S2和S3不可并发执行,因为R(S3)NW(S2)=b):S3和S4不可并发执行,因为R(S4)NW(S3)=(c)
Bernstein条件 以上四条语句的读、写集分别为: 可见,S1和S2可并发执行,因为满足Bernstein条件; S1和S3不可并发执行,因为R(S3)∩W(S1)={a}; S2和S3不可并发执行,因为R(S3)∩W(S2)={b}; S3和S4不可并发执行,因为R(S4)∩W(S3)={c}。 例如,有四条语句: S1:a:=x+y S2:b:=z+1 S3:c:=a-b S4:w:=c+1 R(S1)={x,y} R(S2)={z} R(S3)={a,b} R(S4)={c} W(S1)={a} W(S2)={b} W(S3)={c} W(S4)={w}
2.1.4进程的特征与状态1.进程的概念。“程序”通道的出现使I/O操作与CPU操作得以并发行。这样一个静止的概念,已经不能描述多个作业、多个任务这样的并发活动在系统内部的表现,为此人们引入“进程”(process)概念。进程是具有独立功能的程序关于某数据集合上的一次运行活动,是系统进行资源分配和调度的独立单位
2.1.4 进程的特征与状态 1.进程的概念 通道的出现使I/O操作与CPU操作得以并发行。 “程序” 这样一个静止的概念,已经不能描述多个作业、多个任务这 样的并发活动在系统内部的表现,为此人们引入“进程” (process)概念。 进程是具有独立功能的程序关于某数据集合上的一次运 行活动,是系统进行资源分配和调度的独立单位
2.进程的特征口动态性:进程的实质是程序的一次执行过程,进程是动态产生动态消亡的,进程在其生命周期内,在三种基本状态之间转换(就绪、执行、阻塞)国并发性:任何进程都可以同其他进程一起向前推进。国独立性:进程是一个能独立运行的基本单位,同时也是系统分配资源和调度的独立单位;口异步性:由于进程间的相互制约,使进程具有执行的间断性即进程按各自独立的、不可预知的速度向前推进口结构特征:为了控制和管理进程,系统为每个进程设立一个进程控制块-PCB
2. 进程的特征 动态性:进程的实质是程序的一次执行过程,进程是动态产生, 动态消亡的,进程在其生命周期内,在三种基本状态之间转换 (就绪、 执行、阻塞) 并发性:任何进程都可以同其他进程一起向前推进。 独立性:进程是一个能独立运行的基本单位,同时也是系统分 配资源和调度的独立单位; 异步性:由于进程间的相互制约,使进程具有执行的间断性, 即进程按各自独立的、不可预知的速度向前推进 结构特征:为了控制和管理进程,系统为每个进程设立一个进 程控制块- PCB
3.进程与程序的区别国程序是静态的,进程是动态的进程更能真实地描述并发,而程序不能;进程有生命周期,有诞生有消亡,短暂的;而程序是相对长久的;口程序可作为软件资源长期保存,进程只是一次执行过程是暂时的;进程是系统分配调度的独立单位,能与其他进程并发执行进程是由程序和数据两部分组成的;进程具有创建其他进程的功能,而程序没有国程序和进程并不一定具有一一对应的关系;
3. 进程与程序的区别 程序是静态的,进程是动态的; 进程更能真实地描述并发,而程序不能; 进程有生命周期,有诞生有消亡,短暂的;而程序是相对 长久的; 程序可作为软件资源长期保存,进程只是一次执行过程, 是暂时的; 进程是系统分配调度的独立单位,能与其他进程并发执行; 进程是由程序和数据两部分组成的; 进程具有创建其他进程的功能,而程序没有; 程序和进程并不一定具有一一对应的关系;