# 操作系统·知识综述 识别卡 2.0

- **层级**: L4 · 系统性前沿层（课标骨架填充，待终裁）
- **状态**: pending（骨架填充 · 待设计者终裁）
- **领域**: 计算机科学
- **教育层级**: E4（大学）· 分布：骨架 17 知识点 / 内容 17 条

## 核心主张

操作系统（课标骨架 17 知识点填充）：现象+规律，简单词汇，规律性出现即知识……

## 条件空间

- **观测位置**: 操作系统（大学层）外部观测位
- **观测工具**: 课标骨架 + 现象规律性判定
- **时间窗口**: (0.0, 9999999999.0)
- **存在约束**: 大学学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达

## 出招

- **触发**: 涉及操作系统议题
- **行动**: 以操作系统知识点（大学层）回应
- **克制**: 越级使用高于大学层级的未学概念

## 知识点内容（按骨架填充）

### I/O系统

I/O系统：设备控制器、设备驱动。I/O方式：程序查询（轮询）、中断、DMA（直接内存访问）、通道。缓冲与缓存。I/O性能优化。

### 内存管理

内存管理：连续分配（分区）、分页（固定页）、分段（逻辑段）、段页结合。地址转换（逻辑→物理）。页表、TLB。内存分配算法（首次适应、最佳适应）。

### 分布式操作系统

分布式操作系统：多机协同。分布式一致性问题（两阶段提交）。分布式文件系统。容错与复制。时钟同步（Lamport）。

### 安全保护

系统安全：访问控制（自主DAC、强制MAC）、认证授权、加密存储。缓冲区溢出防护。特权级别（内核态/用户态）。安全机制保护系统资源。

### 实时操作系统

实时操作系统（RTOS）：保证任务在期限内完成。硬实时（必须期限）与软实时（尽量）。实时调度（RM、EDF）。应用：嵌入式、航空航天。

### 性能优化

性能优化：减少上下文切换、锁竞争、缓存局部性。性能分析工具（profiler）。吞吐与延迟权衡。系统调优（参数、调度策略）。

### 操作系统概述

操作系统：管理硬件资源、提供用户接口（系统调用）。功能：进程管理、内存管理、文件系统、设备管理。分类：批处理、分时、实时。OS是计算机系统的核心软件。

### 文件系统

文件系统：文件的组织与管理。文件结构（顺序、索引）、目录结构。文件分配（连续、链接、索引）。inode。文件系统实现（FAT、ext4、NTFS）。

### 死锁

死锁：进程互相等待对方资源。四个必要条件（互斥、持有等待、不可剥夺、循环等待）。死锁预防（破坏条件）、避免（银行家算法）、检测与恢复。

### 磁盘调度

磁盘调度：优化磁头移动。算法：FCFS、最短寻道（SSTF）、SCAN（电梯）、C-SCAN。磁盘访问时间（寻道+旋转+传输）。

### 系统调用中断

系统调用：用户程序请求OS服务（read、write、fork）。中断：硬件事件打断CPU（外设、时钟）。中断处理流程。系统调用通过陷入指令（trap）进入内核态。

### 虚拟内存

虚拟内存：程序比物理内存大时仍可运行。请求分页（按需载入）、页面置换（FIFO、LRU、时钟算法）、抖动（工作集）。虚拟内存扩展地址空间。

### 虚拟化容器

虚拟化：虚拟机（VMM、Hypervisor）、容器（Docker，共享内核）。虚拟化资源隔离与利用。容器轻量、启动快。KVM、VMware。

### 进程同步

进程同步：协调并发访问共享资源。临界区问题。信号量（P/V操作）、互斥锁、条件变量、管程。经典问题：生产者消费者、读者写者、哲学家就餐。

### 进程线程

进程：运行中的程序（独立地址空间）。线程：进程内的执行单元（共享地址空间）。进程状态（就绪、运行、阻塞）。上下文切换。多线程与多进程的选择。

### 进程调度

进程调度：决定哪个进程运行。算法：先来先服务（FCFS）、短作业优先（SJF）、时间片轮转（RR）、优先级调度、多级反馈队列。调度目标：吞吐、响应、公平。

### 进程间通信

进程间通信（IPC）：管道（匿名/命名）、消息队列、共享内存、信号、套接字。IPC是进程协作的机制。共享内存最快、管道最简单。

## 识别卡明细

- **observation_position**: 从操作系统（大学层）结构端透视
- **existence_preset**: 默认存在预设：大学学段知识按课标骨架存在
- **irreducible_start**: 不可约起点：操作系统的核心概念
- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
- **time_causality**: 时间与因果结构：按课标学段递进（大学）
- **condition_boundary**: 边界：操作系统知识点按课标骨架定位学段；具体数值/例题以教材为准
- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
- **protocol_mapping**: 可映射协议概念：操作系统与条件论知识图谱的接口
- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释

## 关系

- 课标骨架（similar）：操作系统与 knowledge_skeleton.json 的 大学 学段对应