可执行文件格式

Question

我的问题源于我缺乏较低级别系统编程的经验（特别是在操作系统的实施级别）。可执行文件包含操作系统的一些信息——例如它必须在启动时动态链接到哪些库。因此，编译器在编译文件时会将此类依赖项放在可执行文件的适当位置。所以我们为给定的系统编译代码。但是那么我们如何编译构成系统的代码呢？编译器为哪个系统编译该代码？

开发 C 编程语言是为了帮助编写 UNIX 操作系统，但是说 Linux 呢？

对不起，鸡蛋问题。

Answer 1

大多数 C 编译器都可以选择不链接到系统的标准 C 库。如果选择这样的函数，那么malloc、printf等标准函数就不存在了。

您可以调用的唯一代码是您创建的代码。没有系统包含，没有标准库函数，只有你自己的代码。一张白纸。

编写操作系统涉及很多方面——线程、进程、受保护的内存、内存分配器、权限分离、输入/输出、设备访问、文件系统、网络……不胜枚举。

当您编写操作系统的内核时，您最终将拥有足够的支持结构，您可以开始编写用户模式系统调用来访问内核的功能，例如文件 IO。如果您愿意，您可以通过以 C 标准库的标准形式实现它们来实现。

理论上，您可以编写一个没有称为malloc 或printf 的函数的操作系统。 C 编译器不会在意。

Answer 2

这里的诀窍是拥有一个可以构建正确代码的链接器。这不是编译器。