Berstein条件

Berstein条件是程序可并发执行的条件。
以 计为进程或线程 对某一互斥资源的读取操作，以 计为进程或线程 对某一互斥资源的写入操作。则在满足如下两个条件时，程序可以并发执行：