论文部分内容阅读
摘 要： 本文简要地介绍了bakery算法进程互斥思想，指出它存在的三个缺点。然后在满足进程互斥设计三要点的前提下，提出快速互斥算法，并且对它的性能和优点给出证明，指出快速算法能够很好地解决bakery算法的缺点。
全文查看链接
证明：（1）当p已经执行到临界区而q刚执行（不同时执行算法时），p进入临界区。
全文查看链接