操作系統:原理與實現

陳海波,夏虞斌等著

  • 出版商: 機械工業
  • 出版日期: 2023-02-01
  • 售價: $714
  • 貴賓價: 9.5$678
  • 語言: 簡體中文
  • 頁數: 568
  • 裝訂: 平裝
  • ISBN: 7111722485
  • ISBN-13: 9787111722489
  • 相關分類: Operating-system
  • 銷售排行: 🥇 2023/11 簡體中文書 銷售排行 第 1 名

    立即出貨

買這商品的人也買了...

商品描述

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

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