什么是操作系统

==管理资源，提供服务==

对什么东西做抽象，然后提供服务？（后端接口，对整个后端服务器程序做抽象，抽象成为几个对前端开放的接口地址，为前端提供服务）

计算机操作系统，狭义上的操作系统——管理硬件资源，为软件运行提供服务

应用视角的操作系统

计算机是==状态机==，程序的执行就是状态的变化

系统调用 程序 = 状态机 操作系统 = 状态机的管理者

硬件视角的操作系统

• 计算机中的抽象 下层不需要知道上层怎么用，只需要向上层提供服务
• 状态机
  • 状态
  • 初始状态
  • 状态迁移
• 计算机系统 对于硬件来说，操作系统就是一个普通的（二进制）程序
  • 执行指令
    • 并发
  • 响应中断
  • 输入输出

数学视角的操作系统

• 用严格的数学语言描述程序——离散数学 程序都是严格的数学对象 证明一个程序的正确性？？？
• 暴力枚举
• 写出证明（逻辑公式）

用逻辑语言编写程序

• 命题就是类型
• 证明就是程序 ![[Pasted image 20250314202938.png]]
• UNIX基本模型
  • 进程
  • 系统调用
  • 上下文切换
  • 调度