同步与互斥简单理解

同步与互斥简单理解

同步被称为直接制约关系，互斥被称为间接制约关系。

直接制约关系可以理解为有先后顺序的一种关系。如两个进程A和B，只当A执行了B才执行，则A和B为同步。考虑一个问题：必须是A执行完了B才能执行吗？

间接制约关系可以理解为无固定的先后顺序。如两个进程A和B，A在执行则B不能执行，B在执行则A不执行，同时必须其中一个执行完了，另一个才能执行。