Videos

This page collects all the recorded lecture videos. See the individual lectures notes pages for embedded videos. Videos will usually be posted about a week after the class is held.

Class 1: What is an Operating System?

What is an Operating System? (9:16)

Does it have an Operating System? (12:49)

Operating Systems: Course Overview (15:34)

Introducing Rust (18:27)

Class 3: Zero to a Billion in 4.86 Years

Zero to a Billion in 4.86 Years (3:22)

From Chimps to Universal Machines (4:56)

The Race to Practical Machines (9:20)

The First Real Operating Systems (11:27)

From Multics to Android (15:43)

Class 4: Once Upon a Process: Videos

Once Upon a Process (7:32)

Rust Expressions and Higher-Order Functions (17:24)

How to Share a Processor - Preemptive Scheduling (20:49)

Class 5: Gash Has No Privileges (Shells and Processes)

Privileged Instructions (15:05)

Virtualizing Machines (5:13)

How Many Processes Should a Web Browser Create? (9:10)

Good Auld Shell (gash) Demo (16:54)

Class 6: Making a Process (Virtualizing Memory)

PS2 Tips: Background Processes, Interrupts (17:45)

How to Make a Process (7:44)

Virtual Memory in MULTICS (4:23)

Virtual Memory in the x86 (16:27)

Class 7: Double Faults (Multi-Level Pages, Page Faults and Segmentation Faults)

Modern Page Tables: Multi-Level Paging (17:23)

Segmentation Faults and Page Faults (5:28)

More on Segmentation Faults (4:37)

Processes, Threads, and Tasks (10:43)

Class 8: Memory Management

Exam Review: gash in Ring 3, sudo (5:48)

Concurrent Collatz Challenge (5:48)

Memory Management in C (5:35)

fingerd Fail! (The Morris Worm and How to Defeat It) (25:40)

Class 9: Pointers in Rust

Automatic Memory Management (17:15)

Type Safety and Garbage Collection (6:17)

Pointers in Rust (16:03)

Class 10: SSL, Sharing, Scheduling

goto fail; (Apple's SSL Bug) (19:24)

Safe Sharing across Tasks (15:43)

Introduction to Scheduling (3:51)

Class 11: Smarter Scheduling

Scheduling Recap, Real-Time Systems (10:07)

First Come, First Serve; Round-Robin (8:59)

Priorities (3:37)

Preemptive Priority Scheduling (8:04)

Lottery and Stride Scheduling (9:30)

Class 12: Scheduling in Linux and Web Servers

Glimpse at the Leaderboard (2:15)
Scheduling in Linux (from 2.2 to OS X Mavericks) (18:26)
Scheduling Web Services (27:05)

Class 13: The Internet
Course Update: Projects (3:51)
Benchmarking for Customers (9:01)
Latency (7:32)
Tracing Routes (15:27)
Bandwidth (4:59)
Packet Switching and Internetworking (4:58)

Class 14: Entering Ring Naught
Course Update, 2013 Turing Award! (5:21)
Memory Isolation in Software and Hardware (13:59)
Entering the Kernel! (11:13)
Introducing IronKernel (6:49)
IronKernel Demo (14:54)

Class 15: IronKernel Developers
IronKernel Developers (19:36)
Alex Lamana, Zeming Lin, Wil Thomason

Class 16: Storage
Storage (9:42)
SRAM and DRAM (8:19)
Disk Drives (10:13)
Storage Abstractions (File Systems) (17:18)

Class 17: Flash!
Making a File (5:55)
Requirements for Modern File Systems (4:52)
ZFS: Integrity Checking (6:31)
RAID: Redundant Arrays of Inexpensive Disks (5:36)
Adaptive Replacement Cache (8:14)
Flash Memory (5:26)
Log-Structured File Systems (15:04)

Class 18: System Calls
Minimizing Magic (3:26)
Access Control (16:48)
setuid in Apache (13:03)
Implementing System Calls (17:30)

Class 19: Synchronization
PS4 Postmortem (3:56)
SSL Heartbleed (13:36)
(More Videos Pending)

Class 20: Mutual Exclusion
(Videos Pending)

Class 21: Bakers and Philosophers
(Videos Pending)

Class 22: Microkernels and Beyond (Videos Pending)

Class 23: Invent the Future! (Videos Pending)

comments powered by Disqus