现代操作系统

这不是一本适合零基础读者从头啃的入门教材，而是一部面向'现代操作系统'的进阶之作。读者反复提到：第一部分实体书更像经典的恐龙书，真正出彩、让人大呼过瘾的是第二部分电子书——多核处理器、文件系统崩溃一致性、轻量级虚拟化、形式化证明等近年工业界落地的技术，被系统性地纳入其中。全书以 ARM64(Arch64)为实践主体，并配套 ChCore 课程实验，让抽象的机制与策略'可触可感'。它适合已具备一定基础、想理解系统背后设计思想与前沿演进的读者；若你正寻找第一本 OS 教材，它或许并不合适。

陈海波，上海交通大学特聘教授、博导，并行与分布式系统研究所所长，领域操作系统教育部工程研究中心主任，国家杰出青年基金获得者，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平台研发的可信执行环境软硬件系统“蓬莱”现已开源。