云计算
WASI Component Model and Spin Framework: Building Lightweight Serverless Cloud-Native Extensions
From component model principles to Spin framework practice, developing cross-platform Wasm cloud-native Serverless extensions
WebAssembly 系统深度实战：从字节码到边缘 Serverless 运行时
深入剖析 WebAssembly 的二进制格式、栈式执行模型与默认沙箱安全边界，对比 Wasmtime/Wasmer/V8/WasmEdge 四大运行时，并分别用 Rust 从零构建 WASM 模块、用 WasmEdge 将其跑成边缘函数即服务，覆盖与容器、eBPF 的选型对比。
2026年Serverless 2.0：从函数计算到全流程自动化的跃迁
深入解析2026年Serverless 2.0的技术演进，从函数计算到全流程自动化的架构变革，涵盖应用级平台、智能弹性伸缩、边缘Serverless、AI-native Serverless等前沿话题。
2026年Serverless 3.0时代：从函数计算到Cloud Native AI推理平台
2026年Serverless 3.0时代的技术演进，从函数计算到AI推理平台的变革
KVM irqfd 与 ioeventfd：用户态 VMM 的高性能 I/O 虚拟化路径
深入剖析 KVM 虚拟化中 irqfd 和 ioeventfd 两大事件通知机制，从内核实现路径到用户态 VMM 实战，涵盖 Virtio 数据面零系统调用优化策略，附带 Rust 实测性能数据。
深入剖析 x86-64 页表与 TLB 管理：从四级页表遍历到虚拟化 EPT/NPT
从硬件机制深入剖析 x86-64 架构的页表与 TLB 管理全貌，涵盖四级页表遍历、TLB 硬件结构、ASID/PCID/VPID、TLB Shootdown 跨核广播、大页对 TLB 的优化、虚拟化 EPT/NPT 双重翻译、Meltdown KPTI 缓解，以及生产环境中的 perf 调优实战与配置最佳实践。
Erasure Coding in Distributed Systems: From Reed-Solomon to Local Reconstruction Codes
深度解析分布式存储中的纠删码技术：从有限域数学基础到 Reed-Solomon 编解码实现，再到 LRC（局部重建码）的优化实践，涵盖 ISA-L 加速、Jerasure 库使用，以及在 Ceph、HDFS、MinIO 等系统中的生产部署。
KVM 内存虚拟化与 EPT/NPT 嵌套分页深度解析：从 VMX 硬件辅助到四级页表遍历的全链路透视
深入解析 Linux KVM 内存虚拟化核心机制：从 Intel VMX/SVM 硬件辅助虚拟化出发，全面剖析 EPT/NPT 嵌套分页的四级页表遍历过程、VPID/ASID TLB 标签管理、VM Exit 状态机与管线、 Posted Interrupt APICv 中断虚拟化流程，以及 AMD SEV-SNP/TDX 机密计算的内存加密保护。文章同时涵盖 KVM/QEMU 架构分层、vcpu_run 主循环、mmu_notifier 脏页追踪、预映射优化策略，并通过 MIPS 类比阐释 shadow page table 与 two-dimensional paging 的本质区别，揭示硬件辅助如何将内存虚拟化开销从 O(N²) 降至 O(N) 的原理。
GPU 虚拟化深度实战：从 SR-IOV 到 MDEV/vGPU 的 AI 计算资源切分
从内核子系统层面深度剖析 GPU 虚拟化三种主流路径：NVIDIA MIG 硬分区、SR-IOV 硬件虚拟化、MDEV/vGPU 中介直通，涵盖 A100/H100 实战配置、性能基准测试及选型决策树。
Serverless 架构深度实战：从 FaaS 冷启动剖析到 BaaS 生态融合与生产级工程体系的完全指南
Serverless架构深度实战：从FaaS冷启动剖析、Firecracker MicroVM隔离、Lambda SnapStart、BaaS生态融合（DynamoDB/Aurora Serverless/Cognito）到多函数编排、生产级设计模式与多云替代方案的完整工程指南
Carbon-Aware 云计算调度：从绿色承诺到生产级碳感知工程实践
深入解析生产级 Carbon-Aware 调度工程实践：从实时碳强度数据采集、Kubernetes Score Plugin 设计、AI 训练 Checkpoint/Resume 模型、到碳配额交易市场机制，含完整 Go/Python 代码示例与 Google/Microsoft 案例分析
KVM虚拟化深度实战：从VMCS/EPT到嵌套虚拟化生产部署
从硬件辅助虚拟化（Intel VMX/AMD SVM）的底层机制出发，深入剖析VMCS状态管理、EPT二级地址转换、VPID TLB优化、Posted Interrupt中断注入、vCPU调度、VMX Preemption Timer，以及嵌套虚拟化Shadow VMCS和VFIO设备直通的生产级部署实践。
Serverless与边缘计算深度实战：从云函数到边缘AI推理的架构演进与生产实践
深度解析Serverless与边缘计算技术演进：从FaaS到边缘AI推理的三阶段架构变迁，含WebAssembly运行时、全球边缘数据库选型、弹性伸缩策略与2026年技术趋势展望
