diff --git a/book/zh-cn/part2runtime/ch06sched/mpg.md b/book/zh-cn/part2runtime/ch06sched/mpg.md index 8af7d94..9bd0bae 100644 --- a/book/zh-cn/part2runtime/ch06sched/mpg.md +++ b/book/zh-cn/part2runtime/ch06sched/mpg.md @@ -21,7 +21,7 @@ P 的存在不太好理解,我们暂时先记住这个概念,之后再来回 每个 M 在某个时刻有且只能调度一个 G。根据抽屉原理,可以很容易的证明这两条性质: - 性质 1:当用户态代码创建了 $p (p > n)$ 个 G 时,则必定存在 $p-n$ 个 G 尚未被 M 调度执行; -- 性质 2:当用户态代码创建的 q (q < n) 时,则必定存在 n-q 个 M 不存在正在调度的 G。 +- 性质 2:当用户态代码创建的 $q (q < n)$ 个 G 时,则必定存在 $n-q$ 个 M 不存在正在调度的 G。 这两条性质分别决定了工作线程的 **暂止(park)** 和 **复始(unpark)** 。