现代操作系统：原理与实现

作者简介

陈海波 上海交通大学特聘教授、博导，并行与分布式系统研究所所长，领域操作系统教育部工程研究中心主任，国家杰出青年基金获得者，ACM杰出科学家，CCF杰出会员与杰出演讲者。主要研究领域为操作系统和系统安全。曾获教育部技术发明一等奖（第一完成人）、全国博士学位论文奖、CCF青年科学家奖。目前担任ACM SIGOPS ChinaSys主席、CCF系统软件专委会副主任、ACM旗舰杂志Communications of the ACM中国首位编委与Special Sections领域共同主席、ACM Transactions on Storage编委。曾任ACM SOSP 2017年大会共同主席、ACM CCS 2018系统安全领域主席、ACM SIGSAC奖励委员会委员。研究工作还获得了华为*高个人贡献奖、金牌团队奖。按照csrankings.org的统计，其近5年（2015～2019）在操作系统领域高水平会议（SOSP/OSDI、EuroSys、USENIX ATC和FAST）上发表的论文数居世界第一。 夏虞斌 上海交通大学副教授、博导，CCF高级会员。主要研究领域为操作系统、体系结构和系统安全，曾任OSDI、EuroSys等多个国际会议的程序委员会委员。领导团队研发的安全操作系统T6获得2015年“挑战杯”全国大学生课外学术科技作品竞赛和中国大学生创业计划竞赛特等奖、2019年中国“互联网+”大学生创新创业大赛全国银奖，并已实现产业化，实际部署设备数量过亿；基于RISC-V平台研发的可信执行环境软硬件系统“蓬莱”现已开源。 ·由浅入深介绍现代操作系统经典理论与方法 ·结合前沿研究与工业界实践，面向真实场景与真实问题 ·全新打造ChCore实验内核，建立对操作系统的第一手实践经验

内容简介

1）操作系统和系统安全领域国际知名学者、上海交通大学陈海波、夏虞斌教授作品； 2）由浅入深介绍现代操作系统经典理论与方法； 3）结合前沿研究与工业界实践，面向真实场景与真实问题； 4）全新打造ChCore实验内核，建立对操作系统的第一手实践经验； 操作系统目前已成为我国“卡脖子”的关键技术之一，如何加强操作系统课程和教材的建设变得至关重要。首先，操作系统教材需要体现操作系统的核心原理与设计，从而帮助读者建立对操作系统的系统性认识；其次，操作系统教材需要反映国际的研究前沿，当前操作系统技术仍在迅猛发展，随着新处理器、新加速器架构、新应用场景的出现，很多新的问题不断涌现，并且很多经典的问题也出现了新的解决方法，这些都给操作系统的设计与实现提供了新的思路；最后，操作系统教材需要反映工业界实践，操作系统是一门系统性与实践性非常强的学科，脱离实现来谈设计很容易陷入纸上谈兵的陷阱。 （1）本书以三个“面向”为导向，即面向经典基础理论与方法，面向国际前沿研究，面向工业界实践，深入浅出地介绍操作系统的理论、架构、设计方法与具体实现。本书是首本以ARM64为主体介绍操作系统的教材，将学术前沿与工业实践充分结合,不仅介绍了现有的Linux宏内核操作系统架构，而且介绍了微内核、外核等操作系统架构。 （2）本书作者陈海波现为上海交通大学特聘教授、博导，并行与分布式系统研究所所长，领域操作系统工程研究中心主任，国家杰出青年基金获得者，ACM杰出科学家，CCF杰出会员与杰出演讲者，不但有丰富的教学经验，而且在工业界还有丰富的带领团队研发操作系统的经验。因此本书不但介绍了现代操作系统的经典理论与方法，还结合前沿研究与工业界实践，介绍了真实场景下的应用、问题和解决方案。 （3）为了帮助读者更好地理解操作系统的设计与实现，上海交通大学并行与分布式系统研究所团队还专门实现了一个小巧但具有较完整基础功能的微内核架构教学操作系统ChCore，并基于ChCore设计了一系列的课程实验。 （4）本书拥有丰富的教辅材料：在“好大学在线”设置了MOOC课程；建设了课程网站，提供了与课程教学配套的讲义PPT与授课视频；搭建了在线社区，供大家讨论与答疑。 （5）本书结合作者在工业界长期担任技术和综合面试官的经验，将一些典型的操作系统相关的技术问题融入本书内容以及每章的课后思考题中，既可为工业界从事操作系统相关领域研发工作的专业人员提供参考，又可对希望从事相关领域研发工作的求职者有所帮助。