Rust 社区 · Rust 的内存占用为什么比同类高出一倍?

329
Rsr/rust·由 nikic 发布·1 小时前求助已锁定

Rust 的内存占用为什么比同类高出一倍?

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

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

继续用,等官方修44%
立刻换第三方方案28%
自己 fork 一份维护17%
先写适配层观望11%

共 559 人参与投票

165 条评论

165 条评论

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

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

516
Mmike_xu·2 天前

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

505
Wwinter·2 天前

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

472
Oops_wang楼主·2 天前

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

379
Sswoole_lee楼主·2 天前

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

343
Zzhou_yi·12 分钟前

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

370
Wwinter·2 天前

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

359
Sslow_query·昨天

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

357
Sswoole_lee·2 天前

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

435
Cchen_dev·2 天前

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

340
Zzhu_zong·2 天前

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

414
Sslow_query·12 分钟前

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

323
Kkite·2 天前

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

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

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

5
Wwinter·2 天前已编辑

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

293
Ttang_hao楼主·2 天前

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

232
Lli_ming·3 分钟前

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

290
Bbob_chen·2 天前

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

281
Oops_wang·2 天前

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

240
Ttang_hao·2 天前

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

1
Kkernel_panic·2 小时前已编辑

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

230
Sswoole_lee·28 分钟前

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

110
Sslow_query·2 天前

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

269
Sslow_query·2 天前

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

15
Bbob_chen·2 天前

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

3
Cchen_dev楼主·2 天前已编辑

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

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

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

2
Kkite版主·2 天前

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

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

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

1
Zzhu_zong·12 分钟前

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

229
Sswoole_lee·3 分钟前

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

254
Nnikic·2 天前

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

13
Hhuang_ke·2 天前

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

198
Bbob_chen·刚刚

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

180
Zzhu_zong版主·2 天前

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

4
Rrase·2 天前

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

180
Ddev_zhou·2 天前已编辑

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

1
Zzhou_yi·2 天前

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

2
Ttang_hao·5 小时前已编辑

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

7
Rrase·2 天前

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

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

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

175
Hhuang_ke·2 天前

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

170
Zzhou_yi·2 天前已编辑

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

272
Oops_wang·2 天前

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

440
Ttang_hao·2 天前

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

182
Sswoole_lee·2 天前

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

357
Hhuang_ke·2 天前

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

27
Sslow_query·2 天前

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

5
Hhuang_ke·2 天前

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

167
Hhuang_ke楼主·5 小时前

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

64
Kkite·2 小时前已编辑

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

59
Zzhou_yi·12 分钟前

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

109
Hhuang_ke·2 天前

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

8
Ddev_zhou·2 天前

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

512
Kkernel_panic·2 天前

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

88
Aalice_dev·2 天前

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

324
Hhuang_ke·2 天前

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

72
Lli_ming·1 小时前已编辑

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

76
Mmike_xu·2 天前

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

18
Wwinter·2 天前

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

72
Ddev_zhou·2 天前

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

71
Lli_ming·2 天前

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

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

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

63
Rran_bo楼主·3 分钟前

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

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

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

2
Kkernel_panic楼主·2 天前已编辑

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

1
Rrase·2 天前

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

514
Ddev_zhou·2 天前

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

44
Zzhou_yi·2 小时前

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

42
Wwinter·2 天前

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

38
Kkite·2 天前

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

33
Kkernel_panic·2 天前

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

30
Hhuang_ke·1 小时前

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

16
Sswoole_lee·2 天前已编辑

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

13
Ttang_hao·3 分钟前已编辑

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

10
Cchen_dev·刚刚已编辑

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

233
Zzhou_yi·12 分钟前已编辑

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

278
Nnikic·2 天前

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

208
Kkite楼主·2 天前

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

1
Mmike_xu·2 天前

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

51
Mmike_xu·2 天前

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

11
Zzhu_zong·昨天

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

51
Lli_ming·28 分钟前

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

364
Sslow_query·28 分钟前

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

103
Rran_bo·28 分钟前

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

189
Sslow_query·2 天前

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

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

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

330
Ddev_zhou·2 天前

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

279
Zzhu_zong楼主·2 天前

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

21
Lli_ming·2 天前

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

220
Cchen_dev·2 天前第 6 层

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

232
Kkite楼主·刚刚

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

115
Kkite版主·2 天前

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

401
Oops_wang·刚刚

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

2
Cchen_dev·1 小时前

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

5
Sswoole_lee·5 小时前

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

49
Mmike_xu·2 天前

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

285
Nnikic·2 天前

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

75
Lli_ming·2 天前

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

440
Oops_wang·2 天前

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

14
Nnikic·2 天前

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

41
Rrase·1 小时前

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

1
Ddev_zhou·2 天前已编辑

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

491
Oops_wang·2 天前

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

319
Ttang_hao·2 天前

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

110
Bbob_chen·2 天前

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

192
Ttang_hao·3 分钟前

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

1
Sslow_query·2 天前

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

366
Zzhu_zong楼主·2 天前

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

125
Oops_wang·2 天前

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

481
Sslow_query版主·2 小时前

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

29
Ttang_hao楼主·2 天前第 6 层

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

127
Ddev_zhou·2 天前

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

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

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

4
Rran_bo·2 小时前

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

3
Kkite·1 小时前

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

272
Zzhu_zong·2 天前

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

101
Cchen_dev楼主·2 天前

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

1
Zzhu_zong·2 天前

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

13
Sswoole_lee·2 天前

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

92
Ddev_zhou·2 天前已编辑

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

11
Oops_wang·2 天前

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

441
Bbob_chen·2 天前

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

367
Zzhu_zong·2 天前

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

105
Llinlin·2 天前

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

102
Llinlin·刚刚

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

1
Nnikic·2 天前已编辑

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

15
Ttang_hao·2 天前

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

12

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

看数据表设计 →