慕课-英华学堂

高级操作系统

课程类型：选修课

主讲教师：陈渝

课程来源：清华大学

建议学分：3.00分

课程编码：xtzx0817

课程介绍

课程目录

教师团队

Advanced OS Overview

s Course Overview （9分钟）

s Course Scheduling （14分钟）

s Rethink OS Components （17分钟）

s Tendency of OS -- Performance （7分钟）

s Tendency of OS -- Reliability （8分钟）

s Tendency of OS -- Correctness + Summary （16分钟）

OS Architecture &Structure

s Overview （12分钟）

s History （24分钟）

s Monolithic kernel – UNIX （16分钟）

s Micro kernel – Mach & L4 （18分钟）

s Exokernel – Xok+ExOS （27分钟）

Virtual Machine Monitor

s overview （23分钟）

s How VMM works-part1 （25分钟）

s How VMM works-part2 （15分钟）

s Hardware-assisted Virtualization （24分钟）

Optimization of Virtual Machine Monitor

s Introduction （28分钟）

s Introduction （26分钟）

s lightvm （25分钟）

s lightvm （20分钟）

s dune （23分钟）

s dune （33分钟）

The Interface of OS

s Introduction （23分钟）

s Overview of POSIX （22分钟）

s POSIX in modern OS （12分钟）

s How to design a Linux kernel interface （13分钟）

s Interface for Performance part1 （23分钟）

s Interface for Performance part2 （31分钟）

The Programming Languages of OS

s Introduction （56分钟）

s The Evolution of C Programming Practices （31分钟）

s A Study of Bugs on Linux （24分钟）

s The benefits and costs of writing kernel in a HLL （21分钟）

s Writing kernel in Rust （42分钟）

s Writing kernel in Rust （17分钟）

Scalable Sync on Shared-Memory Multiprocessors

s Introduction （30分钟）

s Cache Coherence （39分钟）

s Memory Consistency （37分钟）

Scalable Sync on Shared-Memory Multiprocessors-II

s Multiprocessor Memory Model & Multiprocessor Programming （27分钟）

s Multiprocessor Memory Model & Multiprocessor Programming （17分钟）

s Multiprocessor Memory Model & Multiprocessor Programming （9分钟）

s Multiprocessor Memory Model & Multiprocessor Programming （12分钟）

s Multiprocessor Memory Model & Multiprocessor Programming （13分钟）

s Multiprocessor Memory Model & Multiprocessor Programming （12分钟）

Concurrency in OS Kernel

s Introduction （33分钟）

s scalable lock （22分钟）

s RCU （24分钟）