| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装-胶订 |
| 是否套装：否 |
| 国际标准书号ISBN：9787111776895 |
| 所属分类：图书>计算机/网络>硬件外部设备维修 |
新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！重磅推荐
编辑推荐
·对基于闪存的固态硬盘（）等现代存储方案进行了全面的讨论。 ·包含事件驱动服务器、现代位架构、文件系统、输入输出、虚拟化、云计算等方面的新进展。 ·安全部分聚焦于与操作系统设计和结构直接相关的主题，如新的攻击和防御方法。 ·实例研究部分从 更新为 ，关于和的部分也做了全面更新。
内容简介
本书是操作系统领域的经典教材，这一版紧跟现代操作系统的步伐，在保持原有特色的基础上增添了许多新内容，反映了技术动向与行业发展趋势。作者的写作风格清晰有趣，概述了每个操作系统设计人员都需要掌握的概念。书中融汇着作者对于设计与实现操作系统各种技术的思考，他们的深刻洞察与清晰阐释使得本书脱颖而出且经久不衰。
第版重要更新：
·对基于闪存的固态硬盘（）等现代存储方案进行了全面的讨论。
·包含事件驱动服务器、现代位架构、文件系统、输入输出、虚拟化、云计算等方面的新进展。
安全部分聚焦于与操作系统设计和结构直接相关的主题，如新的攻击和防御方法。
·实例研究部分从 更新为 ，关于和的部分也做了全面更新。
·对章末的研究部分完全进行重写，以反映近期新的操作系统研究成果，所有章节都增加了新的习题。
·更新建议阅读书目清单，参考文献收录了上一版推出后的多篇新论文，这些对于在该领域进行深入探索的读者而言非常有益。
作者简介
安德鲁·塔嫩鲍姆 阿姆斯特丹自由大学荣休教授，荷兰家艺术与科学院院士， ， 。他撰写的计算机教材享誉全球，被翻译为种语言在各国大学中使用。他开发的操作系统是一个开源项目，专注于高可靠性、灵活性及安全性。他曾赢得享有盛名的欧洲研究理事会卓越贡献奖，以及和的诸多奖项。
赫伯特·博斯 阿姆斯特丹自由大学教授，系统安全研究小组负责人。他是一名全方位的系统专家，目前主要致力于研究用于检测、分析和缓解瞬态执行攻击的方法。此外，他的研究兴趣还包括操作系统设计、微架构攻击与防御、模糊测试、漏洞利用、可靠系统等。
目 录
译者序
前言
作者简介
第章 引论
什么是操作系统
作为扩展机器的操作系统
作为资源管理器的操作系统
操作系统的历史
第一代计算机（～年）：真空管和穿孔卡片
第二代计算机（～年）：晶体管和批处理系统
第三代计算机（～年）：集成电路芯片和多道程序设计
第四代计算机（年至今）：个人计算机
第五代计算机（年至今）：移动计算机
计算机硬件简介译者序
前言
作者简介
第章 引论
什么是操作系统
作为扩展机器的操作系统
作为资源管理器的操作系统
操作系统的历史
第一代计算机（～年）：真空管和穿孔卡片
第二代计算机（～年）：晶体管和批处理系统
第三代计算机（～年）：集成电路芯片和多道程序设计
第四代计算机（年至今）：个人计算机
第五代计算机（年至今）：移动计算机
计算机硬件简介
处理器
存储器
非易失性存储器
设备
总线
启动计算机
操作系统大观园
大型机操作系统
服务器操作系统
个人计算机操作系统
智能手机和掌上计算机操作系统
物联网和嵌入式操作系统
实时操作系统
智能卡操作系统
操作系统概念
进程
地址空间
文件
输入输出
保护
个体重复系统发育
系统调用
用于进程管理的系统调用
用于文件管理的系统调用
用于目录管理的系统调用
各种系统调用
操作系统结构
单体系统
层次式系统
微内核
客户端服务器模式
虚拟机
外核和
依靠的世界
语言
头文件
大型编程项目
运行模型
有关操作系统的研究
本书其他部分概要
公制单位
小结
习题
第章 进程与线程
进程
进程模型
进程的创建
进程的终止
进程的层次结构
进程的状态
进程的实现
多道程序设计模型
线程
线程的使用
经典的线程模型
线程
在用户空间中实现线程
在内核中实现线程
混合实现
使单线程代码多线程化
事件驱动服务器
同步和进程间通信
竞争条件
临界区
忙等待的互斥
睡眠与唤醒
信号量
互斥量
管程
消息传递
屏障
优先级反转
避免锁：读复制更新
调度
调度简介
批处理系统中的调度
交互式系统中的调度
实时系统中的调度
策略和机制
线程调度
有关进程与线程的研究
小结
习题
第章 内存管理
无内存抽象
一种内存抽象：地址空间
地址空间的概念
交换技术
空闲内存管理
虚拟内存
分页
页表
加速分页过程
针对大内存的页表
页面置换算法
很优页面置换算法
最近未使用页面置换算法
先进先出页面置换算法
第二次机会页面置换算法
时钟页面置换算法
最近最少使用页面置换算法
用软件模拟
工作集页面置换算法
工作集时钟页面置换算法
页面置换算法小结
分页系统中的设计问题
局部分配策略与全局分配策略
负载控制
清除策略
页面大小
分离的指令空间和数据空间
共享页面
共享库
内存映射文件
有关实现的问题
与分页有关的操作系统工作
缺页中断处理
指令备份
锁定内存中的页面
后备存储
策略和机制的分离
分段
纯分段的实现
分段和分页结合：
分段和分页结合：
有关内存管理的研究
小结
习题
第章 文件系统
文件
文件命名
文件结构
文件类型
文件访问
文件属性
文件操作
使用文件系统调用的一个示例程序
目录概述
一级目录系统
层次目录系统
路径名
目录操作
文件系统的实现
文件系统布局
文件的实现
目录的实现
共享文件
日志结构文件系统
日志文件系统
闪存文件系统
虚拟文件系统
文件系统管理和优化
磁盘空间管理
文件系统备份
文件系统的一致性
文件系统性能
磁盘碎片整理
压缩和重复数据删除
文件安全删除和磁盘加密
文件系统实例
文件系统
文件系统
有关文件系统的研究
小结
习题
第章 输入输出
硬件原理
设备
设备控制器
内存映射
直接存储器存取
重温中断
软件原理
软件的目标
程序控制
中断驱动
使用的
软件层次
中断处理程序
设备驱动程序
与设备无关的软件
用户空间的软件
大容量存储：磁盘和固态硬盘
磁盘
固态硬盘
时钟
时钟硬件
时钟软件
软定时器
用户界面：键盘、鼠标和显示器
输入软件
输出软件
瘦客户机
电源管理
硬件问题
操作系统问题
应用程序问题
有关输入输出的研究
小结
习题
第章 死锁
资源
可抢占资源和不可抢占资源
资源获取
哲学家进餐问题
死锁概述
资源死锁的条件
死锁模型
鸵鸟算法
死锁检测和死锁恢复
每种类型一个资源的死锁检测
每种类型多个资源的死锁检测
从死锁中恢复
死锁避免
资源轨迹图
安全状态和不安全状态
单个资源的银行家算法
多个资源的银行家算法
死锁预防
破坏互斥条件
破坏占有并等待条件
破坏不可抢占条件
破坏循环等待条件
其他问题
两阶段加锁
通信死锁
活锁
饥饿
有关死锁的研究
小结
习题
第章 虚拟化和云
历史
虚拟化的必要条件
第一类和第二类虚拟机管理程序
高效虚拟化的技术
在不支持虚拟化的平台上实现虚拟化
虚拟化的开销
虚拟机管理程序是正确的微内核吗
内存虚拟化
虚拟化
多核上的虚拟机
云
云即服务
虚拟机迁移
检查点
操作系统级虚拟化
案例研究：
的早期历史
将虚拟化引入的挑战
解决方案概览
的演变
的第一类虚拟机管理程序
有关虚拟化和云的研究
小结
习题
第章 多处理机系统
多处理机
多处理机硬件
多处理机操作系统类型
多处理机同步
多处理机调度
多计算机
多计算机硬件
低层通信软件
用户层通信软件
远程过程调用
分布式共享存储器
多计算机调度
负载平衡
分布式系统
网络硬件
网络服务和协议
基于文档的中间件
基于文件系统的中间件
基于对象的中间件
基于协作的中间件
有关多处理机系统的研究
小结
习题
第章 安全
操作系统安全基础
安全三要素
安全原则
操作系统结构的安全性
可信计算基
攻击者
可信系统
保护机制
保护域
访问控制列表
权能字
安全系统的形式化模型
多级安全
密码学
可信平台模块
认证
密码
使用物理识别的认证方式
使用生物识别的认证方式
软件漏洞
缓冲区溢出攻击
格式化字符串攻击
攻击
类型混淆漏洞
空指针间接引用攻击
整数溢出攻击
命令注入攻击
检查时间使用时间攻击
双重获取漏洞
利用硬件漏洞
隐蔽信道
侧信道
瞬态执行攻击
内部攻击
逻辑炸弹
后门陷阱
登录欺骗
操作系统加固
细粒度随机化
控制流
准入
代码和数据完整性检查
使用可信平台模块的远程认证
封装不受信任的代码
有关安全的研究
小结
习题
……
显示全部信息
商品详情
编辑推荐
·对基于闪存的固态硬盘（）等现代存储方案进行了全面的讨论。 ·包含事件驱动服务器、现代位架构、文件系统、输入输出、虚拟化、云计算等方面的新进展。 ·安全部分聚焦于与操作系统设计和结构直接相关的主题，如新的攻击和防御方法。 ·实例研究部分从 更新为 ，关于和的部分也做了全面更新。
内容简介
本书是操作系统领域的经典教材，这一版紧跟现代操作系统的步伐，在保持原有特色的基础上增添了许多新内容，反映了技术动向与行业发展趋势。作者的写作风格清晰有趣，概述了每个操作系统设计人员都需要掌握的概念。书中融汇着作者对于设计与实现操作系统各种技术的思考，他们的深刻洞察与清晰阐释使得本书脱颖而出且经久不衰。
第版重要更新：
·对基于闪存的固态硬盘（）等现代存储方案进行了全面的讨论。
·包含事件驱动服务器、现代位架构、文件系统、输入输出、虚拟化、云计算等方面的新进展。
安全部分聚焦于与操作系统设计和结构直接相关的主题，如新的攻击和防御方法。
·实例研究部分从 更新为 ，关于和的部分也做了全面更新。
·对章末的研究部分完全进行重写，以反映近期新的操作系统研究成果，所有章节都增加了新的习题。
·更新建议阅读书目清单，参考文献收录了上一版推出后的多篇新论文，这些对于在该领域进行深入探索的读者而言非常有益。
作者简介
安德鲁·塔嫩鲍姆 阿姆斯特丹自由大学荣休教授，荷兰家艺术与科学院院士， ， 。他撰写的计算机教材享誉全球，被翻译为种语言在各国大学中使用。他开发的操作系统是一个开源项目，专注于高可靠性、灵活性及安全性。他曾赢得享有盛名的欧洲研究理事会卓越贡献奖，以及和的诸多奖项。
赫伯特·博斯 阿姆斯特丹自由大学教授，系统安全研究小组负责人。他是一名全方位的系统专家，目前主要致力于研究用于检测、分析和缓解瞬态执行攻击的方法。此外，他的研究兴趣还包括操作系统设计、微架构攻击与防御、模糊测试、漏洞利用、可靠系统等。
目 录
译者序
前言
作者简介
第章 引论
什么是操作系统
作为扩展机器的操作系统
作为资源管理器的操作系统
操作系统的历史
第一代计算机（～年）：真空管和穿孔卡片
第二代计算机（～年）：晶体管和批处理系统
第三代计算机（～年）：集成电路芯片和多道程序设计
第四代计算机（年至今）：个人计算机
第五代计算机（年至今）：移动计算机
计算机硬件简介译者序
前言
作者简介
第章 引论
什么是操作系统
作为扩展机器的操作系统
作为资源管理器的操作系统
操作系统的历史
第一代计算机（～年）：真空管和穿孔卡片
第二代计算机（～年）：晶体管和批处理系统
第三代计算机（～年）：集成电路芯片和多道程序设计
第四代计算机（年至今）：个人计算机
第五代计算机（年至今）：移动计算机
计算机硬件简介
处理器
存储器
非易失性存储器
设备
总线
启动计算机
操作系统大观园
大型机操作系统
服务器操作系统
个人计算机操作系统
智能手机和掌上计算机操作系统
物联网和嵌入式操作系统
实时操作系统
智能卡操作系统
操作系统概念
进程
地址空间
文件
输入输出
保护
个体重复系统发育
系统调用
用于进程管理的系统调用
用于文件管理的系统调用
用于目录管理的系统调用
各种系统调用
操作系统结构
单体系统
层次式系统
微内核
客户端服务器模式
虚拟机
外核和
依靠的世界
语言
头文件
大型编程项目
运行模型
有关操作系统的研究
本书其他部分概要
公制单位
小结
习题
第章 进程与线程
进程
进程模型
进程的创建
进程的终止
进程的层次结构
进程的状态
进程的实现
多道程序设计模型
线程
线程的使用
经典的线程模型
线程
在用户空间中实现线程
在内核中实现线程
混合实现
使单线程代码多线程化
事件驱动服务器
同步和进程间通信
竞争条件
临界区
忙等待的互斥
睡眠与唤醒
信号量
互斥量
管程
消息传递
屏障
优先级反转
避免锁：读复制更新
调度
调度简介
批处理系统中的调度
交互式系统中的调度
实时系统中的调度
策略和机制
线程调度
有关进程与线程的研究
小结
习题
第章 内存管理
无内存抽象
一种内存抽象：地址空间
地址空间的概念
交换技术
空闲内存管理
虚拟内存
分页
页表
加速分页过程
针对大内存的页表
页面置换算法
很优页面置换算法
最近未使用页面置换算法
先进先出页面置换算法
第二次机会页面置换算法
时钟页面置换算法
最近最少使用页面置换算法
用软件模拟
工作集页面置换算法
工作集时钟页面置换算法
页面置换算法小结
分页系统中的设计问题
局部分配策略与全局分配策略
负载控制
清除策略
页面大小
分离的指令空间和数据空间
共享页面
共享库
内存映射文件
有关实现的问题
与分页有关的操作系统工作
缺页中断处理
指令备份
锁定内存中的页面
后备存储
策略和机制的分离
分段
纯分段的实现
分段和分页结合：
分段和分页结合：
有关内存管理的研究
小结
习题
第章 文件系统
文件
文件命名
文件结构
文件类型
文件访问
文件属性
文件操作
使用文件系统调用的一个示例程序
目录概述
一级目录系统
层次目录系统
路径名
目录操作
文件系统的实现
文件系统布局
文件的实现
目录的实现
共享文件
日志结构文件系统
日志文件系统
闪存文件系统
虚拟文件系统
文件系统管理和优化
磁盘空间管理
文件系统备份
文件系统的一致性
文件系统性能
磁盘碎片整理
压缩和重复数据删除
文件安全删除和磁盘加密
文件系统实例
文件系统
文件系统
有关文件系统的研究
小结
习题
第章 输入输出
硬件原理
设备
设备控制器
内存映射
直接存储器存取
重温中断
软件原理
软件的目标
程序控制
中断驱动
使用的
软件层次
中断处理程序
设备驱动程序
与设备无关的软件
用户空间的软件
大容量存储：磁盘和固态硬盘
磁盘
固态硬盘
时钟
时钟硬件
时钟软件
软定时器
用户界面：键盘、鼠标和显示器
输入软件
输出软件
瘦客户机
电源管理
硬件问题
操作系统问题
应用程序问题
有关输入输出的研究
小结
习题
第章 死锁
资源
可抢占资源和不可抢占资源
资源获取
哲学家进餐问题
死锁概述
资源死锁的条件
死锁模型
鸵鸟算法
死锁检测和死锁恢复
每种类型一个资源的死锁检测
每种类型多个资源的死锁检测
从死锁中恢复
死锁避免
资源轨迹图
安全状态和不安全状态
单个资源的银行家算法
多个资源的银行家算法
死锁预防
破坏互斥条件
破坏占有并等待条件
破坏不可抢占条件
破坏循环等待条件
其他问题
两阶段加锁
通信死锁
活锁
饥饿
有关死锁的研究
小结
习题
第章 虚拟化和云
历史
虚拟化的必要条件
第一类和第二类虚拟机管理程序
高效虚拟化的技术
在不支持虚拟化的平台上实现虚拟化
虚拟化的开销
虚拟机管理程序是正确的微内核吗
内存虚拟化
虚拟化
多核上的虚拟机
云
云即服务
虚拟机迁移
检查点
操作系统级虚拟化
案例研究：
的早期历史
将虚拟化引入的挑战
解决方案概览
的演变
的第一类虚拟机管理程序
有关虚拟化和云的研究
小结
习题
第章 多处理机系统
多处理机
多处理机硬件
多处理机操作系统类型
多处理机同步
多处理机调度
多计算机
多计算机硬件
低层通信软件
用户层通信软件
远程过程调用
分布式共享存储器
多计算机调度
负载平衡
分布式系统
网络硬件
网络服务和协议
基于文档的中间件
基于文件系统的中间件
基于对象的中间件
基于协作的中间件
有关多处理机系统的研究
小结
习题
第章 安全
操作系统安全基础
安全三要素
安全原则
操作系统结构的安全性
可信计算基
攻击者
可信系统
保护机制
保护域
访问控制列表
权能字
安全系统的形式化模型
多级安全
密码学
可信平台模块
认证
密码
使用物理识别的认证方式
使用生物识别的认证方式
软件漏洞
缓冲区溢出攻击
格式化字符串攻击
攻击
类型混淆漏洞
空指针间接引用攻击
整数溢出攻击
命令注入攻击
检查时间使用时间攻击
双重获取漏洞
利用硬件漏洞
隐蔽信道
侧信道
瞬态执行攻击
内部攻击
逻辑炸弹
后门陷阱
登录欺骗
操作系统加固
细粒度随机化
控制流
准入
代码和数据完整性检查
使用可信平台模块的远程认证
封装不受信任的代码
有关安全的研究
小结
习题
……
显示全部信息
商品详情