MIT 6.S081 Lecture 3: OS organization and system calls
Reading
- Read Chapter2
- read code
Isolation
如果没有OS隔离,用户应用直接与硬件交互,难以实现Multiplexing
Unix Interface
-
抽象关系
- OS -> H/W
- process -> CPU
- exec -> Memory
- files -> disk block
Defensive
-
Isolation between apps and OS
-
HW support
- user / kernel mode
user mode被允许执行add sub等指令,而kernel mode被允许执行受限指令 - virtual memory
- user / kernel mode
Virtual Memory
-
Page table将虚拟地址映射到物理地址
-
每个独立的进程有独立的page table,因此实现了不同进程间的内存隔离
Kernel
-
Kernel -> TCB(可信任的计算空间)
- 无bug
- 把apps当作恶意的
-
内核架构
- 宏内核(Linux)
- 微内核(两倍跳转,低performance)
MIT 6.S081 Lecture 3: OS organization and system calls