MIT6.S081
CtrlK
  • 简介
  • Lec01 Introduction and Examples (Robert)
  • Lec03 OS Organization and System Calls (Frans)
  • Lec04 Page tables (Frans)
  • Lec05 Calling conventions and stack frames RISC-V (TA)
  • Lec06 Isolation & system call entry/exit (Robert)
  • Lec08 Page faults (Frans)
  • Lec09 Interrupts (Frans)
  • Lec10 Multiprocessors and locking (Frans)
  • Lec11 Thread switching (Robert)
  • Lec13 Sleep & Wake up (Robert)
  • Lec14 File systems (Frans)
  • Lec15 Crash recovery (Frans)
  • Lec16 File system performance and fast crash recovery (Robert)
  • Lec17 Virtual memory for applications (Frans)
  • Lec18 OS organization (Robert)
  • Lec19 Virtual Machines (Robert)
  • Lec20 Kernels and HLL (Frans)
    • 20.1 C语言实现操作系统的优劣势
    • 20.2 高级编程语言实现操作系统的优劣势
    • 20.3 高级编程语言选择 --- Golang
    • 20.4 Biscuit
    • 20.5 Heap exhaustion
    • 20.6 Heap exhaustion solution
    • 20.7 Evaluation: HLL benefits
    • 20.8 Evaluation: HLL performance cost(1)
    • 20.9 Evaluation: HLL performance cost(2)
    • 20.10 Should one use HLL for a new kernel?
  • Lec21 Networking (Robert)
  • Lec22 Meltdown (Robert)
  • Lec23 RCU (Robert)
Powered by GitBook
On this page

Lec20 Kernels and HLL (Frans)

准备工作,阅读【1】:

【1】https://pdos.csail.mit.edu/6.828/2020/readings/biscuit.pdf

Previous19.7 Dune: Safe User-level Access to Privileged CPU FeaturesNext20.1 C语言实现操作系统的优劣势

Last updated 3 years ago