这篇文章将Linux比作解释器，探讨了如何通过执行cpio等操作来实现特殊功能，是之前四部分系列文章的独立补充内容。

Linux是一个解释器：关于如何执行cpio文件的思考

核心观点

作者通过一个递归执行kexec的Linux初始化内存盘（initrd）实验，提出了一个新颖观点：Linux内核本质上是一个解释器程序，而initrd则是被解释执行的"脚本"。

技术实验解析

1. 神秘命令分析：

   • 作者分享了一个看似危险的命令：curl https://astrid.tech/rkx.gz | gunzip | sudo sh
   • 解压后发现是一个20MB的shell脚本，内含base64编码的cpio归档文件

2. 递归执行机制：

   • 脚本会通过kexec加载新的内核和initrd
   • initrd中的/init脚本会：
     • 挂载/proc文件系统
     • 创建包含当前系统状态的新cpio归档
     • 用kexec重新执行自己

3. 解释器类比：

   • 将Linux内核比作解释器，initrd比作被解释的脚本
   • 类似Python解释器执行.py文件的方式

深入探讨

1. ELF文件的解释执行：

   • 动态链接的可执行文件实际上由ld.so解释器加载
   • 静态链接的ld.so则直接由内核解释

2. binfmt_misc扩展：

   • 可以通过注册cpio格式的解释器（如QEMU虚拟机）
   • 使得cpio文件也能像脚本一样直接执行

3. 递归与尾调用优化：

   • 这种kexec递归不同于传统的函数调用
   • 每次都是完全替换执行环境，类似尾调用优化

理论延伸

1. Linux初始化内存盘的奎因(Quine)：

   • 探讨了可以输出自身代码的initrd的可能性
   • 提出了寻找最小initrd奎因的挑战

2. 解释器层级：

   • 展示了从shell脚本→shell解释器→ld.so→Linux内核的解释链条
   • 指出这种链条最终必须有一个不依赖解释器的基例

结论

作者通过这个实验性项目，展示了Linux系统执行机制的深层原理，将操作系统内核重新概念化为一个解释器程序。这种视角为理解计算机系统的运行方式提供了新的思路。

项目源代码已开源在GitHub：https://github.com/ifd3f/rekexec/

注：本文是作者早期四部分系列文章的独立补充，完整内容可参考原文中的系列链接。

总结评论内容：

1. Linux vs Windows适用性

• 观点：Linux更适合可编程任务，Windows图形界面更好但各有不足
• 引用： "Linux is in general better suited for that task"（Linux通常更适合这个任务） "the windows interface annoys me...but GNOME annoys me and KDE annoys me too"（Windows界面让我烦恼...但GNOME和KDE也让我烦恼）

2. 成本节约与专业性的平衡

• 观点：过度节约小钱可能影响专业性，需要关注更重要的事情
• 引用： "a sweetspot between 'I spent 50 hours to save 1.50$/mo' and 'every engineer should be spending 250K$/mo'"（在"花50小时省1.5美元"和"每月花25万美元"之间有个平衡点） "obsessing over running doom on curl is not a very productive use of one's time"（沉迷于在curl上运行doom不是有效利用时间）

3. 操作系统本质

• 观点：所有操作系统本质上都是具有内核特权的机器代码解释器
• 引用： "Isn't every OS an interpreter for machine code with kernel privileges?"（难道每个操作系统不都是具有内核特权的机器代码解释器吗？）