Completed
Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
RedLeaf - Isolation and Communication in a Safe Operating System
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 History of Isolation
- 3 Isolation mechanisms
- 4 Traditional Safe languages vs Rust
- 5 Language-based isolation - Rust
- 6 Fault isolation in Language-based systems
- 7 Language-based isolation: Deep copy
- 8 Language-based isolation: Capabilities
- 9 Language-based isolation: Singularity
- 10 Heap Isolation
- 11 Exchangeable types
- 12 Ownership tracking
- 13 Heap reclamation
- 14 Cross-domain call proxying
- 15 Interface validation
- 16 Device driver Recovery
- 17 System setup
- 18 Communication costs
- 19 Language overheads: Cvs Rust
- 20 Case Study: Device Drivers
- 21 Ixgbe performance benchmark
- 22 Application benchmarks: Maglev
- 23 Application: Key Value Store
- 24 Conclusion