「Rust每日新闻」本周精选 • 第十一期

blackanger (38)in #rust • 6 years ago

官方新闻

【重要】涨潮了：建立开放的模块化Web框架Tide

网络服务工作组今年的目标是改进网络开发：通过建立Tide（潮汐）框架，来改进基于async/await网络相关crate的生态系统。之所以取名为Tide（潮汐），意指“涨潮使得所有的船都得以上升”，也就是中国的那句成语，水涨船高。（开个玩笑，withoutboat怎么办？）总目标是提升Rust中所有web开发和框架之间的共享、兼容和改进。

Tide的愿景：

加强提供核心网络功能中充当「体力活」的crate，要确定并改进、标准化一批像http、url这样的基础库。
在这些基础库之上构建一个严肃的框架。理想情况下，只要可行就使用现成的crate，如果不合适，就自己创造一些小的、独立的crate。

这些均会记录到Tide的书中。并且这些工作都将是开放的，本篇文章就是这一系列的第一篇博文，如果你想参与这项工作的任何方面，请访问Discord上的WG-net-web频道！

初始主题：

基础服务API。

大多数语言生态系统最终都有一个关键的界面来讨论Web服务：Ruby有Rack，Python有WSGI，Java有Servlets等等。拥有这样的接口意味着你可以从底层Web服务器中分离Web框架。还可以提供可用于任何服务器和框架的通用底层中间件。现在tower-web已经开始这部分工作。简而言之，这种Service trait建模是通用的。

但当前的问题是：

Service trait建模是在async/await之前设计的，可能需要一些更改。
还需要标准化HTTP处理，可以参考tower-web中的BufStream参与讨论。总的来说，Tide就是打算在这些现有抽象的基础上来实现标准化和改进。

路由策略。

当前路由策略一共有三种：

Endpoint-centric 路由。是Rocket和tower-web的方式。就是利用属性，比如#[get("/")]，将对应函数设置为endpoint。
Table-of-contents路由，是Gotham, Rouille, 和 Actix Web采用的方式。

比如

        route.request(vec![Get, Head], "/").to(index);
        route.get_or_head("/products").to(products::index);
        route.get("/bag").to(bag::index);

这种方式有助于处理多个endpoint的问题，但是它比前一种策略更重一些，并且从请求信息中提取信息可能没那么灵活。

自由格式组合的路由

就是Wrap采用的方式。在某种程度上，也可以称为无路由方法。endpoint和应用中其他函数没有什么区别。一切皆filter，你可以通过组合filter来构建你的服务。

// Just the path segment "todos"...
let todos = warp::path("todos");

// Combined with `index`, this means nothing comes after "todos".
// So, for example: `GET /todos`, but not `GET /todos/32`.
let todos_index = todos.and(warp::path::index());

// `GET /todos`
let list = warp::get2()
    .and(todos_index)
    .and(db.clone())
    .map(list_todos);

// `POST /todos`
let create = warp::post2()
    .and(todos_index)
    .and(warp::body::json())
    .and(db.clone())
    .and_then(create_todo);

// Combine our endpoints, since we want requests to match any of them:
let api = list
    .or(create);

// View access logs by setting `RUST_LOG=todos`.
let routes = api.with(warp::log("todos"));

现在谈这种方式的优缺点还有点早，所以这里没谈。（无关个人喜好）

Tide中的路由是什么方式？

Tide倾向于 Table-of-contents路由，因为它比endpoint-centric路由更容易模块化和扩展，比自由式路由更容易理解。

在下一篇文章中，将深入研究Rust中的 Table-of-contents式路由中出现的一些API设计问题，并研究模块化和共享的途径。

（小声BB：预计2019年Rust在Web领域的应用将爆发。。。）

原文

嵌入式工作组报告 11

简要：

rustc现在支持4个Cortex-R编译目标，现在只需要使用rust-toolchain就行
James Munns在RustConf 2018上发表了演讲，内容涉及嵌入式系统的基础知识，以及Rust的Zero Cost Abstractions如何与裸机系统完美匹配的嵌入式项目
atsamd21-rs现在已经支持Arduino MKRZERO开发板
Exploring Rust on Teensy系列文章第四章正在构思，该系列将专注于使用futures-rs来表示DMA传输

更多内容请查看原文

原文

WebRender将开始在部分Firefox Nightly用户上启用

WebRender是一个基于GPU的实验性网页内容渲染器，用Rust编写。现在默认为桌面Windows 10 w / Nvidia GPU上的用户启用。

原文

澄清wasm-bindgen 和 stdweb关系

对wasm-bindgen 和 stdweb关系迷惑的朋友可以看看官方的回答

原文

niko开启「Rust官方时间」

Rust核心团队领导者Niko开启了「Rust官方时间」，旨在为初学者答疑解惑。

详情参考下面链接。

原文

网络工作组报告 1

过去的六周，网络工作组做了些什么？

WG-Net 愿景发布
Tide框架构建开启
Futures 0.3-alpha-4 现在可用
在考虑Pin API？Pin Api
tower-web 相关
会议记录

原文

社区新闻

RustConf 2018闭幕演讲文稿

该演讲嘉宾是Starbound的首席程序员，Chucklefish的技术主管，专注游戏开发。

他认为Rust非常适合做面向数据（data-oriented）的设计，因此非常适合做游戏开发，而且不仅仅是游戏开发。在可以预计的未来，他将继续使用Rust进行游戏开发。

本文介绍了游戏开发中使用Rust进行OO设计的各种弊端，并且通过示例逐渐给出了ECS架构的思想。

文章很长，耐心阅读。

原文

StackoverFlow已经累计了超过1万个Rust相关问题

原文

【重要】如何组织复杂的Rust代码库

这篇文章是Flare开发者在构建Flare这个复杂软件过程中，思考的一些Rust代码库相关的细节。

使用JetBrains CLion开发Rust
目前是使用Nightly版本，但指定了edition = 2018，但目标是等待stable Rust 2018。虽然目前使用了一些unstable 特性，但是越来越少了，Rust 2018版本对他们来说，已经非常适合使用。
依赖库。可以到这里找到他们使用的依赖库。比较出名的有failure、serde、lazy_static、libc、rand等。
源码组织。遵循Rust的传统，将项目构建为单独的crate。文章中包含了相关模块介绍。
管理unsafe代码。它们在项目根模块添加了#![deny(unsafe_code)] ，但是自己实现了一个unsafe_block!宏：


macro_rules! unsafe_block {  
    ($reason:tt => $body:expr) => {{
        #[allow(unsafe_code)]
        let r = unsafe { $body };
        r
    }};
}

在编写unsafe代码的时候使用这个宏，这就使得不安全的代码更具有审计性，达到了统一管理的目的。这个实践很棒。
管理cross-cutting concerns代码。 cross-cutting concerns来自于AOP的一个术语，叫横切关注点。这里其实是指那些在代码中复用的一些「工具类」函数或类型。代码越复杂，这种东西就会越多，需要好好管理它们。文章作者使用std_ext模块来统一管理这些「工具」
开发中可能会经常为结构体中增加新字段来解决一些问题，但有时候新加的字段，在一些方法里并没有被使用。所以利用#![deny(unused_variables)]属性来限制结构体，如果出现这种在方法里没有被使用的字段，则会报错。从而提醒开发者，仔细考虑这个需求。
还有很多值得探索的地方; 包括与.NET互操作，跨平台打包，测试和模糊测试。

看得出来，Rust语言本身为开发大型复杂应用提供了很多工具。

期待后续文章。

原文

你不能在Rust中关闭借用检查

官方steveklabnik写文章来驳斥社区中「unsafe代码可以关闭借用检查器」这种说法，并给予了详细的解释。

原文

两篇：一场由逻辑漏洞引发的「血案」

Miniserde发布

Serde作者发布了新的Miniserde库，这个新库和Serde在设计目标上是不同的

最小化设计，不像serde那样适用范围更广泛，只限JSON、仅限结构体、不能定制
只序列化String，确保序列化总是成功。
没有单态、没有递归、没有反序列化失败的错误消息。

在一些不需要serde那么复杂的场景之下，也许miniserde更有用

miniserde

gtk-rs新版本发布

添加了futures和异步处理函数

gio_futures
gio_features_await

原文

「论文」优化编译器的未来方向

这个问题确实需要考虑了

PDF

Rust源码分析：crossbeam之ms_queue(1)

crossbeam源码分析系列文章。

crossbeam是官方核心成语Aaron编写的并发库，提供了mpmc channel、scoped thread、并发数据结构、扩展了标准库的原子类型、以及其他的一些工具。

文章里介绍的是crossbeam库中Michael-Scott非阻塞队列(lock-free)算法的Rust实现，MS-queue算法主要依赖于CAS原子操作。

原文

Rust和JS交互

该文主要是探讨wasm-bindgen的用法，看看数字（因为wasm只能理解数字类型）和字符串类型如何转换，并且会介绍wasm-bindgen内部结构。推荐阅读。

原文

Vulkan刚刚成为世界上第一个具有正式内存模型的图形API

本周，Vulkan®已成为世界上第一个为其相关GLSL™和SPIR-V™编程语言提供正式内存模型的图形API。使Vulkan开发人员能够更好地控制着色器如何在并行执行环境中同步访问内存.

那估计gfx-rs也要马上跟进了吧

原文

indexlist: 基于Vector的双向链表

这是steveklabnik发布的一个新的crate，使用了分代索引模式基于Vector来建立链表，确保引用的正确性。并且是100% Safe Rust。

这种方式可以避免循环引用。

但是和这个库比怎么样呢？ generational-arena

该库Readme中罗列的ABA问题，indexlist是否避免了呢？

Julia挑战赛

作者希望Rust也参与，大家踊跃应战吧！

原文

Ripgrep 现在ubuntu上可用

原文

博文与库

到底什么是系统编程？

作者思考的这个问题，正好也是我疑惑的。

一般来说，系统编程包含两个概念：

底层编程，用于处理机器的各种细节
系统设计，创建和管理复杂的各种组件

作者回顾从计算机起源对系统编程的定义进行了回顾：

系统编程这个词起源于20世纪70年代，在《系统编程语言》（Bergeron1 et al.1972）中作者说：“系统程序是一组集成的子程序，它们一起构成一个大于其各部分之和的整体，并超过一些大小和/或复杂度的阈值。。。”，该定义的一个关键思想是：倡导将底层语言与系统语言分离。这个阶段认为系统应该是为用户服务。

20世纪90年代中期，随着动态类型脚本语言的兴起，编程语言发生了重大的变化。Perl、Python、Ruby等，于是就有了高级语言和系统编程语言的二分法（Ousterhout 1998），系统编程用于创建组件，脚本用于将它们粘合在一起。也就是这个时候，静态类型和垃圾回收语言也开始兴起，Java和C#，虽然它们被认为不是传统的系统编程语言，但是Ousterhout中提到：“在正在形成的互联网中，Java被用于系统编程”

2010年开始，这个边界变得模糊了起来。Dropbox用Python也构建了大型的可扩展系统，JS也逐渐成为主流，可以构建复杂的UI系统，并且JIT编译器也开始流行，使得脚本语言也可以和传统系统编程语言拼一下性能。Julia、Swift和Go这样的新的编程语言也在推进垃圾回收语言的性能边界。

Bjarne Stroustrup（C ++的创建者），Rob Pike（Go的创建者），Andrei Alexandrescu（D开发人员），和Niko Matsakis（Rust开发人员）。当被问及“2014年什么是系统编程语言”时，他们说（编辑转录）：

Niko Matsakis：具有高延迟需求，高安全性要求，以及服务器端的各种需求。
Bjarne Stroustrup：系统编程出自你必须处理硬件的领域，然后应用程序变得更加复杂。你需要处理复杂性。如果您遇到任何重大资源限制问题，那么您就处于系统编程领域。如果您需要更精细的控制，那么您也在系统编程领域。决定它是否是系统编程的是约束。你的内存不足吗？你没时间了吗？
Rob Pike：当我们第一次宣布Go时，我们称它为系统编程语言，我有点遗憾，因为很多人认为它是一种编写操作系统的语言。我们应该称它为服务器端语言，现在我明白我们拥有的是云基础架构语言。系统编程的另一个定义是在云中运行的东西。
Andrei Alexandrescu：我有一些试金石用于检查某些东西是否是系统编程语言。系统编程语言必须能够允许您在其中编写自己的内存分配器。你应该能够将一个数字伪造成一个指针，因为这就是硬件的工作原理。

那么系统编程是关于高性能的吗？资源限制？硬件控制？云基础架构？从广义上讲，似乎C，C ++，Rust和D类别中的语言在它们与机器的抽象级别方面有所区别。这些语言公开了底层硬件的细节，如内存分配/布局和细粒度资源管理。

Rust语言特点是将好的软件设计和工程性原则应用于底层的编程，这方面极具创新性。

所以到底什么是系统编程语言？

作者认为，系统编程语言应该是特指底层编程语言，因为系统设计的领域太广，它不能有自己的命名，将这两个概念分清楚比较好。

原文