KThread和TCB的构造顺序分析

What’s wrong?

public int listen() {

lock.acquire();

if (!present) // 如果没有留言

empty.sleep(); // 则睡眠

// 取得留言

int word = bu#er;

present = false;

public void speak(int word) {

lock.acquire();

if (present) // 如果已有留言

full.sleep(); // 则睡眠

// 留言

bu#er = word;

present = true;

Wrong or Not?

...

/* 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 的构造顺序分

先有第一个 TCB ，还有先有第一个 KThread ？

首先被构造出的是 TCB ，在 Machine.main 完成各种环境初始化后，最后一

句写的是：

new TCB().start(new Runnable() {

public void run() {

autoGrader.start(privilege); }});

其实， autoGrader.start 会构造一个 Kernel 的实例 ( 根据 Nachos.co# 的设

置，目前就是 ThreadKernel) ，并且调用 Kernel.initialize 令其自我初始