本書由計算機系統設計的權威專家、美國麻省理工學院Saltzer和Kaashoek教授編寫。本書是第一本闡述計算機系統設計中的基本原理和抽像的教材,是麻省理工開放式課程計劃(MIT Open Courseware)中「計算機系統工程」課程的主教材。計算機系統的基本原理橫跨於操作系統、網絡、數據庫、分佈式系統、程序設計語言、軟件工程以及計算機體系結構等方面。通過詳細分析每個基本原理的案例,本書演示了如何應用這些原理和抽像來解決實際的計算機系統設計問題。本書的重點是計算機系統的設計,因此,本書闡述了那些在實踐中已證明是成功的抽像概念,如命令、遠程過程調用、客戶/服務器組織結構、文件系統、事務處理、修復複製、讀/寫一致性,以及認證與保密消息等概念。這些抽像概念使得計算機系統設計者可以用功能日益強大的模塊來構建計算機系統,保護計算機系統避免從意外的編程錯誤到惡意入侵在內的各種故障。本書描述了如何實現這些抽像概念,演示了如何把它們應用於不同的系統,為讀者日後的設計工作打下基礎。