文件名称:程序并发执行结果不可再现的示例-数据结构第二章
文件大小:382KB
文件格式:PPT
更新时间:2024-05-15 15:14:25
进程
程序并发执行结果不可再现的示例 例:count是全局变量,初值为0 进程p1:… count:=count+1;… 进程p2:…count=count+1;… r1、r2 是两个通用寄存器,执行count:=count+1的过程细化为: r1=count; r1:=r1+1; count:=r1 p1 p2 r2=count; r2:=r2+1; count:=r2 r1=count; r1:=r1+1; r2=count; r2:=r2+1; count:=r2 count:=r1 当出现这种执行序列时 结果:1+1<>2