微软解释为什么 Rust 是系统编程的最佳选择

上周，MSRC（微软安全响应中心）透露出拥抱 Rust 的打算，随后他们将这个话题扩展为一个系列，进一步阐述了使用安全的系统编程语言的的必要性，以及选择 Rust 的原因。

在该系列最新一篇文章中，MSRC 团队首席云开发布道师 Ryan Levick 解释了为什么他们认为 Rust 编程语言目前是业界采用的最佳选择，不仅仅是因为它能够以内存安全的方式编写系统级程序。

“首先，已经有很多出色的内存安全语言在微软内外广泛使用，包括 .NET 语言（像是 C# 或 F#）和其他语言（例如 Swift、Go 和 Python）。我们鼓励目前使用 C 或 C++ 的人将其中任意一种语言纳入考虑。不过现在谈论的是对安全的系统编程语言的需求，此类工作负载需要 C、C++ 和 Rust 能够提供的速度和可预测的性能。通过垃圾回收实现内存安全的语言不是系统编程的理想选择，因为它们的运行时间会导致不可预测的性能和不必要的成本。”

性能和控制

Levick 指出，最好先考虑一下无法从 C 和 C++ 放弃的东西——性能和控制，就能更清楚地明白 Rust 为什么是一个好的选择。像 C 和 C++ 一样，Rust 有一个最小的可选“运行时”。Rust 的标准库同样依赖于 libc，但标准库也是可选的，因此在没有操作系统的平台上运行也是可能的。

仍然像 C 和 C++ 一样，Rust 为程序员在何时分配内存以及分配内存的多少上提供了精细的控制，使程序员能够非常清楚地知道程序每次运行时的确切执行方式。在原始速度、控制和可预测性方面，这对于性能来说意味着什么？那就是，“Rust、C 和 C++ 可以用类似的术语来思考”。

安全

Rust 与 C 和 C++ 的区别在于其强大的安全保障，某种程度上来说 Rust 完全是内存安全（memory safe）的。正如之前那篇文章提到的，微软大约 70% 的安全问题是内存安全问题。如果这些软件用 Rust 编写，那么这 70% 的安全问题很可能就不存在。

在系统编程中，有时程序员必须执行无法静态验证为安全的操作。Rust 为程序员提供了将这些操作封装在安全抽象中的工具，这意味着曾经降级为代码注释或约定的东西可以由 Rust 编译器静态强制执行。

不仅仅是性能与安全

Rust 最初引起 MSRC 的兴趣正是由于上述性能与安全方面的特性。但它的的魅力不止于此，已经有其他微软团队开始采用 Rust，主要出于以下原因：

根据微软内部调查，采用它的最主要原因是“精密性”（correctness）——“if it compiles, then it works”。
Rust 静态地强制执行程序的许多属性，已经远超内存安全性，还包括空指针安全性和数据争用安全性（即没有来自两个或多个线程的一块内存的不同步访问）。
Rust 的丰富类型系统使编写富有表现力的程序成为可能。具有相关数据的枚举和强大的 trait 系统等概念进一步强化了 Rust 的目标，即尽可能使程序无错误。
Rust 现有的社区对该语言有很大益处。虽然 Rust 仍然是一种年轻语言，但它拥有一个健康的生态系统，既能够促进开源社区发展强大，又能够支持生产用户。

Levick 表示有足够的理由相信 Rust 会有一个光明的未来，“虽然现在大规模采用 Rust 还为时过早，但早期采用 Rust 通常是非常积极且正面的”。他们相信 Rust 在编写安全的系统软件时会改变游戏规则。Rust 提供编写底层系统所需的性能和控制，同时使软件开发人员能够编写更健壮、安全的程序。

不过，MSRC 在研究 Rust 时发现了一些问题，其中包括如何规范 Rust 的“不安全”（unsafe）超集的使用，缺乏与 C++ 的一流互操作性，以及与现有 Microsoft 工具的互操作性。这确实对微软采用 Rust 提出了挑战，但 MSRC 还是满怀期待：“我们对这些可能性感到兴奋。虽然还有许多关于 Rust 如何适应整个 Microsoft 工程的问题需要弄清楚，但我们鼓励其他人一同加入，认真考虑这门语言，以满足他们的系统编程需求。”

MSRC 博客原文：https://msrc-blog.microsoft.com/2019/07/22/why-rust-for-safe-systems-programming/

微软解释为什么 Rust 是系统编程的最佳选择相关推荐

微软解释为什么Rust是系统编程的最佳选择
上周,MSRC(微软安全响应中心)透露出拥抱 Rust 的打算,随后他们将这个话题扩展为一个系列,进一步阐述了使用安全的系统编程语言的的必要性,以及选择 Rust 的原因. 在该系列最新一篇文章中,M ...
为什么Python是数据可视化编程的最佳选择？
前言统计信息的图形显示被称为数据可视化.编程数据可视化工具提供了一种直接的方法,通过利用图表.图形和地图等视觉组件来检查和理解数据中的趋势.异常值和模式.(文末送福利) [Python]提供的[数据 ...
C++和Rust_Rust 是系统编程的未来，C 是新的 Assembly
作者丨Bhagyashree R 译者丨平川策划丨王文婧在 2019 年开源技术峰会(OSTS)上,英特尔首席工程师 Josh Triplett 详细介绍了英特尔为将人们喜爱的 Rust 变成和 ...
C语言嵌入式系统编程修炼之道——背景篇
C语言嵌入式系统编程修炼之道--背景篇作者:宋宝华 e-mail:[email]21cnbao@21cn.com[/email] 不同于一般形式的软件编程,嵌入式系统编程建立在特定的硬件平台上,势 ...
[转]C语言嵌入式系统编程修炼之背景篇
http://www.2ed.cn/Article-150-21922.shtml 不同于一般形式的软件编程,嵌入式系统编程建立在特定的硬件平台上,势必要求其编程语言具备较强的硬件直接操作能力.无疑, ...
浅谈C语言嵌入式系统编程注意事项
C语言嵌入式系统编程注意事项之背景篇本文的讨论主要围绕以通用处理器为中心的协议处理模块进行,因为它更多地牵涉到具体的C语言编程技巧不同于一般形式的软件编程,嵌入式系统编程建立在特定的硬件平台上 ...
C语言在嵌入式系统编程时的注意事项
C语言是一门通用计算机编程语言,应用广泛.C语言的设计目标是提供一种能以简易的方式编译.处理低级存储器.产生少量的机器码以及不需要任何运行环境支持便能运行的编程语言. 尽管C语言提供了许多低级处理的功 ...
C语言嵌入式系统编程修炼(经典中的经典)
C语言嵌入式系统编程修炼 http://blog.chinaunix.net/u/25764/showart_326589.html转载自这里,真是太经典了. C语言嵌入式系统编程修炼 ...
C语言嵌入式系统编程
不同于一般形式的软件编程,嵌入式系统编程建立在特定的硬件平台上,势必要求其编程语言具备较强的硬件直接操作能力.无疑,汇编语言具备这样的特质.但是,归因于汇编语言开发过程的复杂性,它并不是嵌入式系统开发 ...

微软解释为什么 Rust 是系统编程的最佳选择

微软解释为什么 Rust 是系统编程的最佳选择相关推荐

最新文章

热门文章