OS 关于信号量处理中的忙等待问题

直接看图： 下面这张图堪称神奇： 问题描述–>套娃行为 信号量为了时临界区问题不发生忙等待，使用临界区mutex进行处理。临界区mutux的value需要被P1和P2的wait（）指令进行操作，然而能否保证对mutex.value进行互斥的操作是一个问题。wait()操作理论上是需要原子的（atomically），实际上是有一些代码构成，实现起来并不能保证互斥。这就产生了mutex.value访问

>>阅读原文<<