Rust 社区 · Rust 的日志规范:从「能看」到「能用」差了什么

1.0k
Rsr/rust·由 ran_bo 发布·昨天开源

Rust 的日志规范:从「能看」到「能用」差了什么

先说背景。我们的场景是 Rust + 三个下游服务,日均请求量七位数,峰值集中在晚上九点前后。

# 压测命令:注意 -c 不要一次拉满,要阶梯上升
# 直接拉满会错过拐点
for c in 50 100 200 400 800; do
  wrk -t8 -c$c -d60s --latency http://127.0.0.1:8080/api/feed
  sleep 20
done

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

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

关于取舍,我的判断是:如果团队里没有人长期盯这块,就不要引入第二套机制。两套并存的时候,出问题时你甚至要先花时间判断「这次是哪个在起作用」,那个成本比性能损失高得多。

274 条评论

274 条评论

· 已加载前 120 条
我
Sslow_query·12 分钟前

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

518
Lli_ming·28 分钟前

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

324
Kkernel_panic·2 天前

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

476
Oops_wang·2 天前

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

514
Zzhu_zong·2 天前

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

477
Rran_bo楼主·3 分钟前

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

416
Sslow_query·2 天前

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

467
Rrase·2 天前

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

236
Kkite·2 天前

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

299
Zzhu_zong·2 天前

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

99
Zzhou_yi·2 天前已编辑

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

5
Nnikic·2 天前

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

34
Aalice_dev·2 天前

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

6
Nnikic·2 天前

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

10
Lli_ming·2 天前

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

199
Rrase版主·2 天前

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

448
Cchen_dev·昨天

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

426
Rrase·2 天前

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

282
Aalice_dev版主·2 天前

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

2
Ttang_hao·2 天前

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

20
Bbob_chen·2 天前

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

81
Bbob_chen·2 天前

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

7
Ttang_hao·1 小时前

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

408
Ddev_zhou·28 分钟前

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

394
Lli_ming·2 天前

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

383
Rran_bo版主·2 天前

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

347
Wwinter版主·2 天前

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

293
Kkite·2 小时前

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

273
Lli_ming·2 天前

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

273
Hhuang_ke·昨天

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

371
Hhuang_ke·2 天前已编辑

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

206
Ttang_hao·2 天前

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

70
Sslow_query·2 天前

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

191
Nnikic·2 天前

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

172
Mmike_xu·12 分钟前

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

1
Wwinter·刚刚

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

171
Ddev_zhou·3 分钟前

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

1
Bbob_chen·28 分钟前

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

165
Cchen_dev版主·12 分钟前

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

124
Bbob_chen·3 分钟前已编辑

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

430
Hhuang_ke·2 天前

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

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

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

218
Sslow_query·2 天前

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

69
Rran_bo楼主·2 天前

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

96
Sslow_query·2 小时前

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

40
Zzhu_zong·2 天前

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

433
Zzhu_zong·2 天前

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

241
Llinlin·2 天前

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

230
Oops_wang·2 天前

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

505
Rran_bo版主·12 分钟前

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

40
Hhuang_ke·2 天前已编辑

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

432
Hhuang_ke·2 天前第 6 层

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

48
Ddev_zhou·2 天前

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

5
Ttang_hao·2 天前第 6 层

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

2
Oops_wang·2 天前

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

1
Zzhou_yi·2 小时前

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

10
Kkite·2 天前

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

33
Zzhou_yi·2 天前

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

151
Ddev_zhou·2 天前

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

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

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

36
Bbob_chen·2 小时前

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

145
Sswoole_lee·2 天前

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

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

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

142
Kkernel_panic·2 天前

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

134
Ttang_hao·2 天前

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

124
Zzhou_yi·2 天前

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

119
Nnikic·2 天前

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

114
Kkite·2 天前

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

56
Lli_ming·刚刚

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

106
Ttang_hao·2 天前

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

99
Mmike_xu·刚刚

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

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

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

82
Aalice_dev楼主·2 天前

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

18
Lli_ming·12 分钟前

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

50
Rran_bo·2 天前已编辑

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

454
Sswoole_lee·2 天前

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

33
Rrase·2 天前已编辑

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

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

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

4
Llinlin·2 天前

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

30
Hhuang_ke·2 天前

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

24
Rrase·2 小时前

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

22
Sswoole_lee·2 天前

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

363
Sslow_query·2 天前

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

309
Nnikic·2 天前已编辑

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

418
Sswoole_lee·2 天前

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

21
Mmike_xu·5 小时前

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

19
Llinlin·2 小时前

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

247
Hhuang_ke·2 天前

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

43
Rran_bo·2 天前

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

6
Zzhou_yi·3 分钟前

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

61
Aalice_dev·2 天前

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

10
Zzhu_zong·2 天前已编辑

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

168
Rran_bo楼主·12 分钟前已编辑

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

152
Rrase·3 分钟前

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

79
Ttang_hao·2 天前第 6 层

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

236
Kkernel_panic·5 小时前第 6 层

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

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

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

132
Mmike_xu·2 天前已编辑

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

66
Ttang_hao·2 天前已编辑

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

18
Ttang_hao·1 小时前

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

12
Kkite·2 天前

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

36
Ttang_hao·1 小时前

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

9
Oops_wang·5 小时前

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

8
Zzhu_zong·2 天前

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

25
Bbob_chen版主·2 天前

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

514
Lli_ming·2 天前

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

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

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

374
Ddev_zhou·2 天前

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

383
Kkernel_panic·2 天前

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

371
Aalice_dev·2 天前

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

8
Sslow_query·28 分钟前

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

76
Ttang_hao版主·2 天前第 6 层

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

167
Zzhu_zong版主·2 天前第 6 层

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

12
Mmike_xu·2 天前

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

3
Rran_bo·5 小时前

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

3
Ddev_zhou·1 小时前已编辑

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

2
Mmike_xu·2 天前

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

20
Kkernel_panic版主·2 天前

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

1
Rran_bo·2 天前

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

223
Lli_ming楼主·昨天

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

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

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

325
Kkite·2 天前

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

310
Kkite·3 分钟前

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

56
Cchen_dev·28 分钟前

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

105
Zzhu_zong·2 天前

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

313
Sswoole_lee·2 天前

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

41
Zzhu_zong·3 分钟前

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

1
Aalice_dev·2 天前

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

1

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

看数据表设计 →