RedLeaf - Isolation and Communication in a Safe Operating System

RedLeaf - Isolation and Communication in a Safe Operating System

USENIX via YouTube Direct link

Intro

1 of 24

1 of 24

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. 1 Intro
  2. 2 History of Isolation
  3. 3 Isolation mechanisms
  4. 4 Traditional Safe languages vs Rust
  5. 5 Language-based isolation - Rust
  6. 6 Fault isolation in Language-based systems
  7. 7 Language-based isolation: Deep copy
  8. 8 Language-based isolation: Capabilities
  9. 9 Language-based isolation: Singularity
  10. 10 Heap Isolation
  11. 11 Exchangeable types
  12. 12 Ownership tracking
  13. 13 Heap reclamation
  14. 14 Cross-domain call proxying
  15. 15 Interface validation
  16. 16 Device driver Recovery
  17. 17 System setup
  18. 18 Communication costs
  19. 19 Language overheads: Cvs Rust
  20. 20 Case Study: Device Drivers
  21. 21 Ixgbe performance benchmark
  22. 22 Application benchmarks: Maglev
  23. 23 Application: Key Value Store
  24. 24 Conclusion

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.