操作系統：原理與實現

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

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

叢書序言
序言一
序言二
前言
第一部分操作系統基礎
第1章操作系統概述
1.1簡約不簡單：從Hello World說起
1.2什麼是操作系統
1.3操作系統簡史
1.3.1GM-NAAI/O：第一個（批處理）操作系統
1.3.2OS/360：從專用走向通用
1.3.3 ltics/UNIX/Linux：分時與多任務
1.3.4macOS/Windows：以人為本的人機交互
1.3.5iOS/Android：移動互聯網時代的操作系統
1.4操作系統接口
1.5思考題
參考文獻
第2章操作系統結構
2.1操作系統的機制與策略
2.2操作系統複雜性的管理方法
2.3操作系統內核架構
……