Rust 社区 · 一图看懂 Rust 的执行流程(含时序图)

195
Rsr/rust·由 rase 发布·昨天讨论

一图看懂 Rust 的执行流程(含时序图)

网上关于 Rust 的文章大多停在「怎么用」,很少有人写「什么时候不该用」。这篇想补上后半句。

监控这块我们也顺手改了:把原来的平均值告警换成分位数,并且按接口拆分。改完之后误报少了大概七成,值班同学的怨气肉眼可见地下降了。

最后提醒一个坑:容器环境下一定要记得同步调整内存相关的参数,否则宿主机的限制和进程内部的预期会对不上,表现就是偶发的、无法复现的失败。

第一件事是把变量收敛干净。我们最开始同时在改配置和升级版本,结果两组数据的差异根本说不清是哪个带来的。后来回滚到只动一个变量,重跑了三遍,曲线才稳定下来。这一步很枯燥,但省不掉。

109 条评论

109 条评论

我
Mmike_xu·刚刚

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

498
Ttang_hao·昨天

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

488
Mmike_xu·2 天前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

2
Kkite·昨天已编辑

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

417
Ttang_hao·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

405
Ddev_zhou·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

428
Zzhou_yi·2 小时前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

404
Lli_ming楼主·昨天

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

206
Lli_ming·2 天前已编辑

已收藏。正好这周要改这块,少走很多弯路。

397
Sswoole_lee·刚刚

刚翻了下 Rust 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

1
Lli_ming·2 天前

刚翻了下 Rust 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

345
Oops_wang·1 小时前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

332
Kkernel_panic·2 天前

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

319
Rrase·3 分钟前已编辑

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

302
Nnikic·2 天前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

301
Nnikic·刚刚

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

274
Ddev_zhou·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

1
Hhuang_ke·刚刚

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

250
Ddev_zhou楼主版主·2 天前

补充一个反例:如果 Rust 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

175
Zzhou_yi版主·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

194
Hhuang_ke·昨天

已收藏。正好这周要改这块,少走很多弯路。

180
Rran_bo·昨天

补充一个反例:如果 Rust 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

396
Lli_ming·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

75
Aalice_dev·12 分钟前

感谢分享真实数据,比很多只讲概念的文章有用得多。

126
Oops_wang版主·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

55
Cchen_dev·1 小时前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

179
Rran_bo·12 分钟前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

267
Llinlin·12 分钟前已编辑

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

122
Nnikic楼主·2 天前

刚翻了下 Rust 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

449
Oops_wang·2 天前已编辑

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

313
Rrase·2 天前第 6 层

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

39
Aalice_dev·2 天前

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

300
Cchen_dev·2 天前第 6 层

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

368
Mmike_xu楼主·2 天前第 6 层

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

1
Oops_wang·2 天前已编辑第 6 层

已收藏。正好这周要改这块,少走很多弯路。

33
Lli_ming·2 天前第 6 层

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

32
Rrase·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

391
Ttang_hao·2 天前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

234
Bbob_chen·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

248
Mmike_xu·2 天前第 6 层

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

207
Rran_bo楼主·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

140
Ttang_hao楼主·2 天前第 6 层

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

2
Zzhou_yi·2 天前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

12
Ddev_zhou·2 天前第 6 层

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

114
Ddev_zhou·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

14
Zzhou_yi·2 小时前

已收藏。正好这周要改这块,少走很多弯路。

1
Ttang_hao·2 天前已编辑

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

195
Sswoole_lee·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

176
Llinlin版主·昨天

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

175
Sslow_query·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

26
Ddev_zhou·刚刚已编辑

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

428
Zzhou_yi·2 天前

已收藏。正好这周要改这块,少走很多弯路。

407
Zzhou_yi楼主·2 天前

补充一个反例:如果 Rust 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

227
Cchen_dev·2 天前

感谢分享真实数据,比很多只讲概念的文章有用得多。

22
Llinlin·2 天前

已收藏。正好这周要改这块,少走很多弯路。

2
Mmike_xu·2 小时前

补充一个反例:如果 Rust 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

151
Kkernel_panic楼主·2 小时前

刚翻了下 Rust 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

347
Kkite·2 天前已编辑

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

332
Sswoole_lee·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

262
Hhuang_ke·28 分钟前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

3
Oops_wang楼主·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

161
Lli_ming·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

1
Mmike_xu楼主·3 分钟前已编辑

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

6
Aalice_dev楼主·2 天前

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

53
Sswoole_lee·2 天前

刚翻了下 Rust 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

188
Rran_bo·2 天前已编辑

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

6
Lli_ming·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

160
Zzhou_yi·2 小时前

感谢分享真实数据,比很多只讲概念的文章有用得多。

236
Bbob_chen·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

22
Hhuang_ke版主·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

133
Kkernel_panic·2 天前已编辑

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

123
Mmike_xu·2 天前已编辑

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

117
Sslow_query·2 天前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

114
Sslow_query·1 小时前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

109
Ttang_hao·2 天前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

91
Llinlin楼主·5 小时前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

29
Rran_bo·2 天前

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

88
Bbob_chen·2 小时前

感谢分享真实数据,比很多只讲概念的文章有用得多。

76
Bbob_chen·2 天前

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

69
Wwinter·2 天前

刚翻了下 Rust 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

53
Hhuang_ke·3 分钟前已编辑

贴一下我们的实测数据,8 核 16G,同样的场景:

| 并发 | P50 | P99 |
|---|---|---|
| 200 | 12ms | 88ms |
| 500 | 31ms | 340ms |

P99 在 500 并发时明显崩了,和你说的拐点基本吻合。

39
Oops_wang·2 天前已编辑

刚翻了下 Rust 的源码,作者在注释里其实解释过为什么这么设计,大意是「为了在极端情况下退化成可预期行为」。

36
Hhuang_ke·2 天前

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

245
Kkite·2 天前已编辑

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

36
Lli_ming·2 天前

感谢分享真实数据,比很多只讲概念的文章有用得多。

145
Sswoole_lee·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

201
Hhuang_ke·2 天前

补充一个反例:如果 Rust 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

29
Hhuang_ke·刚刚已编辑

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

25
Zzhou_yi·12 分钟前

感谢分享真实数据,比很多只讲概念的文章有用得多。

20
Wwinter·28 分钟前已编辑

已收藏。正好这周要改这块,少走很多弯路。

3
Cchen_dev·2 天前

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

19
Sswoole_lee·3 分钟前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

15
Mmike_xu·2 天前

能不能给出最小复现?我本地跑了十分钟没复现出来,环境是 macOS + 最新版。

416
Wwinter·2 天前

补充一个反例:如果 Rust 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

1
Llinlin·2 天前

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

196
Cchen_dev·12 分钟前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

14
Lli_ming版主·2 天前

这里其实有个更简单的做法,不需要改架构:把这一层判断提前到网关,问题就消失了。代价是网关会多一次查表。

12
Hhuang_ke·2 天前

这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的,前压测阶段完全看不出来——因为压测流量太「干净」了,没有长尾请求。

9
Kkite版主·2 天前

我们生产环境用了两年,没遇到过。不过我承认我们没上到这个量级,所以这个结论对我们没有参考价值。

8
Sslow_query·2 天前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

14
Hhuang_ke·2 天前

楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比:读多写少的话,加缓存反而会放大不一致窗口。

4
Aalice_dev·2 天前

已收藏。正好这周要改这块,少走很多弯路。

3
Sslow_query·2 天前已编辑

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

2
Llinlin·12 分钟前

有没有人做过对照实验?我做了一组,把变量控制到只剩这一个,结果差距只有 4%,基本在噪声范围内。所以我觉得主因可能不是这个。

1
Aalice_dev·2 天前

补充一个反例:如果 Rust 的版本低于 7.4,这段代码的语义是不一样的,别照抄。我们在灰度环境踩过,回滚了一次。

1
Lli_ming·2 天前

同意上面说的。补充一点:如果开了这个选项,监控指标里的 GC 次数会翻倍,需要同步调整告警阈值,否则会一直误报。

455
Kkite·2 天前

这不是 Rust 的问题,是用法的问题。文档里写了这个 API 不是线程安全的,要自己在外面加锁。

167
Oops_wang·2 天前已编辑

想请教一下,这个方案在容器里(内存限制 512Mi)会有什么变化?我们线上就是这么配的。

137
Hhuang_ke·2 天前

楼主这个排查思路值得学习。我们之前是直接从日志下手,绕了很大一圈。

1

这是帖子详情页 /zh-CN/c/rust/post/p3。帖子与评论都由种子随机数确定性生成 —— 同一个帖子每次打开内容一致,因此可以直接分享链接、刷新、被搜索引擎收录。真实实现里这一页是 MySQL 读帖子 + Redis 缓存热帖 + 评论树按 path 字段一次性取出。

看数据表设计 →