操作系统

目录

• 操作系统概述
• 进程管理
  • 信号量与PV操作
  • 前趋图
  • 死锁
  • 进程资源图
  • 银行家算法
• 存储管理
  • 段页式存储
  • 页面置换算法
• 文件管理
  • 索引文件
  • 位示图

操作系统概述

• 进程管理
• 存储管理
• 文件管理
• 作业管理
• 设备管理

进程管理

进程的两个基本属性：可拥有资源的独立单位；可独立调度和分配资源的基本单位。

信号量与PV操作

互斥：资源上的制约，间接制约

同步：工序上的制约，直接制约

前趋图

略

死锁

四大条件：互斥、保持和等待、不剥夺、环路等待。

资源数计算公式：略

进程资源图

1. 阻塞节点（Blocked Node）：
   阻塞节点是指进程资源图中的一个节点，表示一个进程因为等待某个资源而被阻塞。这个节点通常与等待的资源相连，形成一个等待边。阻塞节点是死锁的一个标志，因为阻塞节点的存在表明某个进程无法继续执行，可能是由于资源被其他进程占用而无法满足。

2. 可化简（Reducible）：
   可化简是指资源分配图中的一个状态，该状态可以通过释放一些资源而变得可化简，即通过改变资源的分配状态使系统摆脱死锁。在资源分配图中，如果存在一个进程可以释放一些资源，并使得系统重新进入一个无死锁状态，那么这个状态就是可化简的。可化简状态提供了一种解决死锁的可能性，因为系统可以通过重新分配资源来解除死锁。

银行家算法

剩余资源数计算、合法序列的判断

存储管理

段页式存储

页式存储：将程序与内存划分为同样大小的块，以页为单位将程序调入内存。

段式存储：按用户作业中的自然段来划分逻辑空间，然后调入内存，段的长度可以不一样。

段页式存储：段式与页式的综合体。先分段，再分页。一个程序有若干个段，每个段可以有若干个页。

页面置换算法

优先淘汰访问位为0，其次考虑修改位为0

文件管理

索引文件

略

位示图

略