2026-04-17 · os
【操作系统百科】什么是操作系统：从 monitor 到 unikernel 的职责清单
从裸机监控器到微内核再到 unikernel 与 serverless，OS 这个抽象层在六十年里被反复挑战又反复回归。本文不做教科书式定义，而是回到工程视角，提炼 OS 真正在做的五件事：资源抽象、复用、隔离、公平、可观测性。以此为尺，丈量宏内核、微内核、VMM、unikernel、serverless 各自的胜负边界。
把应用和 OS 编译成一个二进制 → 直接跑在 hypervisor 上 → 极小攻击面 → 极快启动。为什么没有普及？
flowchart LR
TRAD[传统<br/>App + OS + 驱动] --> LARGE[大镜像<br/>攻击面大]
UNI[Unikernel<br/>App + 库OS] --> SMALL[小镜像<br/>攻击面小]
UNI --> HV[Hypervisor<br/>Xen / KVM]
classDef trad fill:#f0883e22,stroke:#f0883e,color:#adbac7;
classDef uni fill:#3fb95022,stroke:#3fb950,color:#adbac7;
class TRAD,LARGE trad
class UNI,SMALL,HV uni库操作系统（Library OS）：
kraft build --target qemu-x86_64
kraft run| 优势 | 说明 |
|---|---|
| 启动时间 | ~10-50ms |
| 镜像大小 | ~1-10MB |
| 攻击面 | 极小（无 shell/无多余驱动） |
| 性能 | 无 syscall 开销（同一地址空间） |
| 密度 | 单机可跑数千实例 |
没有 shell、没有 SSH、没有 GDB server → 调试靠日志和远程 GDB。
每个 unikernel 需要专门的工具链 → 不是
gcc + make 就能搞定。
多数 unikernel 的 POSIX 兼容不完整 → 现有应用需要移植。
Unikraft 的 POSIX 层最完整 → 但仍有差距。
单地址空间 → 不支持 fork/exec → 传统多进程架构不可用。
容器 → 轻量但共享内核
microVM → 独立内核但有 overhead
unikernel → 最小 OS 但兼容性差Firecracker 的 microVM 在实践中取代了 unikernel 的很多场景 → 兼容性更好。
ops run my_appNanos = 为运行单个应用设计的 unikernel → 支持 POSIX → 工具链友好。
kraft（Unikraft CLI）ops（Nanos）上一篇：实时 OS 巡礼 下一篇：Rust for Linux
把当前热点继续串成多页阅读，而不是停在单篇消费。
2026-04-17 · os
从裸机监控器到微内核再到 unikernel 与 serverless，OS 这个抽象层在六十年里被反复挑战又反复回归。本文不做教科书式定义，而是回到工程视角，提炼 OS 真正在做的五件事：资源抽象、复用、隔离、公平、可观测性。以此为尺，丈量宏内核、微内核、VMM、unikernel、serverless 各自的胜负边界。
2026-04-27 · os
Linux 内存回收是 VM 最复杂的子系统之一。本文讲 active/inactive LRU、kswapd 与 direct reclaim、watermark 三线、swappiness 的真实含义、MGLRU 改造、memcg 回收与 PSI。
2026-04-28 · os
swap 还值得开吗？本文讲 swap area 基础、swap cache、zram 压缩内存、zswap 前端压缩池、swappiness 的真实含义、容器里的 swap 策略，以及为什么现代 Android 全靠 zram 不靠磁盘。
2026-05-03 · os
buddy 只管页粒度（4K+），内核大多数对象只有几十到几百字节。slab/SLUB 在 buddy 之上做对象级缓存。本文讲 slab 历史、SLUB 接手、SLOB 退场、kmem_cache、per-CPU cache、KASAN 集成。
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。