书籍详情

操作系统设计:Xinu方法(原书第2版)

操作系统设计:Xinu方法(原书第2版)

作者:[美] 道格拉斯·科默(Douglas Comer) 著,陈向群 郭立峰等 译

出版社:机械工业出版社

出版时间:2019-04-01

ISBN:9787111621911

定价:¥99.00

购买这本书可以去
内容简介
  本书以Xinu(一个小型简洁的操作系统)为例,全面介绍操作系统设计方面的知识。本书着重讨论用于嵌入式设备的微内核操作系统,采用的方法是在现有的操作系统课程中纳入更多的嵌入式处理内容,而非引入一门教读者如何在嵌入式系统上编程的新课程。 本书从底层机器开始,一步步地设计和实现一个小型但优雅的操作系统Xinu,指导读者通过实用、简单的原语来构造传统的基于进程的操作系统。本书回顾了主要的系统组件,并利用分层设计范式,以一种有序、易于理解的方式组织内容。 作者的网站www.xinu.cs.purdue.edu提供了便于学生搭建实验环境的软件和资料。
作者简介
暂缺《操作系统设计:Xinu方法(原书第2版)》作者简介
目录
出版者的话
译者序
前言
关于作者
第1章 引言和概述1
1.1 操作系统1
1.2 本书的研究方法2
1.3 分层设计2
1.4 Xinu操作系统4
1.5 操作系统的界定4
1.6 从外部看操作系统5
1.7 其他章节概要6
1.8 观点6
1.9 总结7
练习7
第2章 并发执行与操作系统服务8
2.1 引言8
2.2 多活动的编程模型8
2.3 操作系统服务9
2.4 并发处理的概念和术语9
2.5 串行程序和并发程序的区别11
2.6 多个进程共享同一段代码12
2.7 进程退出与进程终止14
2.8 共享内存、竞争条件和同步14
2.9 信号量与互斥18
2.10 Xinu中的类型命名方法19
2.11 使用kputc和kprintf进行操作系统的调试20
2.12 观点20
2.13 总结21
练习21
第3章 硬件与运行时环境概述22
3.1 引言22
3.2 开发平台的物理和逻辑架构22
3.3 指令集23
3.4 通用寄存器23
3.5 I/O总线和存-取范例24
3.6 DMA机制25
3.7 总线地址空间25
3.8 总线启动和配置26
3.9 函数调用约定和运行时栈26
3.10 中断和中断处理28
3.11 中断向量29
3.12 异常向量和异常处理29
3.13 时钟硬件29
3.14 串行通信30
3.15 轮询与中断驱动I/O30
3.16 存储布局30
3.17 内存保护31
3.18 硬件细节和片上系统体系结构31
3.19 观点31
3.20 硬件参考资料32
练习32
第4章 链表与队列操作33
4.1 引言33
4.2 进程链表的统一数据结构33
4.3 简洁的链表数据结构34
4.4 队列数据结构的实现35
4.5 内联队列操作函数36
4.6 获取链表中进程的基础函数37
4.7 FIFO队列操作38
4.8 优先级队列的操作40
4.9 链表初始化42
4.10 观点43
4.11 总结43
练习43
第5章 调度和上下文切换45
5.1 引言45
5.2 进程表45
5.3 进程状态47
5.4 就绪和当前状态48
5.5 调度策略48
5.6 调度的实现49
5.7 推迟重新调度52
5.8 上下文切换的实现52
5.9 内存中保存的状态52
5.10 上下文切换操作53
5.11 重新启动进程执行的地址56
5.12 并发执行和空进程57
5.13 使进程就绪和调度常量57
5.14 其他进程调度算法58
5.15 观点58
5.16 总结59
练习59
第6章 更多进程管理60
6.1 引言60
6.2 进程挂起和恢复60
6.3 自我挂起和信息隐藏60
6.4 系统调用61
6.5 禁止和恢复中断62
6.6 系统调用模板63
6.7 系统调用返回值SYSERR和OK63
6.8 挂起的实现64
6.9 挂起当前进程65
6.10 suspend函数的返回值65
6.11 进程终止和进程退出66
6.12 进程创建68
6.13 其他进程管理函数72
6.14 总结74
练习74
第7章 协调并发进程76
7.1 引言76
7.2 进程同步的必要性76
7.3 计数信号量的概念77
7.4 避免忙等待77
7.5 信号量策略和进程选择77
7.6 等待状态78
7.7 信号量数据结构79
7.8 系统调用wait79
7.9 系统调用signal80
7.10 静态和动态信号量分配81
7.11 动态信号量的实现示例82
7.12 信号量删除83
7.13 信号量重置84
7.14 并行处理器(多核)之间的协调85
7.15 观点86
7.16 总结86
练习87
第8章 消息传递88
8.1 引言88
8.2 两种类型的消息传递服务88
8.3 消息使用资源的限制89
8.4 消息传递函数和状态转换89
8.5 send的实现90
8.6 receive的实现91
8.7 非阻塞消息接收的实现92
8.8 观点92
8.9 总结92
练习93
第9章 基本内存管理94
9.1 引言94
9.2 内存的类型94
9.3 重量级进程的定义95
9.4 示例系统的内存管理95
9.5 程序段和内存区域95
9.6 动态内存分配96
9.7 底层内存管理器的设计97
9.8 分配策略和内存持久性97
9.9 追踪空闲内存98
9.10 底层内存管理的实现98
9.11 使用空闲内存的数据结构定义99
9.12 分配堆存储100
9.13 分配栈存储102
9.14 堆和栈存储的释放103
9.15 观点105
9.16 总结106
练习106
第10章 高级内存管理和虚拟内存107
10.1 引言107
10.2 分区空间分配107
10.3 缓冲池108
10.4 分配缓冲区108
10.5 将缓冲区返还给缓冲池110
10.6 创建缓冲池111
10.7 初始化缓冲池表112
10.8 虚拟内存和内存复用113
10.9 实地址空间和虚地址空间113
10.10 支持按需分页的硬件114
10.11 使用页表的地址转换114
10.12 页表项中的元数据115
10.13 按需分页以及设计上的问题116
10.14 页面替换和全局时钟算法116
10.15 观点117
10.16 总结117
练习118
第11章 高层消息传递119
11.1 引言119
11.2 进程间通信端口119
11.3 端口实现119
11.4 端口表初始化120
11.5 端口创建121
11.6 向端口发送消息122
11.7 从端口接收消息124
11.8 端口的删除和重置125
11.9 观点128
11.10 总结128
练习128
第12章 中断处理130
12.1 引言130
12.2 中断的优点130
12.3 中断处理130
12.4 中断向量131
12.5 中断和异常集成131
12.6 使用代码的ARM异常向量132
12.7 设备中断向量号的分配135
12.8 中断分派136
12.9 中断的软件结构137
12.10 禁止中断139
12.11 中断代码调用函数的限制140
12.12 中断过程中重新调度的必要性140
12.13 中断过程中的重新调度140
12.14 观点141
12.15 总结142
练习142
第13章 实时时钟管理143
13.1 引言143
13.2 定时事件143
13.3 实时时钟和计时器硬件143
13.4 实时时钟中断处理144
13.5 延时与抢占145
13.6 抢占的实现145
13.7 使用增量链表对延迟进行有效管理146
13.8 增量链表的实现147
13.9 将进程转入睡眠148
13.10 定时消息接收150
13.11 唤醒睡眠进程154
13.12 时钟中断处理154
13.13 时钟初始化156
13.14 观点159
13.15 总结159
练习159
第14章 设备无关的I/O161
14.1 引言161
14.2 I/O和设备驱动的概念结构161
14.3 接口抽象和驱动抽象162
14.4 I/O接口示例163
14.5 打开-读-写-关闭范例163
14.6 绑定I/O操作和设备名164
14.7 Xinu中的设备名164
14.8 设备转换表概念165
14.9 设备的多个副本和共享驱动166
14.10 高层I/O操作的实现168
14.11 其他高层I/O函数169
14.12 打开、关闭和引用计数172
14.13 devtab中的空条目和错误条目174
14.14 I/O系统的初始化174
14.15 观点178
14.16 总结179
练习179
第15章 设备驱动示例180
15.1 引言180
15.2 使用UART硬件进行串行通信180
15.3 tty抽象180
15.4 tty设备驱动的组织结构181
15.5 请求队列和缓冲区182
15.6 上半部和下半部的同步183
15.7 UART硬件FIFO与驱动设计184
15.8 控制块的概念184
15.9 tty控制块和数据声明184
15.10 次设备号186
15.11 上半部tty字符输入(ttygetc)187
15.12 上半部tty读取函数(ttyread)188
15.13 上半部tty字符输出(ttyputc)189
15.14 开始输出(ttykickout)190
15.15 上半部tty多字符输出(ttywrite)191
15.16 下半部tty驱动函数(ttyhandler)192
15.17 输出中断处理(ttyhandle_out)194
15.18 tty输入处理(ttyhandle_in)196
15.19 tty控制块初始化(ttyinit)202
15.20 设备驱动控制(ttycontrol)204
15.21 观点205
15.22 总结205
练习206
第16章 DMA设备和驱动(以太网)207
16.1 引言207
16.2 直接内存访问和缓冲区207
16.3 多个缓冲区和缓冲区环207
16.4 使用DMA的以太网驱动示例208
16.5 设备的硬件定义和常量209
16.6 环和内存缓冲区211
16.7 以太网控制块的定义213
16.8 设备和驱动初始化215
16.9 从以太网设备读取数据包221
16.10 向以太网设备写入数据包223
16.11 以太网设备的中断处理225
16.12 以太网控制函数228
16.13 观点229
16.14 总结229
练习229
第17章 最小互联网协议栈230
17.1 引言230
17.2 所需的功能230
17.3 同步会话、超时和网络处理进程231
17.4 设计的影响232
17.5 ARP函数232
17.6 网络数据包的定义241
17.7 网络输入进程242
17.8 IP的相关定义245
17.9 IP函数246
17.10 UDP表的定义255
17.11 UDP函数256
17.12 互联网控制报文协议267
17.13 动态主机配置协议268
17.14 观点275
17.15 总结275
练习275
第18章 远程磁盘驱动277
18.1 引言277
18.2 磁盘抽象277
18.3 磁盘驱动支持的操作277
18.4 块传输和高层I/O函数277
18.5 远程磁盘范例278
18.6 高速缓存的重要概念278
18.7 磁盘操作的语义279
18.8 驱动数据结构的定义280
18.9 驱动初始化(rdsinit)284
18.10 上半部打开函数(rdsopen)287
18.11 远程通信函数(rdscomm)289
18.12 上半部写函数(rdswrite)291
18.13 上半部读函数(rdsread)293
18.14 刷新挂起的请求296
18.15 上半部控制函数(rdscontrol)297
18.16 分配磁盘缓冲区(rdsbufalloc)299
18.17 上半部关闭函数(rdsclose)300
18.18 下半部通信进程(rdsprocess)302
18.19 观点306
18.20 总结306
练习306
第19章 文件系统308
19.1 什么是文件系统308
19.2 文件操作的示例集308
19.3 本地文件系统的设计309
19.4 Xinu文件系统的数据结构309
19.5 索引管理器的实现310
19.6 清空索引块(lfibclear)314
19.7 获取索引块(lfibget)315
19.8 存储索引块(lfibput)315
19.9 从空闲链表中分配索引块(lfiballoc)316
19.10 从空闲链表中分配数据块(lfdballoc)317
19.11 使用设备无关的I/O函数进行文件操作319
19.12 文件系统的设备配置和函数名称320
19.13 本地文件系统打开函数(lfsopen)320
19.14 关闭文件伪设备(lflclose)326
19.15 刷新磁盘中的数据(lfflush)328
19.16 文件的批量传输函数(lflwrite、lflread)328
19.17 在文件中查找新位置(lflseek)330
19.18 从文件中提取一字节(lflgetc)331
19.19 改变文件中的一字节(lflputc)332
19.20 载入索引块和数据块(lfsetup)334
19.21 主文件系统设备的初始化(lfsinit)337
19.22 伪设备的初始化(lflinit)338
19.23 文件截断(lftruncate)339
19.24 初始文件系统的创建(lfscreate)341
19.25 观点343
19.26 总结343
练习343
第20章 远程文件机制345
20.1 引言345
20.2 远程文件访问345
20.3 远程文件语义345
20.4 远程文件设计和消息346
20.5 远程文件服务器通信(rfscomm)352
20.6 发送基本消息(rfsndmsg)354
20.7 网络字节序355
20.8 使用设备范例的远程文件系统355
20.9 打开远程文件(rfsopen)356
20.10 检查文件模式(rfsgetmode)359
20.11 关闭远程文件(rflclose)360
20.12 读远程文件(rflread)361
20.13 写远程文件(rflwrite)363
20.14 远程文件的定位(rflseek)365
20.15 远程文件单字符I/O(rflgetc、rflputc)366
20.16 远程文件系统控制函数(rfscontrol)367
20.17 初始化远程文件系统(rfsinit、rflinit)370
20.18 观点372
20.19 总结372
练习372
第21章 句法名字空间374
21.1 引言374
21.2 透明与名字空间抽象374
21.3 多种命名方案375
21.4 命名系统设计的其他方案376
21.5 基于句法的名字空间376
21.6 模式和替换376
21.7 前缀模式377
21.8 名字空间的实现377
21.9 名字空间的数据结构和常量377
21.10 增加名字空间前缀表的映射378
21.11 使用前缀表进行名字映射379
21.12 打开命名文件383
21.13 名字空间初始化383
21.14 对前缀表中的项进行排序386
21.15 选择逻辑名字空间386
21.16 默认层次和空前缀387
21.17 额外的对象操作函数387
21.18 名字空间方法的优点和限制388
21.19 广义模式388
21.20 观点389
21.21 总结389
练习390
第22章 系统初始化391
22.1 引言391
22.2 引导程序:从零开始391
22.3 一个通过网络启动的例子392
22.4 操作系统初始化392
22.5 Xinu初始化393
22.6 Xinu系统启动395
22.7 从程序转化为进程399
22.8 观点399
22.9 总结399
练习400
第23章 子系统初始化和内存标记401
23.1 引言401
23.2 自初始化模块401
23.3 并发系统中的自初始化模块402
23.4 重新启动后的自初始化403
23.5 使用登录号初始化404
23.6 广义内存标记方案405
23.7 内存标记系统的数据声明406
23.8 标记的实现407
23.9 观点408
23.10 总结408
练习408
第24章 异常处理409
24.1 引言409
24.2 术语:故障、检测、陷阱和异常409
24.3 向量异常和可屏蔽中断 409
24.4 异常的类型410
24.5 处理异常410
24.6 异常向量初始化411
24.7 面对灾难时的panic411
24.8 panic函数的实现411
24.9 观点412
24.10 总结412
练习412
第25章 系统配置413
25.1 引言413
25.2 多重配置的需求413
25.3 Xinu系统配置414
25.4 Xinu配置文件的内容414
25.5 计算次设备号416
25.6 配置Xinu系统的步骤417
25.7 观点417
25.8 总结417
练习417
第26章 一个用户接口例子:Xinu shell419
26.1 引言419
26.2 什么是用户接口419
26.3 命令和设计原则419
26.4 一个简化shell的设计决策420
26.5 shell的组织和操作420
26.6 词法符号的定义421
26.7 命令行语法的定义421
26.8 Xinu shell的实现422
26.9 符号的存储424
26.10 词法分析器代码424
26.11 命令解释器的核心428
26.12 命令名查询和内部处理434
26.13 传递给命令的参数435
26.14 向外部命令传递参数435
26.15 I/O重定向438
26.16 命令函数(sleep)的例子439
26.17 观点440
26.18 总结441
练习441
附录1 操作系统移植443
附录2 Xinu设计注解450
索引454
猜您喜欢

读书导航