操作系统
操作系统概述
- 进程管理
- 存储管理
- 文件管理
- 作业管理
- 设备管理
进程管理
进程的两个基本属性：可拥有资源的独立单位；可独立调度和分配资源的基本单位。
信号量与PV操作
互斥：资源上的制约，间接制约
同步：工序上的制约，直接制约
前趋图
略
死锁
四大条件：互斥、保持和等待、不剥夺、环路等待。
资源数计算公式：略
进程资源图
-
阻塞节点（Blocked Node）：
阻塞节点是指进程资源图中的一个节点，表示一个进程因为等待某个资源而被阻塞。这个节点通常与等待的资源相连，形成一个等待边。阻塞节点是死锁的一个标志，因为阻塞节点的存在表明某个进程无法继续执行，可能是由于资源被其他进程占用而无法满足。 -
可化简（Reducible）：
可化简是指资源分配图中的一个状态，该状态可以通过释放一些资源而变得可化简，即通过改变资源的分配状态使系统摆脱死锁。在资源分配图中，如果存在一个进程可以释放一些资源，并使得系统重新进入一个无死锁状态，那么这个状态就是可化简的。可化简状态提供了一种解决死锁的可能性，因为系统可以通过重新分配资源来解除死锁。
银行家算法
剩余资源数计算、合法序列的判断
存储管理
段页式存储
页式存储：将程序与内存划分为同样大小的块，以页为单位将程序调入内存。
段式存储：按用户作业中的自然段来划分逻辑空间，然后调入内存，段的长度可以不一样。
段页式存储：段式与页式的综合体。先分段，再分页。一个程序有若干个段，每个段可以有若干个页。
页面置换算法
优先淘汰访问位为0，其次考虑修改位为0
文件管理
索引文件
略
位示图
略
