Rust 社区 · 开源了一个 Rust 的限流中间件,支持令牌桶与滑动窗口

1.5k
Rsr/rust·由 mike_xu 发布·1 小时前经验

开源了一个 Rust 的限流中间件,支持令牌桶与滑动窗口

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

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

顺便说一句,官方文档里这段其实有写,只是藏在一个很不起眼的位置。我是在翻源码注释的时候才发现的,注释里作者解释了为什么这么设计 —— 大意是「为了在极端情况下退化成可预期的行为」。

Bblog.rust-lang.org站外链接 · 点击在新标签页打开
770 条评论

770 条评论

· 已加载前 120 条
我
Wwinter·2 小时前

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

475
Hhuang_ke楼主·2 天前

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

2
Ttang_hao·2 天前

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

29
Sswoole_lee·28 分钟前

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

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

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

379
Mmike_xu·1 小时前

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

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

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

12
Mmike_xu·2 天前

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

486
Cchen_dev楼主·2 天前

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

1
Bbob_chen·12 分钟前

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

358
Bbob_chen·2 天前

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

344
Rrase·刚刚

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

332
Oops_wang·2 天前

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

317
Llinlin·2 天前

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

300
Sswoole_lee·2 天前

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

285
Cchen_dev·2 天前

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

293
Rrase·2 天前

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

290
Sslow_query·2 小时前

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

272
Nnikic·2 天前

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

396
Zzhou_yi·2 天前

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

12
Wwinter·2 天前

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

244
Cchen_dev·2 天前

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

229
Lli_ming·2 小时前

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

374
Cchen_dev·2 天前

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

217
Kkernel_panic·2 天前

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

445
Nnikic·2 小时前

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

178
Kkernel_panic·2 天前

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

354
Nnikic·2 天前

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

460
Ttang_hao·2 天前

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

120
Nnikic·2 天前

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

498
Bbob_chen·2 天前

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

379
Cchen_dev·2 天前

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

143
Aalice_dev·2 天前已编辑

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

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

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

463
Sslow_query·12 分钟前

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

134
Sswoole_lee·刚刚

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

339
Kkernel_panic·12 分钟前

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

22
Cchen_dev楼主·1 小时前

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

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

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

180
Ddev_zhou·2 天前

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

4
Bbob_chen楼主·28 分钟前

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

105
Zzhou_yi·1 小时前

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

150
Zzhu_zong·12 分钟前

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

217
Sswoole_lee版主·2 天前

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

9
Ddev_zhou·5 小时前第 6 层

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

224
Llinlin·2 天前

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

92
Zzhou_yi·2 小时前

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

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

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

2
Ttang_hao·2 天前已编辑

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

302
Mmike_xu·2 小时前

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

188
Ddev_zhou·3 分钟前第 6 层

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

399
Ttang_hao·2 天前第 6 层

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

188
Wwinter·2 天前

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

176
Nnikic·1 小时前

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

1
Zzhou_yi·2 小时前

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

285
Sslow_query·1 小时前

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

188
Bbob_chen·3 分钟前

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

46
Hhuang_ke·2 天前已编辑第 6 层

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

378
Ddev_zhou·刚刚已编辑

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

13
Lli_ming·2 天前

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

407
Kkernel_panic楼主·2 天前

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

371
Lli_ming·5 小时前

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

45
Aalice_dev·2 天前已编辑

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

424
Llinlin·2 天前

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

359
Sswoole_lee·2 天前第 6 层

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

417
Llinlin·昨天

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

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

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

256
Hhuang_ke·2 天前

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

127
Sslow_query·1 小时前

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

1
Bbob_chen·2 天前第 6 层

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

433
Mmike_xu·2 天前第 6 层

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

5
Wwinter·2 天前

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

39
Nnikic·2 天前

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

496
Nnikic·12 分钟前已编辑

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

18
Ttang_hao·刚刚已编辑

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

3
Wwinter·12 分钟前

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

23
Kkite·2 天前

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

15
Rrase·2 天前

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

1
Llinlin·2 天前

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

121
Nnikic·2 天前

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

121
Cchen_dev·2 天前

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

120
Lli_ming·2 天前

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

113
Llinlin·昨天

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

111
Aalice_dev·1 小时前

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

110
Mmike_xu·2 天前

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

404
Sswoole_lee·2 天前

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

145
Ttang_hao楼主·2 天前

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

41
Llinlin版主·昨天

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

432
Kkernel_panic·2 天前

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

90
Sswoole_lee楼主·2 天前

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

27
Sslow_query·2 天前

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

82
Lli_ming·2 天前

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

14
Rrase楼主·12 分钟前

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

1
Sslow_query·2 天前

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

499
Kkernel_panic·2 天前

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

351
Ddev_zhou·2 天前

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

44
Sslow_query·2 天前

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

34
Zzhou_yi·3 分钟前

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

31
Zzhu_zong·2 天前

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

21
Nnikic·昨天

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

21
Bbob_chen·2 小时前

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

20
Cchen_dev·2 天前

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

403
Kkernel_panic·2 天前

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

20
Bbob_chen·2 天前

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

12
Cchen_dev楼主·2 天前

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

237
Cchen_dev·2 天前

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

11
Nnikic·2 小时前

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

10
Ttang_hao·2 天前

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

312
Hhuang_ke·2 天前

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

396
Oops_wang·2 天前

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

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

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

373
Kkernel_panic版主·2 天前

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

367
Llinlin·2 天前已编辑

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

405
Llinlin·2 天前

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

306
Sslow_query·2 天前

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

363
Sswoole_lee·昨天

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

288
Kkite·2 天前

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

64
Cchen_dev·12 分钟前已编辑

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

32
Sslow_query·2 天前

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

323
Llinlin·2 天前

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

89
Oops_wang·2 天前

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

7
Kkite·2 天前

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

6
Kkernel_panic·2 天前

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

6
Llinlin·昨天

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

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

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

4
Bbob_chen·28 分钟前

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

1
Bbob_chen版主·刚刚

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

1
Cchen_dev·2 天前

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

1

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

看数据表设计 →