采用 FLS
几年前,Ferrous Systems 和 AdaCore 合作编写了一份 Rust 描述文件,称为 FLS1。自那时起,Ferrous Systems 一直忠实地维护和更新此文档以支持新版本的 Rust,并成功地利用它来认证基于 Rust 的工具链,以便在安全关键行业中使用。鉴于此成功,其他公司也开始依赖 FLS 来进行自己的认证工作,以便在使用 Rust 进行构建时使用。
Rust 项目的成员热衷于交付高质量的工具,使人们能够大规模构建可靠的软件。这类软件正是安全关键行业所需要的,因此我们越来越有兴趣更好地了解并满足我们语言和工具这些客户的需求。
正是出于这个原因,我们很高兴地宣布,作为我们正在进行的规范工作的一部分,我们将把 FLS 纳入 Rust 项目。这次纳入是 Ferrous Systems 促成的。我们感谢他们为使 FLS 适合认证目的所做的工作,为促进 FLS 以及 Rust 在安全关键行业中的广泛使用所做的努力,以及现在与我们合作迈出下一步并将其带入项目所做的工作。
通过这次纳入,我们期待更好地将 FLS 与项目流程整合,并为所有在安全关键行业中使用 Rust 的用户,特别是那些使用 FLS 进行认证工作的用户,提供持续且增强的保证。
这次纳入离不开 Rust 基金会的努力,特别是基金会技术总监 Joel Marcey 的努力,他为我们不懈努力促成了此事。我们感谢他和基金会的支持。基金会已经发布了关于此次纳入的博文。
我目前依赖 FLS;我应该期待什么?
我们将把 FLS 纳入项目内部,因此请预期一些 URL 会发生变化。我们计划像目前为止一样发布 FLS 的更新。
我们注意到,该文档的重大更改可能会给将其用于认证目的的用户带来成本,并且我们目前没有对此进行重大更改的计划。
这对 Rust Reference 意味着什么?
Reference 仍然是 Reference。纳入 FLS 不会改变 Reference 的地位,我们计划像以前一样继续改进和扩展 Reference。
我们当然会寻找 Reference 可以支持 FLS 以及 FLS 可以支持 Reference 的方法,并且从长远来看,我们希望能够找到将这两个文档进一步整合的方法。