Rust 社区 · Rust 里那几个容易被忽略的类型细节

602
Rsr/rust·由 tang_hao 发布·2 小时前经验

Rust 里那几个容易被忽略的类型细节

先说结论:Rust 这套东西在中小规模下几乎不需要调优,真正开始难受的位置比大多数人以为的靠后得多。下面是完整的实测过程。

// 最小复现:注意这里必须用真实的长尾分布,
// 均匀分布的压测流量不会触发这个问题
func (s *Server) handle(ctx context.Context) error {
    conn, err := s.pool.Acquire(ctx)
    if err != nil {
        return fmt.Errorf("acquire: %w", err)
    }
    defer conn.Release()

    return s.do(ctx, conn)
}

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

真正让我意外的是长尾。平均值一直很漂亮,P99 却在某个阈值之后直接跳了一个数量级。原因不在 Rust 本身,而是我们上游的连接复用没做好,压测流量太「干净」,掩盖了长尾请求。

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

308 条评论

308 条评论

· 已加载前 120 条
我
Cchen_dev·2 天前

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

510
Wwinter·2 天前已编辑

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

498
Rran_bo·2 天前

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

489
Oops_wang·2 天前

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

466
Nnikic楼主·12 分钟前

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

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

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

110
Bbob_chen·2 天前

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

451
Aalice_dev·2 天前已编辑

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

436
Ddev_zhou·2 天前

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

432
Kkite·2 天前已编辑

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

403
Zzhu_zong楼主·3 分钟前

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

326
Wwinter·2 天前

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

378
Kkite·2 天前

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

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

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

515
Nnikic楼主·刚刚

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

280
Mmike_xu·刚刚

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

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

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

319
Ttang_hao·2 天前

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

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

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

279
Kkernel_panic楼主·2 天前

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

437
Kkite·2 天前

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

240
Aalice_dev·12 分钟前

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

241
Zzhou_yi·2 小时前

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

61
Rrase·5 小时前

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

235
Kkite·2 天前

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

224
Lli_ming·2 天前

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

221
Oops_wang·2 小时前

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

215
Nnikic楼主·12 分钟前

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

129
Oops_wang·5 小时前

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

80
Mmike_xu·12 分钟前

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

204
Kkernel_panic楼主·28 分钟前

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

25
Sswoole_lee·2 天前

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

391
Sswoole_lee·2 天前

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

479
Bbob_chen·2 天前

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

461
Aalice_dev楼主·2 天前

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

337
Kkernel_panic·2 天前

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

10
Mmike_xu·2 天前

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

1
Ddev_zhou·2 天前

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

181
Llinlin·2 天前

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

32
Nnikic·2 天前

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

77
Cchen_dev·28 分钟前

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

170
Aalice_dev·2 天前

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

108
Hhuang_ke楼主·2 天前

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

115
Llinlin·2 天前

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

158
Rrase·2 天前

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

100
Llinlin·2 天前已编辑

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

166
Rrase·2 天前

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

11
Ddev_zhou楼主·12 分钟前

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

87
Hhuang_ke·2 天前

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

127
Lli_ming楼主·3 分钟前

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

57
Rrase楼主·2 天前

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

1
Rrase·2 天前

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

3
Aalice_dev·2 天前

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

113
Ttang_hao·2 天前

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

105
Rrase·28 分钟前

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

88
Bbob_chen·2 小时前

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

80
Rran_bo·2 天前

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

287
Sswoole_lee·28 分钟前

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

77
Nnikic·刚刚

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

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

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

257
Rrase·2 天前

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

3
Bbob_chen·2 天前已编辑

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

75
Ddev_zhou·3 分钟前

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

67
Sslow_query·2 天前

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

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

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

74
Ddev_zhou·2 天前

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

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

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

4
Nnikic·2 天前已编辑

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

61
Lli_ming·2 天前

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

388
Kkernel_panic·2 天前

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

20
Aalice_dev·2 天前

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

60
Ddev_zhou·2 天前

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

49
Ttang_hao·2 天前

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

49
Lli_ming·2 天前

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

45
Oops_wang·2 天前

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

42
Cchen_dev·2 天前

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

36
Aalice_dev·2 天前

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

36
Aalice_dev·2 天前

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

67
Kkernel_panic版主·2 天前已编辑

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

1
Wwinter·12 分钟前

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

20
Zzhou_yi·2 天前

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

19
Wwinter版主·2 天前已编辑

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

11
Kkernel_panic·2 天前

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

293
Mmike_xu·2 天前

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

445
Rrase·2 小时前

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

410
Llinlin·2 天前

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

178
Ddev_zhou楼主·2 天前

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

301
Sswoole_lee·2 天前

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

114
Lli_ming·2 天前

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

197
Kkernel_panic·2 天前

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

2
Mmike_xu·2 小时前

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

365
Kkite版主·2 天前已编辑

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

91
Wwinter·2 天前

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

11
Mmike_xu·2 天前

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

48
Sswoole_lee·5 小时前

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

6
Hhuang_ke·1 小时前

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

287
Ttang_hao·2 天前

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

145
Zzhou_yi·2 天前

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

1
Ttang_hao版主·2 天前

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

9
Sswoole_lee·2 天前

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

1
Cchen_dev·1 小时前

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

6
Kkernel_panic·2 天前

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

335
Rrase·2 天前

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

53
Lli_ming·2 天前

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

261
Llinlin·12 分钟前

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

19
Mmike_xu·28 分钟前

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

138
Mmike_xu·2 天前

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

243
Ddev_zhou·2 天前

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

102
Mmike_xu·2 天前

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

190
Oops_wang·2 天前

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

41
Ddev_zhou·1 小时前

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

18
Kkernel_panic·2 天前

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

34
Kkite·28 分钟前

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

2
Nnikic楼主·28 分钟前

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

66
Ttang_hao楼主·昨天

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

28
Rran_bo·2 天前已编辑第 6 层

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

287
Zzhou_yi·2 天前

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

12
Sswoole_lee·2 天前第 6 层

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

1
Ttang_hao·2 小时前

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

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

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

116
Cchen_dev·2 天前

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

6
Rran_bo·2 天前

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

5
Rran_bo·2 天前

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

5
Rrase版主·2 天前

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

5
Bbob_chen·2 天前

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

3
Rran_bo·2 天前

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

2
Nnikic·1 小时前已编辑

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

2
Ttang_hao·2 天前

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

1

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

看数据表设计 →