【2023博士生教学课件】卡内基梅隆大学:高级操作系统和分布式系统.zip
(75.11 MB, 需要: RMB 28 元)
【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


雷达卡




京公网安备 11010802022788号







