下面各项中,用来解决“一个并发调度是否正确”问题的选项是——。