Lions' 本読み (98) - yamanetoshi's diary

ちょっとだけ昨日の続きを。_runrun を評価するのはここだけ_の_ここ_は 0771 の call 手続きです。とりあえず runrun を増分させてる手続きを確認してみます。それぞれを呼び出してるナニについては別途で。
増分させてる手続きは以下ということで順に確認を。

引数で渡された、これから SRUN な状態になるプロセスの優先度がカレントプロセスの優先度よりも小さい場合 (これは優先度が高い、という意味)、runrun が増分されている。

優先度を再計算しているが、これがカレントプロセスの優先度よりも大きい場合に runrun が増分されている。例の小冊子によれば bug ではないか、との指摘あり。

4 秒に一度、runrun 増分されている。

runrun を評価しているのは call1 のみ、となるのですが例えば setrun された手続きがいきなり swtch で切り替えられる訳ではなくて諸々の準備が必要になります。
swtch で切り替え対象となるプロセスオブジェクトは

という状態のものなんですが、setrun 手続きで SRUN にされたけれど SLOAD でないものについては sched 手続きでコアにロードされなければなりません。そういった意味では runin 乃至 runout で #0 なプロセスが wakeup されないと、という事になります。

時間切れっぽいんですが、この状態で Section 4 に突入してみます。どうなるやら。