进程之间的约束关系:程序并发执行的相互制约