【2023博士生教学课件】卡内基梅隆大学：高级操作系统和分布式系统

【参考教材】Computer Networks:A Systems Approach

【参考教材】Operating Systems:Principles and Practice

01 Introduction

02 A few classics

03 Implementing Remote Procedure Calls

04 Time,Clocks,and the Ordering of Events in a Distributed System

05 Distributed Snapshots:Determining Global States of Distributed Systems

06 Detecting Concurrency Bugs

07 A Fast File System for UNIX

08 Scale and Performance in a Distributed File System

09 The Design and Implementation of a Log-Structured File System

10 A Case for Redundant Arrays of Inexpensive Disks (RAID)

11 On Optimistic Methods for Concurrency Control

12 Concurrency Control and Recovery

13 Paxos

14 Practical Byzantine Fault Tolerance

15 Microkernels

16 Formal Verification of an OS Kernel

17 Virtual Machines

18 Multicore Kernels

19 Barrelfish Multikernel

20 Key-Value Stores:Chord &Dynamo

21 Spanner

22 Caching & Scheduling

23 merging Platforms