Skip to content

Commit fb6aa58

Browse files
ZhangHanDongZhangHanDong
committed
for Q1
1 parent 690e690 commit fb6aa58

27 files changed

+412
-16
lines changed

‎README.md

+7-2
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,18 @@
1-
# Rust Magazine 2022
1+
# Rust Magazine 2022 季刊
22

33
![2022](https://user-images.githubusercontent.com/27893/150057562-c5db14c6-1742-43b9-add8-2dbe37c8fb7d.png)
44

55

6+
**本刊专注于记录、分类整理、回顾每个季度中 Rust 社区的动态，以一个观察者的身份，旁观 Rust 语言及其生态的发展与变迁。**
7+
8+
欢迎大家投稿！投稿可以直接以 PR 的方式，发布文章到 `contribute/` 目录下面即可。如有图片请置于 `contribute/images/` 目录下的和你的文章对应的自定义文件下面，比如 `contribute/images/your_articles/`。
9+
10+
611
## 说明
712

813
[《Rust Magazine 中文精选 2021》](https://rustmagazine.github.io/rust_magazine_2021/) 坚持了一年，虽然受到社区广大朋友欢迎，但投稿数量不是很理想，所以本来在 2022 年不打算继续维护。然而，一些朋友私聊我说，Rust Magazine 内容不错，值得继续搞，我接受这这个建议，但是从之前的月刊，改为季刊！
914

10-
同时，也欢迎大家投稿！
15+
1116

1217

1318

‎src/Q1/academic/rust.md

+14
Original file line numberDiff line numberDiff line change
@@ -1 +1,15 @@
11
# Rust
2+
3+
4+
## 来自于 MIT-PDOS 的研究型项目: terra
5+
6+
一个用 Rust 编写的大型地形渲染库，基于 wgpu。
7+
8+
> [https://github.com/mit-pdos](https://github.com/mit-pdos)
9+
10+
11+
[https://github.com/fintelia/terra](https://github.com/fintelia/terra)
12+
13+
## 清华大学： 2022 全国大学生操作系统比赛
14+
15+
[https://github.com/oscomp](https://github.com/oscomp)

‎src/Q1/academic/wasm.md

+23
Original file line numberDiff line numberDiff line change
@@ -1 +1,24 @@
11
# WebAssembly
2+
3+
## 卡内基梅隆大学论文：使用 WebAssembly 的可证明安全的多语言沙箱
4+
5+
该论文探索了两种生成可证明wasm代码的方法：
6+
- 传统形式化方法生成数学的、经过机器检查的安全性证明。对应实现为 vWasm 编译器。
7+
- 将 wasm 语义小心地嵌入到安全的 Rust 代码中，以便 Rust 编译器能够以良好的性能emit安全的可执行代码。对应实现为 rWasm 编译器。
8+
9+
本文贡献：
10+
11+
- vWasm 是第一个经过验证的沙盒编译器，通过传统的机器检查证明实现。
12+
- rWasm 是第一个可证明安全的沙箱编译器，具有极具竞争力的运行时性能。通过利用 Rust 的安全保证，rWasm 实现了第一个多语言多平台的沙箱编译器。它是提供了可证明的保证，而无需编写正式的证明。
13+
14+
rWasm 机制：
15+
16+
- 编译策略：
17+
1. 通过一个编译前端将wasm编译为 IR
18+
2. 包括一个栈和死代码分析器
19+
3. 通过一个后端将 IR 打印为 Rust 代码
20+
4. 通过 rustc 编译器生成机器代码
21+
- rWasm是通过 Safe Rust 实现的
22+
- rWasm的关键是： 通过将低级代码(Wasm)提升为高级代码（Rust）来完成对低级代码的仿真，从而得到高级语言的保证。因为想要证明的安全沙盒的高级属性本质就是内存安全。
23+
24+
[https://www.jaybosamiya.com/publications/2022/usenix/provably-safe-sandboxing-wasm.pdf](https://www.jaybosamiya.com/publications/2022/usenix/provably-safe-sandboxing-wasm.pdf)

‎src/Q1/business.md

+10
Original file line numberDiff line numberDiff line change
@@ -1 +1,11 @@
11
# 商业动态
2+
3+
4+
## transactional-storage-framework： SAP 也在尝试使用 Rust
5+
6+
在 SAP 的 GitHub 组织下有一个 事务存储框架（transactional-storage-framework） 项目，其开发者个人名下也有另一个 Rust 项目 scalable-concurrent-containers 。
7+
8+
事务存储框架是一个软件框架，为一个完整的事务存储系统提供关键操作接口和基本功能。Container类似于数据库管理软件中的数据库表。它的数据是根据嵌入在容器中的元数据组织的。容器是分层管理的，可以用字符串唯一标识。
9+
10+
- [https://github.com/SAP/transactional-storage-framework](https://github.com/SAP/transactional-storage-framework)
11+
- [https://github.com/wvwwvwwv/scalable-concurrent-containers](https://github.com/wvwwvwwv/scalable-concurrent-containers)

‎src/Q1/contribute/images/.keep

Whitespace-only changes.

‎src/Q1/lang.md

+7-1
Original file line numberDiff line numberDiff line change
@@ -105,4 +105,10 @@ Rust 语言团队 Leader Niko 在其博文上畅想 Rust 2024 Edition：
105105
- 敢于要求从 Rust 的工具中获得更丰富、更具交互性的体验
106106
- 敢于为Unsafe Rust要求更丰富的工具
107107

108-
[https://smallcultfollowing.com/babysteps//blog/2022/02/09/dare-to-ask-for-more-rust2024/](https://smallcultfollowing.com/babysteps//blog/2022/02/09/dare-to-ask-for-more-rust2024/)
108+
[https://smallcultfollowing.com/babysteps//blog/2022/02/09/dare-to-ask-for-more-rust2024/](https://smallcultfollowing.com/babysteps//blog/2022/02/09/dare-to-ask-for-more-rust2024/)
109+
110+
## Rust 2022 编译器团队的雄心
111+
112+
113+
114+
[https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html)

‎src/Q1/learns/blogs.md

+28
Original file line numberDiff line numberDiff line change
@@ -1 +1,29 @@
11
# 博文教程
2+
3+
## Rust 借用检查规则注定被“打破”
4+
5+
这篇文章想表达的内容并不是真的要“打破”借用检查，它是提供了一个视角来介绍 `Rc/Arc/Cell/RefCell/Mutex/Atomics`等。
6+
7+
- [https://blog.warp.dev/rules-are-made-to-be-broken/](https://blog.warp.dev/rules-are-made-to-be-broken/)
8+
- [Reddit 讨论](https://www.reddit.com/r/rust/comments/t54pab/rusts_rules_are_made_to_be_broken/)
9+
10+
## Shaking off the Rust : 系列 Rust 学习博客
11+
12+
通过实际构建东西，将在此过程中了解一系列技术概念，并提高 Rust 的能力。
13+
14+
[https://www.sotr.blog/](https://www.sotr.blog/)
15+
16+
17+
## nom 解析比特流
18+
19+
该文章介绍了如何使用 Nom v7 来解析二进制数据，比如 DNS 协议头。
20+
21+
在该文章相关的 Reddit 讨论中，有网友提出解析 DNS 协议头并不需要使用 nom，而利用位运算来提取相关部分是常规操作。并提供了一个库 [bitstream-io](https://github.com/tuffy/bitstream-io)，提供了方便的接口来处理媒体编解码时候可能出现的一些位偏移问题。但作者使用nom是为了玩 [https://adventofcode.com/](https://adventofcode.com/)，学习目的。
22+
23+
其他网页也给出了一些看法和库，了解细节可以看看 reddit 讨论。
24+
25+
当然，Rust 生态也有生产级的 DNS 解析库 : [trust-dns](https://github.com/bluejekyll/trust-dns) 。
26+
27+
28+
- [https://blog.adamchalmers.com/nom-bits/](https://blog.adamchalmers.com/nom-bits/)
29+
- [https://www.reddit.com/r/rust/comments/t52iuz/parsing_bitstreams_with_nom/](https://www.reddit.com/r/rust/comments/t52iuz/parsing_bitstreams_with_nom/)

‎src/Q1/learns/open-courses.md

+8-1
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,11 @@
77
该课程持续开设，2020 和 2021 的课件是不一样的，2021 加了一节关于程序静态分析和动态分析的内容，2022年也继续。
88

99
- [2021 年](https://reberhardt.com/cs110l/spring-2021/)
10-
- [2022 年](https://web.stanford.edu/class/cs110l/)
10+
- [2022 年](https://web.stanford.edu/class/cs110l/)
11+
12+
## KAIST CS431: Concurrent Programming
13+
14+
- [https://github.com/kaist-cp/cs431](https://github.com/kaist-cp/cs431)
15+
- [Slides](https://docs.google.com/presentation/d/1NMg08N1LUNDPuMxNZ-UMbdH13p8LXgMM3esbWRMowhU/edit#slide=id.g419ba1421c_0_9)
16+
- [Youtube](https://www.youtube.com/watch?v=TTVuUIhdn_g&list=PL5aMzERQ_OZ9j40DJNlsem2qAGoFbfwb4)
17+

‎src/Q1/learns/projects.md

+6-1
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,9 @@
1717
功能非常简单，可以基于该项目去扩展功能，也可以学习 Rust 使用。
1818

1919
- [https://github.com/ohsayan/jotsy](https://github.com/ohsayan/jotsy)
20-
- [介绍文章](https://ohsayan.github.io/2022/02/jotsy-a-self-hosted-notes-app/)
20+
- [介绍文章](https://ohsayan.github.io/2022/02/jotsy-a-self-hosted-notes-app/)
21+
22+
## bevy 实现的扫雷游戏
23+
24+
- [系列文章](https://dev.to/qongzi/series/16975)
25+
- [项目](https://gitlab.com/qonfucius/minesweeper-tutorial)

‎src/Q1/learns/videos.md

Whitespace-only changes.

‎src/Q1/learns/videso.md

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
# 线上视频

‎src/Q1/libs.md

+40-2
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# Rust 基础库
1+
# Rust 开发基础库
22

33
---
44

@@ -18,4 +18,42 @@
1818
- 本机字节序列化： deser 具有内置的专门化功能，用于将字节和字节向量序列化为与切片和向量不同的格式。
1919

2020

21-
[deser](https://github.com/mitsuhiko/deser)
21+
[deser](https://github.com/mitsuhiko/deser)
22+
23+
## 【实验性】diplomat: 用于生成 FFI 定义的工具
24+
25+
使用 Diplomat，您可以简单地定义要通过 FFI 公开的 Rust API，并自动获得高级 C、C++ 和 JavaScript 绑定！
26+
27+
- [https://github.com/rust-diplomat/diplomat](https://github.com/rust-diplomat/diplomat)
28+
- [https://rust-diplomat.github.io/book/](https://rust-diplomat.github.io/book/)
29+
30+
## Clap 3.1 发布
31+
32+
Clap v3 开发了好几年，并且经过几次维护者变更，所以变更日志已经变得不再连续完整。
33+
34+
v3 最大的改变是集成了 [StructOpt](https://docs.rs/structopt/)。
35+
36+
[https://github.com/clap-rs/clap/blob/master/CHANGELOG.md](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
37+
38+
39+
## deku : 声明式二进制读写
40+
41+
为结构体和枚举提供位级（bit-level）、置换（symmetric）、序列化/反序列化实现。支持 `no_std` 和 `wasm`。
42+
43+
[https://github.com/sharksforarms/deku](https://github.com/sharksforarms/deku)
44+
45+
## nextest : Rust 的下一代测试执行器
46+
47+
特点：
48+
- 干净美观的用户界面
49+
- 比 `cargo test`性能快 `60%`
50+
- 自动重试失败的测试，如果稍后通过测试，就能将其标记为 不可靠测试（`flaky`），对于发现系统中的问题比较有用
51+
- 分区测试跨多个 CI Jobs运行。如果您的测试在 CI 中运行的时间过长，nextest 可以自动为您将它们拆分到多个Jobs中。
52+
- 跨平台。nextest 可在 Unix、Mac 和 Windows 上运行，因此无论您使用什么平台，您都可以获得更快的测试运行的好处。
53+
- 其他（还在完善中）
54+
55+
> 不可靠测试（Flaky Tests），就是指在被测对象和测试条件都不变的情况下，有时候失败、有时候成功的测试。产生这类测试的原因包括：异步等待、并发、资源泄漏、远程服务、依赖其他测试、平台依赖性、系统时间、随机数等。
56+
> 相关论文：[https://www.cs.cornell.edu/courses/cs5154/2021sp/resources/LuoETAL14FlakyTestsAnalysis.pdf](https://www.cs.cornell.edu/courses/cs5154/2021sp/resources/LuoETAL14FlakyTestsAnalysis.pdf)
57+
58+
- [https://github.com/nextest-rs/nextest](https://github.com/nextest-rs/nextest)
59+
- [nextest book](https://nexte.st/index.html)

‎src/Q1/opensource.md

+3
Original file line numberDiff line numberDiff line change
@@ -1 +1,4 @@
11
# 开源动态
2+
3+
按领域记录 Rust 开源生态。
4+

‎src/Q1/opensource/cliapp.md

+71
Original file line numberDiff line numberDiff line change
@@ -1 +1,72 @@
11
# 命令行工具
2+
3+
4+
## adsb_deku： Rust 实现的终端雷达应用
5+
6+
基于 tui-rs，实现在终端即可解码 ADS-B 来监视飞越你家的飞机
7+
8+
> ADS-B : 广播式自动相关监视
9+
10+
“ADS-B 是一种空中交通监视应用，用于传递飞行参数，比如，位置，航迹和
11+
地速等，通过数据链广播模式，在特定的间隔时间内发送，任何空地用户
12+
都可以申请使用这个功能。” (ICAO国际民航组织)
13+
14+
- ADS-B RAD : 广播式自动相关监视 可用于雷达覆盖空域
15+
- ADS-B NRA : 广播式自动相关监视 可用于无雷达覆盖空域
16+
- ADS-B APP : 广播式自动相关监视 可用于机场地面活动区交通监视
17+
18+
[https://github.com/rsadsb/adsb_deku](https://github.com/rsadsb/adsb_deku)
19+
20+
## cargo-mobile: 帮助你在 iOS 和 Andriod 上方便地使用 Rust
21+
22+
这个工具是对 “如何在 iOS 和 Andriod 上使用 Rust ？” 问题的回应。
23+
24+
cargo-mobile 是一个与框架无关的工具，可以生成 Xcode 和 Android Studio 项目文件、在设备上构建和运行、生成项目样板文件以及其他一些事情！目前支持 macOS 和 Linux 。
25+
26+
该工具在 BrainiumLLC 公司内部已经使用了，可以看其[公司博客介绍](https://dev.brainiumstudios.com/2020/11/24/cargo-mobile.html)。注意，这篇文章是两年前的了，但是工具是刚开源，文章还未来得及更新。
27+
28+
```sh
29+
cargo install --git https://github.com/BrainiumLLC/cargo-mobile
30+
```
31+
32+
[https://github.com/BrainiumLLC/cargo-mobile](https://github.com/BrainiumLLC/cargo-mobile)
33+
34+
## argc: 一种处理 `sh/bash` 命令参数的便捷方式
35+
36+
```sh
37+
# demo.sh
38+
39+
# @describe A demo cli
40+
41+
# @cmd Upload a file
42+
# @arg target! File to upload
43+
upload() {
44+
echo "cmd upload"
45+
echo "arg: target $argc_target"
46+
}
47+
48+
# @cmd Download a file
49+
# @flag -f --force Override existed file
50+
# @option -t --tries <NUMBER> Set number of retries to NUMBER
51+
# @arg source! Url to download from
52+
# @arg target Svae file to
53+
download() {
54+
echo "cmd: download"
55+
echo "flag: --force $argc_force"
56+
echo "option: --tries $argc_tries"
57+
echo "arg: source $argc_source"
58+
echo "arg: target $argc_target"
59+
}
60+
61+
eval "$(argc -e $0 "$@")"
62+
```
63+
64+
用 Argc 编写命令行程序，只需要做两件事：
65+
66+
- 在注释中描述选项、参数和子命令
67+
- 调用`eval`命令委托Argc为我们处理命令行参数
68+
69+
Argc 根据标签（`@`注释中标记的字段）生成解析规则和帮助文档。
70+
71+
72+
[https://github.com/sigoden/argc](https://github.com/sigoden/argc)

‎src/Q1/opensource/data.md

+24-1
Original file line numberDiff line numberDiff line change
@@ -14,4 +14,27 @@ Skytable 目前正在开发中，但可以用作高性能、安全和持久的
1414
- [路线图](https://github.com/skytable/skytable/issues/203)
1515
- [https://skytable.io/](https://skytable.io/)
1616
- [文档](https://docs.skytable.io/)
17-
- [https://github.com/skytable/skytable](https://github.com/skytable/skytable)
17+
- [https://github.com/skytable/skytable](https://github.com/skytable/skytable)
18+
19+
20+
## 基础工具
21+
22+
23+
### roaring-rs: 更好的压缩位集（bitset）
24+
25+
[相关论文： 使用 Roaring bitmap 获得更好的位图性能](https://arxiv.org/pdf/1402.6407v4.pdf) 中描述到：
26+
27+
> 位图索引常用于数据库和搜索引擎。通过利用位级并行性，它们可以显着加速查询。但是，它们可以使用大量内存。因此我们可能更喜欢压缩位图索引。在 Oracle 的引领下，位图通常使用运行长度编码 (RLE) 进行压缩。在这项工作中，我们引入了一种新形式的压缩位图，称为 Roaring，它使用打包数组而不是 RLE 进行压缩。我们将其与两种基于 RLE 的高性能位图编码技术进行比较：WAH（字对齐混合压缩方案）和 Concise（压缩“n”可组合整数集）。在合成数据和真实数据上，我们发现 Roaring 位图通常压缩得更好。
28+
>
29+
> Roaring 位图数据结构的 Rust 移植版本。位图（或位集）是一个二进制数组，我们可以将其视为整数集的有效且紧凑的表示。例如，集合和可能以二进制形式存储为 `10011000` 和`10110000`。我们可以使用位图（例如，在我们的例子中为`10111000`和`10010000`）上的按位运算（`OR`、`AND`）来计算两个这样的对应列表之间的并集或交集。
30+
>
31+
> Roaring 将位图集条目作为 `32` 位整数存储在简洁的两级索引中。与两种有竞争力的位图压缩方案 WAH 和 Concise 相比，Roaring 使用的内存更少，速度更快。
32+
33+
Roaring BitMap 简称为RBM，其实现思路：
34+
35+
将32位无符号整数按照高16位分桶，即最多可能有`2^16=65536`个桶，论文内称为container。存储数据时，按照数据的高16位找到container（找不到就会新建一个），再将低16位放入container中。也就是说，一个RBM就是很多container的集合。
36+
37+
> 更多内容参考： https://www.jianshu.com/p/818ac4e90daf
38+
39+
- [roaring-rs](https://github.com/RoaringBitmap/roaring-rs)
40+

‎src/Q1/opensource/embedded.md

+1
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
11
# 嵌入式Rust
2+

‎src/Q1/opensource/frontend.md

+2-1
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
1-
# 前端基建
1+
# 前端
2+

0 commit comments

Comments
 (0)