链接器与加载器：从符号解析到动态链接的四十年技术演进
程序构建的沉默机械 每个程序员都写过编译命令，但很少有人真正理解ld在做什么。当编译器完成了词法分析、语法分析、中间代码生成、优化和目标代码生成后，它产出了一个或多个目标文件。这些文件包含了机器码，但还不能执行——它们之间存在引用关系，全局变量的地址未确定，外部函数的位置未知。链接器的任务就是将这些分散的碎片组装成一个完整的程序。 ...
系统编程
文件描述符：一个整数如何连接进程与内核的四十年演进
“Too many open files” 凌晨三点，生产环境的服务器突然告警。Nginx无法接受新连接，应用日志里满是EMFILE错误。运维检查后发现，某个Java进程打开了超过一百万个文件描述符——虽然系统配置允许这样做，但进程的资源限制仍然是默认的1024。 ...
虚拟文件系统：为什么这个抽象层统治了Linux文件访问三十年
一个看似简单的问题 当你在Linux终端输入cp /home/user/file.txt /mnt/usb/backup/时，系统在做什么？源文件位于ext4格式的SSD上，目标目录在FAT32格式的U盘里。这两种文件系统的数据结构完全不同——ext4使用extent树管理块分配，FAT32依靠链式的FAT表。然而，cp命令对这种差异一无所知。 ...
为什么CPU的字节序至今无法统一：从鸡蛋争议到网络标准
1980年，互联网工程备忘录IEN 137发表了一篇题为《On Holy Wars and a Plea for Peace》的论文。作者Danny Cohen用《格列佛游记》中的鸡蛋争议，比喻计算机界关于字节序的争论。四十多年过去了，这场"圣战"不仅没有结束，反而因为新硬件、新协议的出现变得更加复杂。 ...
为什么内存安全成为现代软件工程的圣杯？从手动管理到所有权系统的五十年技术突围
2019年，微软安全响应中心公布了一组令人震惊的数据：从2006年到2018年，微软产品中约70%的安全漏洞源自内存安全问题。这并非孤例——Chrome团队的数据同样显示，其高危安全漏洞中超过三分之根植于内存安全缺陷。Google的研究人员指出，这一比例在C/C++代码库中呈现出惊人的稳定性。 ...
Unix信号的底层真相：从Ctrl+C到内核中断处理的技术全景
当你按下Ctrl+C时，终端里的程序就停止了。这个每天都在发生的操作背后，是Unix操作系统最古老也最精妙的进程间通信机制——信号（Signal）。 ...
内存对齐：为什么你的结构体可能比预期大三倍
一个看似简单的面试题：在64位系统上，下面的结构体占多少字节？ struct Example { char a; // 1字节 int b; // 4字节 char c; // 1字节 double d; // 8字节 }; 把所有成员的大小加起来：1 + 4 + 1 + 8 = 14字节。但实际答案是24字节——比预期多了71%。 ...