操作系统导论中的一组概念
机制:功能的实现
策略:智能,做出的决定
进程的组成包括寄存器,其访问的内存(地址空间),程序计数器
unix中提供的进程API
fork
创建新进程,在父进程中返回值为子进程ID,在子进程中返回值为0,子进程创建后从fork返回(开始执行)
wait
exec
execve
状态机的重置
一切进程strace的第一个调用
环境变量会在此时传入(控制了程序行为 ssh同一台机器 行为会在不同的电脑输出结果) 环境变量会继承父进程
fork和exec的组合使用例子 shell
机制
受限直接执行
有限制,允许进程间切换(上下文切换 硬件时钟中断 硬件保存;操作系统调度 操作系统保存)
进程调度
调度指标 周转时间(性能)完成时间-到达时间
SJF,STCF
响应时间(交互)首次运行-到达
RR 公平
软件是现实世界需求的投影,而(软件)代码这一投影是有损的,比如一个代表金钱的变量应当有所限制,代码并不能很简单直接的表达这一限制
调试理论 fault到failure中经历了很长的距离,防御性编程这种方式可以迅速捕获fault
懒得做sanitizer?
检测数据冒险(图上的可达问题)和潜在死锁的方式
信号量
挺适合表示表示先后关系(前驱图)
内存虚拟化
页表 多重页表 页表目录
操作系统在完成了初始化工作之后感觉就变成了中断处理。(时钟中断, 主动 系统调用等)