【操作系统百科】可拆分 OS
2026年7月9日 08:00
CXL/RDMA 会把 OS 拆成什么形状？LegoOS 分离式内核、CXL 2.0/3.0 内存池、Far Memory、远程页面错误、failover 语义——本文讲硬件解耦对 OS 的冲击。
普通视图
昨天 — 2026年4月20日土法炼钢兴趣小组的博客
-
土法炼钢兴趣小组的博客
- 【操作系统百科】可拆分 OSCXL/RDMA 会把 OS 拆成什么形状？LegoOS 分离式内核、CXL 2.0/3.0 内存池、Far Memory、远程页面错误、failover 语义——本文讲硬件解耦对 OS 的冲击。
-
- 【操作系统百科】机密计算OS 如何在不信任 hypervisor 的世界里自处？AMD SEV-SNP、Intel TDX、ARM CCA、远程认证（attestation）、COCONUT-SVSM、Guest Firmware、I/O 加密。
【操作系统百科】机密计算
2026年7月8日 08:00
OS 如何在不信任 hypervisor 的世界里自处？AMD SEV-SNP、Intel TDX、ARM CCA、远程认证（attestation）、COCONUT-SVSM、Guest Firmware、I/O 加密。
-
- 【操作系统百科】Rust for LinuxRust for Linux 真的在解决问题还是在搬问题？合入时间线、抽象 crate、Pin/unsafe 边界、Asahi GPU 驱动、维护成本、ABI 兼容、工具链依赖。
【操作系统百科】Rust for Linux
2026年7月7日 08:00
Rust for Linux 真的在解决问题还是在搬问题？合入时间线、抽象 crate、Pin/unsafe 边界、Asahi GPU 驱动、维护成本、ABI 兼容、工具链依赖。
-
- 【操作系统百科】UnikernelUnikernel 在云上为什么没成主流？MirageOS、IncludeOS、Unikraft、OSv 的设计取舍——库操作系统、启动时间、工具链、调试困难、POSIX 兼容。
【操作系统百科】Unikernel
2026年7月6日 08:00
Unikernel 在云上为什么没成主流？MirageOS、IncludeOS、Unikraft、OSv 的设计取舍——库操作系统、启动时间、工具链、调试困难、POSIX 兼容。
-
- 【操作系统百科】实时 OS 巡礼VxWorks/QNX/Zephyr 与 Linux PREEMPT_RT 的工程取舍——硬实时 vs 软实时、静态调度、ARINC-653 分区、安全认证（DO-178C）、最小内存占用。
【操作系统百科】实时 OS 巡礼
2026年7月5日 08:00
VxWorks/QNX/Zephyr 与 Linux PREEMPT_RT 的工程取舍——硬实时 vs 软实时、静态调度、ARINC-653 分区、安全认证（DO-178C）、最小内存占用。
-
- 【操作系统百科】Windows 内核与 Linux 的关键差异NT 内核与 Linux 的根本差异——Executive/Kernel 分层、object manager、IRP I/O 模型、Job object、IOCP、Registry、WSL2 的选择。
【操作系统百科】Windows 内核与 Linux 的关键差异
2026年7月4日 08:00
NT 内核与 Linux 的根本差异——Executive/Kernel 分层、object manager、IRP I/O 模型、Job object、IOCP、Registry、WSL2 的选择。
-
- 【操作系统百科】FreeBSD 与 OpenBSD 的不同选择BSD 的哪些决定值得 Linux 借鉴？kqueue vs epoll、jail vs namespace、ZFS 一等公民、DTrace、pledge/unveil、网络栈差异——本文对照 BSD 与 Linux 的关键取舍。
【操作系统百科】FreeBSD 与 OpenBSD 的不同选择
2026年7月3日 08:00
BSD 的哪些决定值得 Linux 借鉴？kqueue vs epoll、jail vs namespace、ZFS 一等公民、DTrace、pledge/unveil、网络栈差异——本文对照 BSD 与 Linux 的关键取舍。
-
- 【操作系统百科】KVM 架构KVM 在 Linux 中如何做到最小的 hypervisor？/dev/kvm ioctl、QEMU 用户态设备模型、vhost-net/vhost-user、virtio、eventfd/irqfd、IOMMU、SEV/TDX 集成。
【操作系统百科】KVM 架构
2026年7月2日 08:00
KVM 在 Linux 中如何做到最小的 hypervisor？/dev/kvm ioctl、QEMU 用户态设备模型、vhost-net/vhost-user、virtio、eventfd/irqfd、IOMMU、SEV/TDX 集成。
-
- 【操作系统百科】IMA、EVM 与 dm-verity从引导到运行时的完整性保证链如何闭环？measured boot → IMA measurement/appraisal → EVM → dm-verity / fs-verity → TPM PCR——本文讲 Linux 的完整性子系统。
【操作系统百科】IMA、EVM 与 dm-verity
2026年6月28日 08:00
从引导到运行时的完整性保证链如何闭环？measured boot → IMA measurement/appraisal → EVM → dm-verity / fs-verity → TPM PCR——本文讲 Linux 的完整性子系统。
-
- 【操作系统百科】SELinux 与 AppArmorSELinux 与 AppArmor 的模型差异如何影响运维？LSM hooks、类型强制策略、AppArmor profile、permissive/enforce 模式、容器标签——本文讲 Linux 强制访问控制。
【操作系统百科】SELinux 与 AppArmor
2026年6月27日 08:00
SELinux 与 AppArmor 的模型差异如何影响运维？LSM hooks、类型强制策略、AppArmor profile、permissive/enforce 模式、容器标签——本文讲 Linux 强制访问控制。
-
- 【操作系统百科】seccomp-bpf 与 Landlock进程自限如何实现最小权限？seccomp strict mode、filter mode（BPF 过滤器）、user notify、Landlock 文件访问控制、syscall user dispatch——本文讲 Linux 的系统调用过滤。
【操作系统百科】seccomp-bpf 与 Landlock
2026年6月26日 08:00
进程自限如何实现最小权限？seccomp strict mode、filter mode（BPF 过滤器）、user notify、Landlock 文件访问控制、syscall user dispatch——本文讲 Linux 的系统调用过滤。
-
- 【操作系统百科】POSIX capabilities为什么 setuid root 早该被 capabilities 取代？cap sets（permitted/effective/inheritable/bounding/ambient）、file caps、容器内 capabilities——本文讲 Linux 的细粒度权限模型。
【操作系统百科】POSIX capabilities
2026年6月25日 08:00
为什么 setuid root 早该被 capabilities 取代？cap sets（permitted/effective/inheritable/bounding/ambient）、file caps、容器内 capabilities——本文讲 Linux 的细粒度权限模型。
-
- 【操作系统百科】eBPF 核心BPF 为什么能成为 Linux 的第二用户态？verifier、JIT、map 家族、BTF、CO-RE、BPF_LSM、sched_ext——本文讲 eBPF 的内核侧机制。
【操作系统百科】eBPF 核心
2026年6月19日 08:00
BPF 为什么能成为 Linux 的第二用户态？verifier、JIT、map 家族、BTF、CO-RE、BPF_LSM、sched_ext——本文讲 eBPF 的内核侧机制。
-
- 【操作系统百科】原子 RMW 操作x86 LOCK 前缀、ARM LL/SC、ARMv8.1 LSE、RISC-V A 扩展——四种硬件原子原语的工程差异。本文讲 fetch_add/CAS/swap 成本、cache line bouncing、tearing 与内核 atomic API。
【操作系统百科】原子 RMW 操作
2026年5月25日 08:00
x86 LOCK 前缀、ARM LL/SC、ARMv8.1 LSE、RISC-V A 扩展——四种硬件原子原语的工程差异。本文讲 fetch_add/CAS/swap 成本、cache line bouncing、tearing 与内核 atomic API。
-
- 【操作系统百科】Linux 内核内存模型READ_ONCE、smp_mb、smp_store_release——内核并发代码的基石。本文讲 LKMM 的诞生、ordering 语义、cumulativity、address/data/control 依赖、marked vs plain access、litmus test 方法论。
【操作系统百科】Linux 内核内存模型
2026年5月24日 08:00
READ_ONCE、smp_mb、smp_store_release——内核并发代码的基石。本文讲 LKMM 的诞生、ordering 语义、cumulativity、address/data/control 依赖、marked vs plain access、litmus test 方法论。
-
- 【操作系统百科】io_uring 内核内部io_uring 用共享内存 ring buffer 实现零 syscall 异步 I/O——SQ/CQ、SQPOLL、IOPOLL、注册 fd/buffer、multishot、安全模型演化。本文深入内核实现与工程实践。
【操作系统百科】io_uring 内核内部
2026年5月18日 08:00
io_uring 用共享内存 ring buffer 实现零 syscall 异步 I/O——SQ/CQ、SQPOLL、IOPOLL、注册 fd/buffer、multishot、安全模型演化。本文深入内核实现与工程实践。
-
- 【操作系统百科】用户态分配器glibc malloc、tcmalloc、jemalloc、mimalloc 各有哲学。本文讲 arena、thread cache、size class、madvise 返还策略、碎片与 RSS 膨胀、如何根据负载选分配器。
【操作系统百科】用户态分配器
2026年5月7日 08:00
glibc malloc、tcmalloc、jemalloc、mimalloc 各有哲学。本文讲 arena、thread cache、size class、madvise 返还策略、碎片与 RSS 膨胀、如何根据负载选分配器。
-
- 【操作系统百科】Slab/SLUB 分配器buddy 只管页粒度（4K+），内核大多数对象只有几十到几百字节。slab/SLUB 在 buddy 之上做对象级缓存。本文讲 slab 历史、SLUB 接手、SLOB 退场、kmem_cache、per-CPU cache、KASAN 集成。
【操作系统百科】Slab/SLUB 分配器
2026年5月3日 08:00
buddy 只管页粒度（4K+），内核大多数对象只有几十到几百字节。slab/SLUB 在 buddy 之上做对象级缓存。本文讲 slab 历史、SLUB 接手、SLOB 退场、kmem_cache、per-CPU cache、KASAN 集成。
-
- 【操作系统百科】交换swap 还值得开吗？本文讲 swap area 基础、swap cache、zram 压缩内存、zswap 前端压缩池、swappiness 的真实含义、容器里的 swap 策略，以及为什么现代 Android 全靠 zram 不靠磁盘。
【操作系统百科】交换
2026年4月28日 08:00
swap 还值得开吗？本文讲 swap area 基础、swap cache、zram 压缩内存、zswap 前端压缩池、swappiness 的真实含义、容器里的 swap 策略，以及为什么现代 Android 全靠 zram 不靠磁盘。
