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