BCMIHomepage-Dijkstra算法的实践与提高.pptVIP

What’s wrong? public int listen() { lock.acquire(); if (!present) // 如果没有留言 empty.sleep(); // 则睡眠 // 取得留言 int word = buffer; present = false; // 唤醒正在等待发言的人 full.wake(); lock.release(); return word; } public void speak(int word) { lock.acquire(); if (present) // 如果已有留言 full.sleep(); // 则睡眠 // 留言 buffer = word; present = true; // 唤醒正在等待接受留言的人 empty.wake(); lock.release(); } Wrong or Not? public class KThread { ... /* Unique identifer for this thread. Used to deterministically compare threads. */ private int id = numCreated++; /* Number of times the KThread constructor was called. */ private static int numCreated = 0; ... } How to Read code? Case Study: KThread和TCB的构造顺序分析 一个KThread必然有一个TCB吗？ 每个TCB必然在运行一个KThread吗？ 先有第一个TCB，还有先有第一个KThread？ KThread和TCB的构造顺序分析——先有鸡还是先有蛋？ 首先被构造出的是TCB，在Machine.main完成各种环境初始化后，最后一句写的是： new TCB().start(new Runnable() { public void run() { autoGrader.start(privilege); }}); 其实，autoGrader.start会构造一个Kernel的实例(根据Nachos.coff的设置，目前就是ThreadKernel)，并且调用Kernel.initialize令其自我初始化 转入ThreadKernel.initialize，ThreadKernel首先装入自己需要的Scheduler和FileSystem, 然后鬼使神差般地写了一句： new KThread(null); 这就是最早的KThread的实例。（我们称它叫“new KThread No1”） KThread和TCB的构造顺序分析——new KThread(null)？ 注意这么构造KThread是可疑的。因为在过程里没有保存对这个实例的引用，所以这个KThread永远没有机会被fork()！ public void initialize(String[] args) { new KThread(null); // “new KThread No1” } 检查整个工程，我们没有发现其他地方有这么写的，这么做的目的何在？我们需要看看KThread的构造函数干了什么： if (currentThread != null) { // currentThread是静态全局变量， // 其初值默认为空 tcb = new TCB(); } else { // 可见第一次进KThread()是执行这里 … KThread和TCB的构造顺序分析——if (curre