7.10 练习

  1. Sleep必须检查lk != &p->lock来避免死锁(kernel/proc.c:558-561). 假设通过将
  1. if(lk != &p->lock) {
  2. acquire(&p->lock);
  3. release(lk);
  4. }

替换为

  1. release(lk);
  2. acquire(&p->lock);

来消除特殊情况,这样做将会破坏sleep。是如何破坏的呢?

  1. 大多数进程清理可以通过exitwait来完成。事实证明,必须是exit作为关闭打开的文件的那个。为什么?答案涉及管道。
  2. 在xv6中实现信号量而不使用sleepwakeup(但可以使用自旋锁)。用信号量取代xv6中sleepwakeup的使用。判断结果。
  3. 修复上面提到的killsleep之间的竞争,这样在受害者的sleep循环检查p->killed之后但在调用sleep之前发生的kill会导致受害者放弃当前系统调用。
  4. 设计一个计划,使每个睡眠循环检查p->killed,这样,例如,virtio驱动程序中的一个进程可以在被另一个进程终止时从while循环快速返回。
  5. 修改xv6,使其在从一个进程的内核线程切换到另一个线程时仅使用一次上下文切换,而不是通过调度器线程进行切换。屈服(yield)线程需要选择下一个线程本身并调用swtch。挑战在于:防止多个内核意外执行同一个线程;获得正确的锁;避免死锁。
  6. 修改xv6的调度程序,以便在没有进程可运行时使用RISC-V的WFI(wait for interrupt,等待中断)指令。尽量确保在任何时候有可运行的进程等待运行时,没有核心在WFI中暂停。
  7. p->lock保护许多不变量,当查看受p->lock保护的特定xv6代码段时,可能很难确定保护的是哪个不变量。通过将p->lock拆分为多个锁,设计一个更清晰的计划。