独立式可执行程序

#![no_std]属性禁用标准库自动引用（Rust将引入core库替代）

eh_personality语言项是一些编译器需求的特殊函数或类型

• Rust 的 Copy trait 是一个这样的语言项，告诉编译器哪些类型需要遵循复制语义（copy semantics）——当我们查找 Copy trait的实现时，我们会发现，一个特殊的 #[lang = "copy"] 属性将它定义为了一个语言项，达到与编译器联系的目的
• 语言项是高度不稳定的语言细节实现，它们不会经过编译期类型检查（所以编译器甚至不确保它们的参数类型是否正确），因此自己实现一个语言项不太合理
• eh_personality 语言项标记的函数，将被用于实现栈展开（stack unwinding）
  • 在使用标准库的情况下，当panic发生时，Rust将使用栈展开，来运行在栈上所有活跃的变量的析构函数（destructor）— 这确保了所有使用的内存都被释放，允许调用程序的父进程（parent thread）捕获panic，处理并继续运行
• 但是栈展开是一个复杂的过程，通常需要依赖于操作系统的库；所以在编写自己的操作系统时直接禁用栈展开

Rust 提供了在 panic 时中止（abort on panic）的选项

• 这个选项能禁用栈展开相关的标志信息生成，也因此能缩小生成的二进制程序的长度

// 通过在Cargo.toml文件中加入
[profile.dev]
panic = "abort"

[profile.release]
panic = "abort"

• 将 dev 配置（dev profile）和 release 配置（release profile）的 panic 策略设为 abort
  • dev 配置适用于 cargo build，而 release 配置适用于 cargo build --release

start语言项，它将定义一个程序的入口点（entry point）

• 大多数语言都拥有一个运行时系统（runtime system）
  • 通常为垃圾回收（garbage collection）或绿色线程（software threads，或 green threads）服务
  • 需要在main函数前启动，因为它需要让程序初始化
• 在一个典型的使用标准库的Rust程序中，程序运行是从一个名为 crt0 （C runtime zero）的运行时库开始的
  • 建立一个适合运行C语言程序的环境，这包含了栈的创建和可执行程序参数的传入
  • 之后，这个运行时库会调用 Rust 的运行时入口点，这个入口点被称作 start语言项（“start” language item）
  • Rust只拥有一个极小的运行时，它被设计为拥有较少的功能，如爆栈检测和打印栈轨迹（stack trace）
  • 之后，这个运行时将会调用main函数

重写整个 crt0 库和它定义的入口点

• #![no_main] 属性告诉Rust编译器我们不使用预定义的入口点

• 编写一个 _start 函数

  #[no_mangle]
  pub extern "C" fn _start() -> ! {
      loop {}
  }
  

  • no_mangle 标记这个函数，来对它禁用名称重整（name mangling）
    • 这确保Rust编译器输出一个名为 _start 的函数
    • 否则，编译器可能最终生成名为 _ZN3blog_os4_start7hb173fedf945531caE 的函数，无法让链接器正确辨别
  • 将函数标记为 extern "C"，告诉编译器这个函数应当使用 C 语言的调用约定，而不是 Rust语言的调用约定

• 这个入口点不会被任何函数调用，但将直接被操作系统或引导程序（bootloader）调用