操作系统：原理与实现 PDF

本书以三个“面向”为导向，即面向经典基础理论与方法，面向国际前沿研究，面向zui新工业界实践，深入浅出地介绍操作系统的理论、架构、设计方法与具体实现。本书将原理与实现解耦，从具体问题导出抽象概念，然后分析实现方法。全书内容以ARM架构为主，x86架构为辅；以微内核架构为主，同时兼顾宏内核与外核等架构。此外，本书配有教学操作系统ChCore，以及一系列相关的课程实验。本书的第 一部分(操作系统基础)以纸质版的形式出版，第二部分（操作系统进阶）和第三部分（ChCore课程实验）以电子版的形式在本书网站发布。本书既可以作为高等院校计算机专业本科生和研究生的操作系统课程教材，也可以作为工业界相关领域研发人员的参考书。

陈海波

上海交通大学特聘教授、博导，并行与分布式系统研究所所长，领域操作系统教育部工程研究中心主任，国家杰出青年基金获得者，IEEE Fellow，ACM杰出科学家。主要研究领域为操作系统、分布式系统与系统安全。研究成果通过产学研深度结合被应用到十亿级设备，产生了广泛的学术与产业影响。曾获陈嘉庚青年科学奖、教育部技术发明一等奖、全国优秀博士学位论文奖、中国青年科技奖等。目前担任OpenHarmony技术指导委员会创始主席、CCF系统软件专委会副主任、ACM旗舰杂志Communications of the ACM首位中国学者编委与领域共同主席。研究工作还获得了华为卓越贡献个人奖，ASPLOS、EuroSys、VEE等最佳论文奖以及DSN“时间检验奖”。按照csrankings.org的统计，其近5年（2018～2022）在操作系统领域高水平会议（SOSP/OSDI、EuroSys、USENIX ATC和FAST）上发表的论文数居世界第一。

夏虞斌

上海交通大学教授、博导，教育部青年长江学者，上海市优秀学术带头人，上海交通大学卓越教学奖获得者，《麻省理工科技评论》2022年中国隐私计算科技创新人物。主要研究领域为操作系统、体系结构和系统安全，多次担任OSDI、EuroSys等操作系统领域会议的程序委员会委员。曾获教育部技术发明一等奖、CCF NASAC青年软件创新奖、VEE最佳论文奖、DSN“时间检验奖”。领导团队研发的安全操作系统T6获得“挑战杯”全国特等奖、“互联网+”双创大赛全国银奖，并已实现产业化，实际部署设备数量过亿；基于RISC-V平台研发的可信执行环境软硬件系统“蓬莱”现已开源。目前担任OpenHarmony-上海交通大学技术俱乐部主任、OpenHarmony机密计算技术委员会委员。