判断一个并发调度是否正确，可以用（）概念来解决。