操作系统
Animated Plates · Eight Mechanisms

交互演示

八个可逐步走查的机制。每页都有上一步 / 下一步 / 重置;自动播放可暂停,且在减少动效偏好下不会自行开跑。数值预先算死。

PL-01 · 调度

调度算法对照

同一组作业走 FCFS、非抢占 SJF、RR(q=2)。甘特图与平均等待/周转按「无 I/O」前提计算。

PL-02 · 置换

页面置换与 Belady

同一引用串在 OPT / FIFO / LRU 下逐步命中或缺页。FIFO 给出 3 框与 4 框对照,展示 Belady 异常。

PL-03 · 地址

页表与缺页路径

VPN → TLB → 页表 → 物理地址。P=0 且访问合法页才缺页;有空闲框直接调入,无空闲才置换。

PL-04 · 同步

生产者—消费者

empty / full / mutex 三信号量逐步 P/V。对照错误次序:缓冲区已满(empty=0)且生产者先持 mutex 再 P(empty),消费者又需 mutex 才能取出并 V(empty) 时会卡死。

PL-05 · 死锁

死锁四条件

资源分配图逐步长出环等待。拆掉互斥、占有等待、不可抢占、循环等待任一条,死锁不能成立。

PL-06 · 避免

银行家算法

3×3 小例跑安全性检测找安全序列;对照一次表面够用、预分配后不安全因而被拒的申请。

PL-07 · 磁盘

磁盘调度

同一请求串走 FCFS / SSTF / SCAN / LOOK。SCAN 到端点 199,LOOK 到最远请求 183。

PL-08 · 分配

文件分配

连续 / 链接 / 索引对照:读第 3 块的访盘次数,以及删除后的碎片形态。