Program A: …N=countN=N+100count=N…Program B:…M=countM=M+200count=M…如果按以下次序占处理机运行:N=count,N=N+100;M=count,M=M+200,count=M;count=N.结果count=400(应为600)*
如果为400,说明Program A存在脏读的问题。也就是N=count后,count被B更新为500N=N+100,此时N=400count = N,写回400