第
四
章
操
作
系统
的
内
部
实
现
机
制
4.1
进
程
的
管
理
在
合
适
的
时
候
让
CPU
执
⾏
已
经
读
⼊内
存
的
程
序
4.1.1
进
程
概
念
的
引
⼊
1.
什么
是
进
程
?
进
程
与
程
序
有
什么
联
系
和区
别
?
进
程
是
程
序
在
计
算
机
中
的
⼀个
执
⾏
过
程
程
序
是
静
态
的
，
⽽
进
程
是
动
态
的
每
⼀个
进
程
都
有
⼀个
进
程
控
制
块
，
存
放
进
程
有
关
的
信
息
4.1.2
进
程
的
状
态
基
本
状
态
已
经
获
得
了
除
处
理
器
以
外
的
所
有
必
要
资
源
的
进
程
处
于
（
）
。
A
、
执
⾏
状
态
B
、
完
成
状
态
C
、
就
绪
状
态
D
、
阻
塞
状
态
就
绪
：
只
差
CPU
执
⾏
阻
塞
：
等
待
I/O
设
备
分
时机
制
--
时
间
⽚
2.
请
画
出
进
程
的
基
本
状
态
转
换
图
。
（
重
要
⼤
题
）
基
本
状
态
图
进
程
的
五
状
态
图
大仙在干啥
Linux
状
态
图
4.1.3
进
程
的
调
度
CPU
空
出
来
先
让
哪
个
进
程
运
⾏
3.
常
⻅
的
进
程
调
度
策
略
有
哪
些
?
分别
有
什么优
点
和
缺
点
?
怎
样
改
进
?p128
先
来
先
服
务
⾮
剥
夺
式
不
限
时
，
前
⾯
的
⼀
堆
事
后
⾯
的
⼀
件事
轮转
式
调
度
可
剥
夺
式
每次
排
队
只
填
⼀个
表
没
⽤
完
时
间
⽚
单
独
队
列
优
先
优
先
级
法
优
先
级
相
同
在
⼀个
队
列
优
先
级
低
永
远
不
⾏
？
饥饿
等
了
⼀
定
时
间
优
先
级
提
升
为什么
进
程
切
换
会产
⽣
系统
开
销
？
操
作
系统
根
据
⼀
定
的
策
略
选
择
进
程
是
需
要
时
间
和
空
间
的
。
各
种
调
度
策
略
的
具
体体
现
就
是
操
作
系统
中
的
有
关
代
码
。
这
些代
码的
执
⾏
需
要
时
间
。
大仙在干啥
这
些代
码
以
及
⽤
到
的相
应
数据
结
构
都
要
放
在
内
存
中
，
这
些
数据
结
构
的
修
改
也
需
要
时
间
。
进
程
上下
⽂
保
存
和
恢
复
也
需
要
时
间
和
内
存
。
4.
为什么
进
程
切
换
会产
⽣
系统
开
销
?
操
作
系统
根
据
⼀
定
的
策
略
选
择
进
程
是
需
要
时
间
和
空
间
的
。
各
种
调
度
策
略
的
具
体体
现
就
是
操
作
系统
中
的
有
关
代
码
。
这
些代
码的
执
⾏
需
要
时
间
。
这
些代
码
以
及
⽤
到
的相
应
数据
结
构
都
要
放
在
内
存
中
，
这
些
数据
结
构
的
修
改
也
需
要
时
间
。
进
程
上下
⽂
保
存
和
恢
复
也
需
要
时
间
和
内
存
。
4.1.4
进
程
的
同
步
与
互
斥
从
下
列
有
关
进
程管
理
的
叙
述
中
，
选
出
正
确的
两
条
叙
述
。
A
、
进
程
之
间
同
步
，
主
要
源
于
进
程
之
间
的
资
源
竞
争
，
是
指
对
多
个
相
关
进
程
在
执
⾏
次
序
上
的
协
调
；
B
、
临
界
资
源
是
指
每次
仅
允
许
⼀个
进
程
访
问
的
资
源
；
C
、
信
号
量
机
制
是
⼀
种
有
效
实
现
进
程
同
步
与
互
斥
的
⼯
具
。
信
号
量
只
能
由
P-V
操
作
改
变
；
D
、
V
操
作
是
对
信
号
量
执
⾏
加
1
操
作
，
意
味
着
释
放
⼀个
单
位
资
源
，
加
1
后
如
果
信
号
量
的
值
⼩
于
等
于
零
，
则
从
等
待
队
列
中
唤
醒
⼀个
进
程
，
现
进
程
变
为
等
待
状
态
，
否
则
现
进
程
继
续
进
⾏
；
互
斥
：
⾃
⼰
没
有
使
⽤
完
资
源
之
前
，
其
他
进
程
不
能
插
进
来
打扰
竞
争
资
源
5.
操
作
系统
⽤
什么
⽅
法
实
现
进
程
对
资
源
的
互
斥
访
问
?
操
作
系统
通过
提
供互
斥
量
及
对
互
斥
量
进
⾏
操
作
的
系统
调
⽤
来
实
现
进
程
资
源
的
互
斥
申
请
--
临
界
区
操
作
系统
加
锁
互
斥
资
源没
被
使
⽤
，
操
作
系统
同
意
⽤
完
--
操
作
系统
开
锁
同
步
：
进
程
之
间
合
作
⽤
信
号
量
机
制
不
能
实
现
进
程
对
资
源
的
互
斥
访
问
。
错
“
原
⼦
操
作
”
，
即
⼀个
操
作中
的
所
有
动
作
要
么
全做
，
要
么
全
不
做
。
对
6.
操
作
系统
⽤
什么
⽅
法
实
现
进
程
间
的
同
步
?
操
作
系统
通过
提
供信
号
量
及
相
应
的
PV
操
作
实
现
进
程
对
资
源
使
⽤
的
同
步
信
号
量
--
值
为
对
应
资
源
的
个
数
P
操
作
--
消
费
，
减
1
，
是
否
⼩
于
零
，
是
否
执
⾏
V
操
作
--
加
1
，
⼤
于
零
，
没
⼈
等
；
⼩
于
零
，
等
待
的
进
程
有
资
源
可
⽤
了
--
放
到
就
绪
⾥
信
号
量
也
可
以
实
现
资
源
的
互
斥
访
问
--
信
号
量
设
为
1
4.1.5
进
程
间
的
通
信
7.
操
作
系统
为
进
程
间
的
通
信
提
供了
哪
些
⼿
段
?
它
们
各
有
何优
缺
点
?
适
合
什么
样
的
场
合
?
信
号
大仙在干啥
信
息
少
事
先
定
义
，
传
输
特
定
事件
信
号
队
列
⽤
在
有
亲
缘
关
系
的
进
程
之
间
管
道
⼤
量
信
息
先
进
先出
的
单向
通
信
以
字
节
为
组织
单
位
：
没
有格
式
的
字
节
流
（
清
明时
节
⾬
纷纷
消
息
队
列
⼤
量
保
持
数据
逻辑边
界
共
享
内
存
（
）
是
速
度
最
快
的
进
程
间
通
信
⽅
式
，
⽤
户
需
要
进
⾏
同
步
管
理
。
速
度
最
快
的
进
程
间
通
信
⽅
式
管
道
和
消
息
队
列
都
需
要
数据
复
制
但
是
进
程
必
须
⾃
⼰实
现
同
步
控
制
没
有
同
步
机
制
操
作
系统
不
插
⼿
另
⼀
⽅
不
查
不
知
道
管
道
和
消
息
队
列
由
操
作
系统
控
制
同
步
基
于
⽹络
连
接
的
通
信
通过
⽹络
连
接
传
递
信
息
套
接
字
socket
抽
象
结
构
--
计
算
机
名
称
+
端
⼝号
可
以
⽀
持
同
⼀
主
机
或
者
不
同
主
机
上
的
进
程
之
间
的
通
信
4.1.6
线
程
线
程
（
）
A
、
是
分
配
处
理
机
的
单
位
B
、
以
⽂
件
形式
存
放
在
内
存
中
C
、
是
执
⾏
任
务
的
单
元
体
D
、
包
含
在
进
程
中
8.
线
程
是
什么
?
与
进
程
有
什么
区
别
和
联
系
?
为什么
要
使
⽤
线
程
?
线
程
是
分
配
处
理
机
的
单
元
实
体
，
⽽
进
程
则
是
处
理
机
之
外
其
他
资
源
的
分
配
单
元
实
体
；
⼀个
进
程
⾄
少
包
含
⼀个
线
程
;
同
⼀
进
程
中
的
线
程
之
间
的
切
换
不
⽤
切
换
进
程
的
资
源
信
息
，
因
⽽
开
销
⽐
切
换
不
同
进
程
之
间
的
线
程
⼩
。
大仙在干啥
4.2
内
存
的
管
理
信
息
在
内
存
中
的
存
储
单
道
程
序
阶
段
批
处
理
系统
阶
段
监
控
程
序
（
操
作
系统
前
身
系统
空
间
⽤
户
程
序
⽤
户
空
间
多
道
批
处
理
系统
阶
段
不
只
有
⼀个
进
程
信
息
分
时
系统
阶
段
4.2.1
固
定
分
区
关
于
固
定
分
区
法
说
法
正
确的
是
（
）
。
A
、
系统
需
要
维
护
的
管
理
信
息
⾮
常
少
B
、
内
存
分
配
算
法
很
简
单
C
、
系统
中
最
多
能
同
时
容
纳
的
进
程
数
⽬
跟
分
区
⼤
⼩
有
关
D
、
分
区
内
部
碎
⽚
造
成
的
内
存
浪
费
⽐
较
严
重
9.
什么
是
固
定
分
区
法
?
它
有
什么优
点
?
缺
点
是
什么
?
把
整
个
内
存
分
成
⼤
⼩
相
等
的
若
⼲
个
区
域
，
以
区
域
为
单
位
给
进
程
分
配
内
存
分
为
等
⻓
和
不
等
⻓
两
种
优
点
：
系统
需
要
维
护
的
管
理
信
息
⾮
常
少
，
最
简
单
的
内
存
管
理
办
法
缺
点
：
限
制
了
系统
中
同
时
存
在
的
进
程
数
⽬
，
产
⽣
的
内
部
碎
⽚
浪
费
内
存
进
程
需
要
的
内
存
⼤
于
分
区
覆
盖
技
术
--
在
程
序
员
控
制
下
实
现
的
内
存
扩
展
⽅
法
4.2.2
动
态
分
区
10.
什么
是
动
态
分
区
法
?
它
有
什么优
点
?
⼜
存
在
什么
问题
?
在
系统
运
⾏
中
根
据
每
个
进
程
需
要
的
空
间
⼤
⼩
确
定
分
区
⼤
⼩
空
闲
分
区
组织
成
链
表
放
置
算
法
分
配
分
区
产
⽣
外
部
碎
⽚
、
降
低
内
存
使
⽤率
动
态
分
区
常
⽤
放
置
算
法
⽤
可变
分
区
法
管
理
内
存
时
，
必
须
查
找
全
部
空
闲
分
区
的
放
置
算
法
是
（
）
。
A
、
⾸
次
适
应
法
B
、
下⼀个
适
应
法
C
、
最
佳
适
应
法
大仙在干啥
评论0