KSplit - Automating Device Driver Isolation

KSplit - Automating Device Driver Isolation

USENIX via YouTube Direct link

Ixgbe: pointer classification

19 of 23

19 of 23

Ixgbe: pointer classification

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

KSplit - Automating Device Driver Isolation

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 Driver vulnerabilities
  3. 3 Driver isolation architecture
  4. 4 Isolation performance
  5. 5 Challenge: Large interface boundary
  6. 6 Challenge: Complex data structures
  7. 7 Challenge: Low-level kernel/C idioms
  8. 8 Challenge: Concurrency primitives
  9. 9 KSplit design choices
  10. 10 Shared field analysis
  11. 11 Program Dependence Graph
  12. 12 Boundary Data Access Analysis: exa
  13. 13 Atomic Region Analysis
  14. 14 Infer marshaling requirements for po
  15. 15 Classify Pointers with Nescheck
  16. 16 Evaluation
  17. 17 Ixgbe: data synchronization optimization
  18. 18 Ixgbe: synchronization primitives
  19. 19 Ixgbe: pointer classification
  20. 20 Ixgbe: Manual work
  21. 21 Manual Work average across isolated
  22. 22 Performance overhead: memcached
  23. 23 Conclusions

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.