Discusses the tradeoffs of writing operating-system kernels in C versus memory-safe languages, and introduces Biscuit as a basis for measuring those costs and benefits.
Save to open this file
MIT 6.S081: Operating System Engineering
All
01-Introduction
- 02-C and gdb
- 03-OS organization and system calls
- 04-Page tables
- 05-Calling conventions and stack frames RISC-V
- 07-Q&A labs
- 08-Page faults
- 09-Interrupts
- 10-Multiprocessors and locking
- 14-File systems
- 15-Crash recovery
- 17-Virtual memory for applications
- 20-Kernels and HLL
- 23-RCU