10.4 互斥算法的更强条件