第1章 | 系统程序员也能享受美好

简介: 第1章 | 系统程序员也能享受美好

1.1 Rust 为你负重前行

Rust 语言给了我们一个简单的承诺:只要程序通过了编译器的检查,就不会存在未定义行为。悬空指针、双重释放和空指针解引用都能在编译期捕获。数组引用则会受到编译期检查和运行期检查的双重保护,因此不会存在缓冲区溢出:想想那个不幸的 C 语言程序,它的 Rust 版代码会安全地退出并给出一条错误消息。

Rust 的目标是既安全易用。为了更好地保障程序的行为,Rust 对代码施加了比 C 和 C++ 更多的限制,而只有靠实践和经验,我们才能逐渐适应这种限制。但就整体而言,这门语言还是灵活且富有表现力的。用 Rust 编写的代码范围之宽、应用领域之广就是证明。

安全好用,应用广

1.2 高效并行编程

事实证明,Rust 用来确保内存安全的那些限制同样能确保 Rust 程序避免产生数据竞争(data race)。只要数据不可变,你就可以在线程之间自由地共享这些数据。会发生变化的数据则只能使用同步原语访问。所有传统的并发工具仍然可用:互斥锁、条件变量、通道、原子等。Rust 只负责检查你是否正确地使用了它们。

这就让 Rust 成了一门能充分发挥现代多核机器能力的优秀语言。Rust 的生态系统提供了一些超乎于常规并发原语的库,可帮助你在处理器池之间均匀分布复杂负载、使用无锁同步机制(如读取-复制-更新)等。

很好的支持并发

1.3 性能毫不妥协

通常,C++ 的各种实现会遵循零开销原则:没用到的,就没有开销;要用到的,你也无法手写出更好的代码。

系统编程通常会涉及极限压榨机器性能。对电子游戏来说,整台机器应该极力为玩家创造最佳体验。对浏览器来说,浏览器的效率决定了内容作者可用能力的上限。在机器的固有限制下,必须将尽可能多的内存和处理器能力留给内容本身。同样的原则也适用于操作系统:内核应该尽可能把机器资源留给用户程序,而不是自己来消耗它们。

但是当我们说 Rust“快”的时候,到底意味着什么呢?毕竟人们可以用任何通用语言来写出慢速代码。更准确一点儿说,如果你准备让程序充分发挥底层机器的能力,那么 Rust 就会为你提供支持。这门语言设计了一些“高性能”的默认选项,并赋予你自主控制内存使用和处理器算力分配方式的能力。

直接操作底层机器的能力,自主控制机器,更强大的能力,更自由的控制

协作无边界

“系统程序员也能享受美好”。这是指 Rust 对代码共享和复用的支持。

作为 Rust 的包管理器和构建工具,Cargo 能让你轻松使用别人在 Rust 的公共包存储库 crates.io 网站上发布的各种库。只需将库的名称和所需的版本号添加到文件中,Cargo 就会负责下载这个库以及它所用到的任何其他库,并将所有内容链接在一起。你可以将 Cargo 视为 Rust 下的 NPM 或 RubyGems,其侧重于实现健全的版本管理和可重现的构建。一些广为流行的 Rust 库提供了包括开箱即用的序列化功能、HTTP 客户端和服务器功能以及现代图形 API 功能在内的一切。

Cargo类似于前端包管理器,安装依赖和库简单方便

再进一步说,Rust 这门语言本身也旨在支持协作:借助 Rust 的特型(trait)2和泛型,我们可以创建具有灵活接口的库,将其用在许多不同的上下文中。Rust 的标准库提供了一组最核心的基本类型,这些类型为一些常见的情况建立了共享规约,以方便不同的库彼此协作。

2特型

表示一组具有指定特点的类型。这里之所以把 trait 译为“特型”,是因为特型和泛型是紧密相关的,我们希望读者顾名思义就能在两者之间建立联系;而其他中文译法,或者缺乏特异性,或者难以望文生义,因此并未采纳。关于 trait 翻译与否及译法是个非常有争议的话题,我们在审读群曾经进行过至少 3 次深度讨论,但并未形成共识。对于一个常用专有名词,有一个合适的中文表述是非常必要的。但对于一个词的新译法,一开始,大家可能还不太习惯,不妨试着给新词些时间。——译者注

这里想到了前端圣经《JavaScript高级程序设计 第4版》 中的翻译情况,把 promise 翻译成 期约

Rust 圈为这个词的翻译吵翻了天!技术图书翻译真不简单......_trait_特性_can (sohu.com)

目录
相关文章
|
存储 关系型数据库 MySQL
RDS MySQL 数据库运维简述
从运维的视角,汇总云数据库RDS MySQL使用的避坑指南。文章初版,维护更新,欢迎指点。
1301 3
|
架构师 Java 开发者
得物面试:Springboot自动装配机制是什么?如何控制一个bean 是否加载,使用什么注解?
在40岁老架构师尼恩的读者交流群中,近期多位读者成功获得了知名互联网企业的面试机会,如得物、阿里、滴滴等。然而,面对“Spring Boot自动装配机制”等核心面试题,部分读者因准备不足而未能顺利通过。为此,尼恩团队将系统化梳理和总结这一主题,帮助大家全面提升技术水平,让面试官“爱到不能自已”。
得物面试:Springboot自动装配机制是什么?如何控制一个bean 是否加载,使用什么注解?
|
测试技术 持续交付
软件测试中的自动化工具及其应用
本文将探讨软件测试中自动化工具的特点、优势以及常见应用场景,重点介绍了自动化测试工具在提高测试效率、减少人力成本以及保证软件质量方面的重要作用。通过深入分析自动化测试工具的应用实例,帮助读者更好地理解和运用现代软件测试工具。
381 35
|
存储 编译器 C语言
内存中的数据存储(一看就“费”)
内存中的数据存储(一看就“费”)
147 0
|
自然语言处理 数据安全/隐私保护 开发者
插件安装演示Ⅰ | 学习笔记
快速学习插件安装演示Ⅰ
插件安装演示Ⅰ | 学习笔记
|
机器学习/深度学习 并行计算 IDE
成功解决ImportError: cannot import name 'pywrap_tensorflow'
成功解决ImportError: cannot import name 'pywrap_tensorflow'
成功解决ImportError: cannot import name 'pywrap_tensorflow'
|
SQL 关系型数据库 数据库连接
Go database/sql 教程
Go使用SQL与类SQL数据库的惯例是通过标准库[database/sql](http://golang.org/pkg/database/sql/)。这是一个对关系型数据库的通用抽象,它提供了标准的、轻量的、面向行的接口。不过`database/sql`的包文档只讲它做了什么,却对如何使用只字未提。快速指南远比堆砌事实有用,本文讲述了`database/sql`的使用方法及其注意事项。
16683 0
|
网络协议 算法 Java
五分钟自学编程:计算机网络到底应该怎么学?!
原创声明 本文首发于微信公众号【程序员黄小斜】 本文作者:黄小斜 转载请务必在文章开头注明出处和作者。 思维导图 简介 上一期我讲到了数据结构怎么学,当时我的学习方法是先看视频,再看书,然后刷一刷基础算法题做巩固。
|
分布式计算 大数据 Hadoop
Docker生态会重蹈Hadoop的覆辙吗?
今晨在微信组中大家讨论了一篇文章,刚好和第三期云栖说《Hadoop是否已经过时》立意相似。不完全认同作者观点,发出共享以及思考。目测微信组从中午一直吵到现在了,果然是理越辩越明。文章来自科技头条微信号,作者是品刀客。原文链接见此处。目录一、Docker的兴起和Hadoop何其相似二、大数据从狂热走向了理性三、Hadoop生态圈的演进四、Docker的生态圈五、Docker公司的战略
4629 0