ISBN: 9787111722489

出版日期: 2023-02-01

作者： 陳海波,夏虞斌

裝訂： 平裝.無.542頁.26.

作業系統目前已成為中國“卡脖子”的關鍵技術之一，這對作業系統的教材建設提出了新的要求。首先，教材需要體現作業系統的核心原理與設計，説明讀者構築系統性的認識；其次，教材需要反映國際研究前沿，幫助讀者開拓新思路；*後，教材需要反映工業界實踐，不可陷入紙上談兵的陷阱。

作為作業系統教材的新嘗試，本書融合了作者的教學經驗與工業實踐經驗，以三個“面向”為導向，即面向經典基礎理論與方法，面向國際前沿研究，面向*新工業界實踐，深入淺出地介紹作業系統的理論、架構、設計方法與具體實現。本書將原理與實現解耦，從具體問題匯出抽象概念，然後分析實現方法。全書內容以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機密計算技術委員會委員。