【重学计算机】计算机操做系统

1、操做系统概述

1. 计算机软硬件系统

• 冯诺伊曼结构
  • 以运算单元为核心，控制流由指令流产生
  • 程序和数据存储在主存中
  • 主存是按地址访问，线性编址
  • 指令由操做码和地址码组成
  • 数据以二进制编码
• 其余：参考《重学计算机-计算机组成原理》

2. 计算机操做系统的发展

• 概述：任何一台机器都有其操做平台和操做系统
  • 洗衣机：开关表示、按钮控制、亮灯显示
• 演进过程
  • 手工操做：手动调动地址和数据按钮录入内存，而后点运行
  • 引进装入程序：用卡片和纸带，经过ROM上的装入程序载入内存
    • 汇编语言：对指令提供了助记符号
    • 高级语言：面向问题
  • 简单批处理系统：编写做业控制程序，缩短手工操做的时间
  • 多道批处理系统：排队执行做业，不能同时，也不能和计算机交互
  • 分时系统、实时系统：进程间切换，引入中断机制
  • 通用操做系统：同时具有以上功能

3. 不一样视角下的操做系统

• 资源管理的角度：
  
  • 资源：硬件资源（处理器、内存、外设），软件资源（数据、程序）
  • 例子：驱动程序
  • 共享：资源独占、并发共享
  • 分配：静态、动态、抢占
• 程序控制的角度：进程
• 操做方式的角度：脱机、联机
• 人机交互的角度：行命令、全屏幕控制、窗口界面、虚拟现实
• 程序接口的角度：系统调用（陷入机制）
• 系统结构的角度：
  • OS构件：内核、进程、线程、管程
  • 设计概念：模块化、层次化、虚拟化

2、处理器管理

1. 指令与处理器模式

• 指令执行周期：取指、译码、执行
• 指令分类（根据权限）
  • 特权指令：只能被操做系统内核使用（启动IO，置PC值）
  • 非特权指令：全部程序都能使用
• 处理器模式：
  • 共有四种：0内核模式，1系统调用，2共享库程序，3用户模式
  • 通常来讲：只有0内核模式（能执行所有指令）和3用户模式（只能执行非特权指令）
  • 模式切换：
    • 用户模式 --> 内核模式（系统调用、异常、响应中断）
    • 内核模式 --> 用户模式（中断返回指令）

2. 中断

• 概念：
  • 操做系统是中断驱动的。即中断是激活操做系统的惟一方式
  • 广义中断：中止CPU正在执行的进程，转而执行中断处理程序，处理完后返回原进程或调度新进程
  • 狭义中断：源于处理器以外的中断事件，IO中断、时钟中断、外部信号中断
• 中断源：
  
  • 处理器硬件故障中断事件：内存故障
  • 程序性中断事件：除0异常、缺页异常
  • 自愿性中断事件：系统调用
  • IO中断事件：IO完成
  • 外部中断事件：鼠标点击
• 中断系统：
  • 实现：硬件完成中断响应，软件完成中断处理
  • 中断装置：
    • 处理器外中断：由中断控制器实现
    • 处理器内中断（陷阱）：由指令控制逻辑实现
    • 系统调用（系统陷阱）：执行陷入指令时直接触发，即系统陷阱
  • 中断处理流程
  • 多中断处理：中断屏蔽、中断优先级、中断嵌套

3. 进程

• 进程：操做系统进行资源分配和调度的独立单位
• 进程解剖：OS管理进程的数据结构P + 内存代码 + 内存数据 + 通用寄存器R + PSW
• 进程状态：
• 进程数据：
  • 进程控制块PCB：是OS用于记录进程状态和环境信息的数据结构
    • 标识信息：进程标识（进程标识号、进程组标识号）
    • 现场信息：用户可见寄存器内容、控制/状态寄存器内容、栈指针内容
    • 控制信息：进程调度信息、进程组成信息、队列指引元、通讯相关、进程特权信息、处理器使用信息、资源清单信息
  • 进程映像：某一时刻进程的内容及执行状态集合
    • 进程控制块、进程程序块、进程数据块、核心栈
  • 进程上下文：进程执行的环境支持（CPU现场、Cache中的执行信息）
    • 用户级、寄存器级、系统级
• 进程的管理
  • 进程实现的队列模型
  • 进程控制流程
    • 进程建立：进程表增长一项，申请PCB并初始化，生成标识，创建映像，分配资源，移入就绪队列
    • 进程撤销：从队列中移除，归还响应资源。。。
    • 进程阻塞：保存现场，修改PCB，移入等待队列
    • 进程唤醒：从等待队列移出，修改PCB，进入就绪队列
    • 进程挂起：修改进程状态并出入相关队列，收回内存等资源送至对换区
    • 进程激活：分配内存，修改状态并出入相关队列
  • 原语
    • 概念：由若干指令构成的完成某种特定功能，有原子性
    • 应用：修改OS核心数据结构（进程表、PCB池）
• 进程切换与模式切换
  • 流程： 俩进程上下文切换（保存被中断的上下文、进程调度、恢复待运行的上下文）
  • 模式切换：用户态到内核态这种。进程切换必须在内核态完成，因此必须经理模式切换

4. 线程

• 多线程技术：一个进程内有多个线程
• 思路：将进程的两个功能“独立分配资源”和“调度执行”功能分开
•    
• 分类：
  • KLT：内核级多线程
  • ULT：用户级别多线程
• 多线程实现的混合策略
  • 一个ULT绑定多个KLT

5. 处理器调度

• 处理器调度的层次：高级、中级、低级
• 处理器调度算法
  • 原则：资源利用率、响应时间、周转时间（进入系统到出系统时间）、吞吐量（单位时间处理进程数）、公平性
  • 算法：优先数算法、时间片轮转、分级调度算法、彩票算法

3、存储管理

1. 存储管理的基本概念

• 逻辑地址：用户地址，从零开始编号
  • 一维逻辑地址：(地址)
  • 二维逻辑地址：(段号: 段内地址)
• 主存储器的复用方式
  • 按分区：主存划分为多个固定/可变分区，一个程序占一个分区
  • 按页架：主存划分为多个固定页架，一个程序占多个页架
• 存储管理的模式
  • 单连续：一维逻辑地址程序，占一个固定/可变分区
  • 段   式：二维逻辑地址程序，占多个可变分区
  • 页   式：一维逻辑地址程序，占多个页架
  • 段页式：二维逻辑地址程序，占多个页架
• 地址转换：逻辑地址 --> 物理地址
  • 静态重定位：程序装入内存时转换（早期OS）
  • 动态重定位：CPU执行时转换，效率考虑须要硬件帮助
• 虚拟存储器
  • 因为程序的局部性顺序性等，能够考虑只将部分程序调入主存，其余的随用随调
  • 达到了面对程序员主存扩容的目的

2. 单连续分区存储管理

• 单用户连续分区管理：主存区划分为系统区和用户区，采用静态重定位进行地址转换，通常适用于单用户单任务操做系统（DOS）
• 固定分区管理：一个程序占一个分区，有主存分配表，容易产生内零头
• 可变分区管理：按进程内存需求动态分配内存空间，容易产生外零头

3. 页式存储管理 **

• 概念：
  • 主存分页架，程序分页。
  • 不一样程序页可放在不一样主存页架中，不须要连续
  • 页和页架关系由页表维护
  • 用位示图表示主存分配与去配，用进程页表维护进程逻辑完整性
• 地址：
  • 逻辑地址：页号 + 单元号
  • 物理地址：页架号 + 单元号
• 快表：
  • 利用Cache存放部分页表
  • 同Cache缓存内存数据同样，也是相联存储器技术，而且有淘汰策略，具体见《重学计算机 -- 计算机组成原理》
• 页式虚拟存储
  • 页表：标识位 + 主存块号 + 辅存地址
  • 实现：
    • 查页表，若页在内存，则生成绝对地址
    • 若不在内存，发起缺页中断
    • OS响应缺页中断，若内存有空闲页架，则从辅存中调入页。更新页表快表
    • 若无空闲页架，先淘汰页，再调入
• 页面调度算法：
  • 同Cache和内存的调度策略，具体参考《重学计算机 -- 计算机组成原理》

4. 其余

• 段式存储管理：基本不用，略
• 段页式存储管理：基本不用，略
• 内存管理单元MMU：
  • 做用：管理虚拟存储器的硬件控制线路，把虚拟地址映射为物理地址，并提供内存保护，必要时淘汰页面
  • 实现：用一种数据结构 反置页表IPT

PS：许多年之前，当人们还在使用DOS或是更古老的操做系统的时候，计算机的内存还很是小，通常都是以K为单位进行计算，相应的，当时的程序规模也不大，因此内存容量虽然小，但仍是能够容纳当时的程序。但随着图形界面的兴起还有用户需求的不断增大，应用程序的规模也随之膨胀起来，终于一个难题在程序员的面前，那就是应用程序太大以致于内存容纳不下该程序，一般解决的办法是把程序分割成许多称为覆盖块（overlay）的片断。覆盖块0首先运行，结束时他将调用另外一个覆盖块。虽然覆盖块的交换是由OS完成的，可是必须先由程序员把程序先进行分割，这是一个费时费力的工做，并且至关枯燥。人们必须找到更好的办法从根本上解决这个问题。不久人们找到了一个办法，这就是虚拟存储器(virtual memory).虚拟存储器的基本思想是程序，数据，堆栈的总的大小能够超过物理存储器的大小，操做系统把当前使用的部分保留在内存中，而把其余未被使用的部分保存在磁盘上。好比对一个16MB的程序和一个内存只有4MB的机器，操做系统经过选择，能够决定各个时刻将哪4M的内容保留在内存中，并在须要时在内存和磁盘间交换程序片断，这样就能够把这个16M的程序运行在一个只具备4M内存机器上了。而这个16M的程序在运行前没必要由程序员进行分割。

4、设备管理

1. IO的控制方式

• 演进过程：轮询 --> 中断 --> DMA --> IO通道
• 经典布局：南北桥
• PS：详见《计算机组成原理》

2. IO的实现

• 软件实现层次：硬件 --> 中断处理程序 --> 设备驱动程序 --> 独立于设备的IO软件 --> 用户空间的IO软件
• IO缓冲：
  • 解决问题：
    • 设备与CPU速度不匹配
    • 逻辑记录大小和物理记录大小不一致
    • 减小IO操做对CPU的中断次数
  • 实现：缓冲区
    • 内存中开辟一个专门临时存放IO数据的区域
  • 分类：单缓冲、双缓冲、多缓冲

3. 磁盘

• 调度策略
  • 移臂调度：以双向调度中的电梯调度算法为经典
  • 旋转调度：写数据时采用交叉因子写入方式，能够提升旋转读数据的命中率

5、文件系统

1. 文件系统

• 文件系统概述
  • 文件的组织：
    • 逻辑结构：流式、记录式
    • 物理结构：顺序、链接、直接、索引
  • 文件的存取：顺序、直接、索引
  • 文件的控制：逻辑控制、物理控制
  • 文件的使用：打开、关闭、读、写、控制
• 文件的存储
  • 块：存储介质上连续存储的区域，是主存与辅存信息交换的单位
  • 顺序存取设备：光盘、磁带
  • 直接存取设备：磁盘

2. 文件

• 文件的逻辑结构
  • 流式文件：只是由一段字节序列构成的
  • 记录式文件：有含义有结构的信息，好比员工工资记录
• 文件的物理机构
  • 顺序文件：块块之间相连，批处理文件和系统文件通常都这么存。---> 数组
  • 链接文件：有链接字指向下一个块地址。---> 链表
  • 直接文件：又叫散列文件。对内容进行散列存储到相应物理位置。 ---> 散列表
  • 索引文件：为文件创建一个索引表，可多级。 ---> 增长了散列表的链表
• 文件的目录
  • 概念：实现文件按名存取的关键数据结构
  • 分类：一级目录、二级目录、树型目录

6、并发程序设计

1. 并发程序的基本概念

• 程序顺序性
  • 内部顺序性：CPU严格按照顺序执行指令
  • 外部顺序性：程序员设计程序时每每用顺序设计的思想
• 顺序程序特性
  • 程序执行的顺序性
  • 计算环境的封闭性： 程序执行时犹如独占资源
  • 计算结果的肯定性
  • 计算过程的可再现性
• 并发进程
  • 无关的并发进程：一组并发进程，在不一样变量集上运行
  • 交往的并发进程：一组并发进程，共享某些变量，相互影响
• 并发进程制约关系
  • 进程互斥：争夺某一个资源
  • 进程同步：共同完成某一个任务，协调前后顺序
  • 发生问题：
    • 与时间有关的错误：结果错误、永远等待
• 临界区：
  • 临界资源：一次只能被一个进程使用的资源（互斥共享变量）
  • 临界区：是个程序段，是并发进程中与互斥共享变量相关的程序段
  • 相关的临界区：两个进程的临界区有相同的临界资源（必须互斥进入）
  • 问题：
    • 多个并发进程访问临界资源存在制约关系
    • 若是两个进程同时处在相关的临界区，会发生与时间有关的错误
  • 临界区管理的要求：
    • 一次至多容许一个进程停留在相关临界区
    • 一个进程不能无限制停留在临界区内
    • 一个进程不能无限制等待进入临界区内
  • 临界区嵌套使用
  •  

2. 并发程序控制和问题

• 临界区管理实现：
  • 思路：判断锁和获取锁要做为原子操做，否则会死锁或时间错误
  • 实现：
    • 原子指令：测试并创建锁指令、对换指令（忙式等待，效率不高）
    • 中断控制：进出临界区时开关中断，这样临界区执行时就不会被中断，天然实现了原子性
      • 这个时操做系统的原语，是操做系统解决这个问题的办法
      • 不建议用户程序使用，由于没法保证程序员设计出短小精悍的原语
    • PV操做：用信号量，“申请-等待队列-中断恢复”
  • 生产者消费者问题：
• 进程间通讯
  • 信号量：低级通讯方式
  • 信件：进程通讯机制（直接通讯、间接通讯）
  • 基于流：多个进程共同使用一个缓冲区
  • RPC：远程过程调用
• 死锁
  • 概念：两个进程分别等待对方占有的资源
  • 死锁的产生
    • 互斥：进程互斥地使用资源
    • 占有和等待：一个进程得不到资源，就等待且不释放已有资源
    • 不剥夺：进程不能从另外一个进程抢走资源
    • 循环等待：每一个进程都等待它前一个进程所持有的资源
  • 死锁的防止
    • 破坏上述四个条件之一便可
    • eg. 层次分配：资源分红多个层次，一个进程得到某个资源后只能得到比他层次更高的资源　　
  • 死锁的避免：银行家算法
  • 死锁的检测：
    • 算法：warshall闭包