标签
作者结合与 Justin Cormack 的访谈,论证 unikernel 过去难用的问题已被 AI 模型权重化解,并认为传统多用户操作系统是设计负债,unikernel 能大幅缩小攻击面,让 AI 驱动的入侵无从下手。
Ulrich Drepper 于 2011 年撰写的经典参考文献《如何编写共享库》,涵盖了 Linux 平台上的 ELF、ABI、符号版本控制以及动态链接的最佳实践。这是一篇被 Linux 开发者广泛引用的系统编程基础性文档。
一篇由 Rust 程序员撰写的博文,记录了其自学 C 语言过程中遇到的各种奇特行为,包括通过 <stdbool.h> 实现布尔类型、以 null 结尾的字符串与 Rust 中长度前缀的 &str 之间的对比,以及相关的内存权衡。对于从 Rust 转向 C 的开发者来说,它是一份实用的配套指南。
Alex Alejandre 探索为 Linux x32 ABI 编译 Janet 语言,以获得 32 位指针和 64 位速度;他报告称在 Arch 上内存节省高达约 20-25%,但该工作负载运行速度却慢了 50%——这表明 x32 对指针密集型程序具有巨大潜力,但目前缺乏打包和生态系统的支持。
作者用 Embedded Swift 编写了一个极简内核并在 QEMU 的 aarch64 virt 机器上运行,记录了从工具链安装、Package.swift 配置到汇编入口与栈初始化的完整过程,并更新了 Swift 6.3 中新的 @c 属性替代 @_cdecl 的用法。
一篇技术博客文章,审视围绕异步 Rust 的常见抱怨——包括函数着色、async drop、Tokio 默认化以及作用域任务三难困境——同时探讨调度职责在 Rust 生态中应当如何划分。
Modular CEO Chris Lattner 将在 SPLASH 2026 上发表主题演讲,介绍面向异构计算时代的系统语言 Mojo,内容涵盖参数化元编程、基于 origins 的所有权模型,以及尚未解决的语言设计难题。
mold 3.0.0 已正式发布,这是一款高性能的 Unix 链接器即插即用替代品。基准测试显示,其中位链接速度比 LLVM lld 快 4.9 倍,比 wild 快 1.9 倍,并支持广泛的架构。
一篇技术博客,通过约 500 行 C 代码讲解 Linux 容器的工作原理,涵盖用户命名空间、网络命名空间以及 capabilities 绕过风险,并附带可运行的漏洞利用演示。
Raymond Chen 解释了 Windows 热补丁机制如何处理函数已被未经授权的代码补丁的情况:这类函数会被声明为不可热补丁,从而强制重启,而竞态条件可能导致内存中的二进制文件处于半补丁状态。文章说明了为什么只有 Windows Update 被授权使用预留的热补丁空间,以及为什么将热补丁与其他 detour 混用非常危险。
With 是一门以人体工学/极简仪式感为先的系统编程语言,主打 Rust 级安全(单所有权、生成式引用)与 C 级可达性,通过强推断减少样板代码,并内建对 C 库的直接建模导入,可编译为原生单二进制、无需系统 LLVM。
一段演讲纪要:工程师讲述从与 Node 分手、爱上 Rust、到用 Rust 创办 Oxide Computer Company 并为 illumos 移植 Rust 支持的全过程,以及 Rust 的严谨性与性能价值观如何成为公司文化基石。
Vx 是一种面向异构计算(CPU、GPU、NPU)的系统编程语言,将设备内存拓扑直接编码进类型系统,并借助 machine 文件与形式化验证,在编译阶段捕获数据搬运与内存相关缺陷。
FTL 是一个全新的开源云操作系统,它允许你将用户态 OS 构建为共享库,通过一个极简的 FTL 内核提供更强的容器隔离,同时保持与 Linux 二进制文件和类单内核(unikernel)应用的兼容性。近期发布的版本包括 v0.0.1(可运行 Linux HTTP 服务器)和 v0.1.0(支持异步 Rust 应用),路线图涵盖文件系统、Node.js/Go、SMP 以及 Arm 平台。
在2026年Python Language Summit上,David Hewitt介绍了Rust for CPython项目的路线图、成功标准和时间表,提议从Python 3.16开始提供可选的Rust支持,并回应了关于平台支持和核心开发者专业能力方面的疑虑。
Raymond Chen 解释了为什么 Windows 热补丁支持 x86-32、x86-64、64 位 ARM 和 Itanium,却不支持 32 位 ARM、MIPS、Alpha AXP、PowerPC、SH-3 等较老或其他架构:大多数架构出现得比热补丁规则还早;而 32 位 ARM 被排除在外,是因为热补丁是 Windows Server 的功能,而该架构并没有对应的 Windows Server 版本。
Raymond Chen 的 The Old New Thing 讲解了 Windows 上的 Itanium 如何利用定长指令束(bundle)和双倍宽度的条件长分支指令实现热补丁,并与之前讨论的 AArch64 方案进行了对比。
一篇 Rust 工程博客文章,主张解析字节切片中的 u64 值时,应使用零拷贝技术就地读取,而不是在堆上分配 Vec;文章通过一个二进制命令编解码示例,展示如何避免意外的堆分配与系统调用,从而实现零成本抽象。
一篇探讨 `cp` 命令中 `-r` 与 `-R` 选项历史差异的博文:两者在现代 GNU coreutils 中已无区别(2002 年合并),但 OpenBSD/NetBSD 仍保留行为差异,POSIX 推荐使用更一致的 `-R`。
伊利诺伊州的一位教授与学生合作发起了一本协作式 Wikibook,旨在提供一本免费、全面的指南,涵盖 C 语言、进程、线程、内存、网络、文件系统、调度和安全等系统编程主题。