【Linux Plumbers 大会总结】Rust 和 GCC 整合的两种方式

2021-10-15 14:58:43 浏览数 (1)

  • 原文: Rust and GCC, two different ways[1]
  • 作者: Jonathan Corbet

CC 等语言中工作的开发者可以使用两种相互竞争的编译器: GCCLLVM。它们中的任何一种通常都可以完成工作。不过,Rust 的开发者目前只能使用基于LLVMrustc编译器。虽然rustc工作得很好,但开发者也有合理的理由希望有一个替代品。事实证明,有两种不同的方法可以使用GCC编译Rust,虽然目前都还没有准备好。这两种方法的开发者都来到了2021年的 Linux Plumbers 大会[2],介绍他们的工作状况。

rustc_codegen_gcc 是为 Rust 编译器添加 GCC 后端;Native GCC ,是为 GCC 前端 添加Rust语言实现。

rustc_codegen_gcc

首先是 Antoni Boucher,他讲述了 rustc_codegen_gcc[3] 项目。他开始说,rustc编译器是基于LLVM的,除此之外,这意味着它不支持GCC所支持的所有体系结构。LLVM有的,rustc也有,但它有一个API,可以插入一个替代的代码生成器。这个API可以用来通过`libgccjit`[4]插入GCC的代码生成机制。这就是 rustc_codegen_gcc 所采取的方法。

为什么这会是一件有用的事情呢?Boucher说,Rust 语言越来越受欢迎,但它需要对LLVM所能提供的更多架构的支持。特别是Rust for Linux的工作突出了这个问题,但也有很多其他用户在那里。嵌入式系统的开发者会从更好的架构支持中受益,Firefox浏览器也是如此。

rustc_codegen_gcc现在支持许多Rust特性,包括基本和聚合类型、变量、函数、原子类型、线程本地存储、内联汇编、许多内部函数等等。该编译器在 Compiler Explorer[5] 中得到了支持。libcore测试通过了,大部分的用户界面测试也通过了。作为一个实验,这个编译器已经被用来为m68k架构构建Rust代码;这项工作仍处于早期阶段,Boucher 说,但它表明确实有可能为LLVM不支持的平台构建Rust程序。

仍然有一些问题需要解决。一些属性仍然需要支持,调试信息的生成也是如此。生成的代码质量并不总是最好的。必须做更多的工作来支持新的体系结构。还不支持链接时优化(LTO),等等。这项工作也需要对libgccjit进行一系列的修改,其中大部分仍在审查中。

还有一些其他的问题,包括需要使用GCC的补丁版本,直到所有的修改都被合并到上游。即便如此,也需要回传这些补丁,以允许使用较早的GCC版本,这对于编译内核是很重要的。

即便如此,这个项目似乎已经取得了合理的进展。Boucher 指出,曾经有一个活跃的Pull Request[6],要把rustc_codegen_gcc添加到rustc编译器中, 它已经在 9月29日被合并了。

Native GCC

Philip Herron 接着谈到了 Rust的本地GCC前端,也就是gccrs。这个编译器不是LLVMGCC的混合体,而是GNU工具链中Rust语言的完整实现。这项工作是用C 编写的(更容易启动,他说),并打算成为主线GCC的一部分。它使用现有的binutils,并重新使用官方的Rust库(如libcore、libstd和libproc)。

演讲者再次提出了 "为什么?"的问题。他说,他喜欢大项目,所以这个项目看起来很有吸引力。它与LLVM中的问题解决方式形成了有趣的对比,也是一个很好的机会,可以看到GCC是如何处理一种现代的高级语言。一旦工作完成,在代码大小、寄存器分配和能源效率方面对结果进行比较将会很有帮助。

他说,有一个独立的Rust实现,会有很多好处。与GCC的紧密结合将对一些项目很有帮助,这些项目也将能够从GCC插件中受益。基于GCCRust编译器将使rustc在新平台上的启动更加容易。对链接时优化的支持应该得到改善,这种优化在混合编译器的情况下往往效果不佳。当然,GCC也会带来对更多目标架构的支持。

Herron 说,GCC支持Rust的工作早在 2014 年就开始了,但后来停滞不前;该语言的发展速度太快,GCC的开发者无法跟上它。这项工作后来在 2019 年重新启动;最近对Rust用于内核的兴趣正在帮助推动这个项目。包括开源安全和Embecosm 在内的多家公司正在支持以GCC为基础的Rust编译器的开发。有一个详细的计划,即在 2022 年底前发布一个 "最小可行产品(MVP) "编译器。

到目前为止,对核心数据结构和大多数控制流都有工作支持,尽管一些控制流的工作仍在进行中。泛型和特质解析工作。未来的工作包括宏、导入、未稳定的特性和内部函数。有趣的是,目前的编译器可以构建 "hello world",但它需要使用Unsafe 的代码;缺乏宏意味着println!()不可用,必须调用C语言的printf()函数来代替。

计划在未来进一步开展的工作包括借用检查器,这将与`Polonius`[7]项目合作完成。增量编译也在列表中,还有将前端移植到旧的GCC版本。从长远来看,希望这项工作能够帮助推动Rust编译器的兼容性测试。

这些会谈的视频可以在YouTube[8]上找到。

参考资料

[1]

https://lwn.net/SubscriberLink/871283/c437c1364397e70e/: https://lwn.net/SubscriberLink/871283/c437c1364397e70e/

[2]

2021年的 Linux Plumbers 大会: https://linuxplumbersconf.org/

[3]

rustc_codegen_gcc: https://github.com/antoyo/rustc_codegen_gcc

[4]

libgccjit: https://gcc.gnu.org/onlinedocs/jit/

[5]

Compiler Explorer: https://godbolt.org/

[6]

活跃的Pull Request: https://github.com/rust-lang/rust/pull/87260

[7]

Polonius: https://github.com/rust-lang/polonius

[8]

YouTube: https://www.youtube.com/watch?v=ORwYx5_zmZo&t=1h27m48s

0 人点赞