双标志后检查法

#双标志后检查法算法思想

  • 隔壁兄弟的改版，先上锁再检查
  • Pasted image 20260629160949.png
  • 并发运行的话，问题又大了
  • p0表达true,此时进程切换
  • p1表达true，得，卡while
  • 回到p0，得，卡while
  • 故，虽然解决了忙则等待的问题
  • 但，*又违背了，“空闲让进”和“优先等待”的原则*
  • 各进程会因为长期无法访问临界资源而产生“饥饿”现象