可在现性可再现性
程序具有独立性,结果再现。如果程序执行过程中,出现结果无法再现的情况,则程序肯定有问题。如果要让程序被调度,必须满足 Berstein 条件(任意两条读写的交集不能为空,很难实现)。
(1)程序顺序执行,因为某一时段独占全机,所以结果可再现。
(2)程序并发执行,若不满足 Bernstein 条件,则结果不再现。
总之,程序不可以并发执行。
← 附言 进程的基本概念→