446
verilog-newbie 里那几个容易被忽略的类型细节
这个问题我断断续续查了两周，中间走了不少弯路，把过程原样记下来，希望后面遇到的人能少花点时间。
最后提醒一个坑：容器环境下一定要记得同步调整内存相关的参数，否则宿主机的限制和进程内部的预期会对不上，表现就是偶发的、无法复现的失败。
第一件事是把变量收敛干净。我们最开始同时在改配置和升级版本，结果两组数据的差异根本说不清是哪个带来的。后来回滚到只动一个变量，重跑了三遍，曲线才稳定下来。这一步很枯燥，但省不掉。
146 条评论
Nnews.ycombinator.com站外链接 · 点击在新标签页打开
146 条评论
· 已加载前 120 条我
Ttang_hao楼主·2 天前
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
465
Sslow_query·2 天前已编辑
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
4381 条直接回复
Kkite·2 天前
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
1
Sslow_query·2 天前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
426
Sslow_query·2 天前
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
417
Sswoole_lee·2 天前
感谢分享真实数据，比很多只讲概念的文章有用得多。
4061 条直接回复
Zzhu_zong·2 天前
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
361 条直接回复
Ttang_hao·2 天前已编辑
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
3341 条直接回复
Lli_ming·2 天前
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
3292 条直接回复
Kkernel_panic·2 天前
已收藏。正好这周要改这块，少走很多弯路。
489
Bbob_chen·2 天前
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
337
Mmike_xu·2 天前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
3951 条直接回复
Sslow_query·3 分钟前
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
355
Zzhou_yi·2 小时前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
390
Kkernel_panic·2 天前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
353
Zzhou_yi·2 天前
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
336
Nnikic·12 分钟前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
3301 条直接回复
Lli_ming·2 天前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
201
Cchen_dev·2 天前
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
329
Ddev_zhou楼主·2 天前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
266
Bbob_chen·昨天
已收藏。正好这周要改这块，少走很多弯路。
303
Rrase·2 天前
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
293
Rran_bo·2 天前
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
2791 条直接回复
Cchen_dev楼主·2 天前
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
333
Zzhou_yi·2 天前
已收藏。正好这周要改这块，少走很多弯路。
266
Bbob_chen·2 天前已编辑
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
257
Wwinter·2 天前
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
2283 条直接回复
Mmike_xu·2 天前
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
3601 条直接回复
Bbob_chen·2 天前
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
951 条直接回复
Kkernel_panic·2 天前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
114
Ttang_hao·2 天前
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
2502 条直接回复
Lli_ming·刚刚
感谢分享真实数据，比很多只讲概念的文章有用得多。
2461 条直接回复
Lli_ming·刚刚
已收藏。正好这周要改这块，少走很多弯路。
2
Sslow_query·2 天前
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
2131 条直接回复
Cchen_dev版主·2 天前
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
5
Sslow_query·2 天前
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
32 条直接回复
Sswoole_lee·2 小时前
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
281 条直接回复
Bbob_chen·2 天前已编辑
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
247
Llinlin·28 分钟前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
2
Lli_ming·2 天前
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
2061 条直接回复
Bbob_chen楼主·2 天前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
2401 条直接回复
Aalice_dev·2 天前
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
491
Lli_ming版主·2 天前
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
179
Kkite楼主·2 天前
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
106
Kkite·1 小时前
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
1342 条直接回复
Zzhu_zong楼主·3 分钟前
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
2661 条直接回复
Bbob_chen·2 天前
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
75
Cchen_dev·2 天前
感谢分享真实数据，比很多只讲概念的文章有用得多。
3
Sswoole_lee·2 天前已编辑
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
1331 条直接回复
Nnikic楼主·2 天前
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
195
Rrase·12 分钟前
已收藏。正好这周要改这块，少走很多弯路。
127
Oops_wang·3 分钟前
感谢分享真实数据，比很多只讲概念的文章有用得多。
1232 条直接回复
Llinlin·2 天前
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
3931 条直接回复
Cchen_dev·2 天前已编辑
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
186
Ttang_hao·12 分钟前
补充一个反例：如果 verilog-newbie 的版本低于 7.4，这段代码的语义是不一样的，别照抄。我们在灰度环境踩过，回滚了一次。
2095 条直接回复
Hhuang_ke·刚刚
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
4911 条直接回复
Hhuang_ke·2 天前
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
4731 条直接回复
Ttang_hao·3 分钟前
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
3831 条直接回复
Rran_bo·2 天前第 6 层
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
418
Mmike_xu·2 天前
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
2481 条直接回复
Rrase·2 天前
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
251
Ttang_hao·2 天前
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
2021 条直接回复
Lli_ming·2 天前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
3491 条直接回复
Sslow_query楼主·2 天前
感谢分享真实数据，比很多只讲概念的文章有用得多。
13 条直接回复
Hhuang_ke·2 天前第 6 层
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
383
Sslow_query·2 天前第 6 层
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
147
Kkite楼主·2 天前第 6 层
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
33
Oops_wang·2 天前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
125
Lli_ming·1 小时前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
12 条直接回复
Mmike_xu·1 小时前
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
28
Kkernel_panic·2 天前
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
2
Rran_bo·3 分钟前
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
1202 条直接回复
Bbob_chen·28 分钟前已编辑
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
3001 条直接回复
Ttang_hao·2 天前
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
1
Aalice_dev·5 小时前
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
11 条直接回复
Rran_bo·2 天前已编辑
感谢分享真实数据，比很多只讲概念的文章有用得多。
103 条直接回复
Sslow_query·2 天前
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
417
Nnikic版主·3 分钟前
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
379
Zzhou_yi·2 天前
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
378
Sslow_query·刚刚
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
1113 条直接回复
Nnikic楼主·2 天前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
12 条直接回复
Wwinter·1 小时前
已收藏。正好这周要改这块，少走很多弯路。
4932 条直接回复
Zzhu_zong·2 天前
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
36
Ttang_hao·2 天前
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
2
Bbob_chen·2 天前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
3541 条直接回复
Sswoole_lee·2 天前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
391 条直接回复
Zzhu_zong·2 天前
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
1831 条直接回复
Ttang_hao·2 天前第 6 层
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
79
Kkite·2 天前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
92 条直接回复
Rran_bo·2 天前已编辑
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
171 条直接回复
Rrase·2 天前
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
266
Wwinter·5 小时前
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
7
Zzhou_yi·2 天前
贴一下我们的实测数据，8 核 16G，同样的场景：
| 并发 | P50 | P99 | |---|---|---| | 200 | 12ms | 88ms | | 500 | 31ms | 340ms |
P99 在 500 并发时明显崩了，和你说的拐点基本吻合。
1
Oops_wang·刚刚
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
111
Rrase·28 分钟前
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
70
Sslow_query·昨天
这里其实有个更简单的做法，不需要改架构：把这一层判断提前到网关，问题就消失了。代价是网关会多一次查表。
61
Mmike_xu·2 天前
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
60
Bbob_chen·2 天前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
49
Sslow_query·2 天前
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
401 条直接回复
Rrase楼主·2 天前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
122 条直接回复
Ddev_zhou·2 天前
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
412
Aalice_dev楼主·2 天前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
12
Wwinter·2 天前
我们生产环境用了两年，没遇到过。不过我承认我们没上到这个量级，所以这个结论对我们没有参考价值。
33
Cchen_dev·2 天前
感谢分享真实数据，比很多只讲概念的文章有用得多。
26
Zzhou_yi·2 天前
已收藏。正好这周要改这块，少走很多弯路。
12
Ttang_hao·2 天前
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
11
Bbob_chen·3 分钟前
这个结论和我们线上的观察一致。我们是在 QPS 到 3k 之后才撞上这个问题的，前压测阶段完全看不出来——因为压测流量太「干净」了，没有长尾请求。
8
Aalice_dev·2 小时前
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
61 条直接回复
Rrase楼主·2 小时前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
3073 条直接回复
Zzhou_yi·2 天前
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
1491 条直接回复
Wwinter·2 天前
楼主说的第 3 点我有不同看法。这里的取舍取决于你的读写比：读多写少的话，加缓存反而会放大不一致窗口。
457
Sslow_query楼主·2 天前
能不能给出最小复现？我本地跑了十分钟没复现出来，环境是 macOS + 最新版。
38
Ddev_zhou·2 天前
想请教一下，这个方案在容器里（内存限制 512Mi）会有什么变化？我们线上就是这么配的。
3
Bbob_chen·5 小时前已编辑
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
31 条直接回复
Lli_ming·2 天前
刚翻了下 verilog-newbie 的源码，作者在注释里其实解释过为什么这么设计，大意是「为了在极端情况下退化成可预期行为」。
159
Wwinter·2 天前
同意上面说的。补充一点：如果开了这个选项，监控指标里的 GC 次数会翻倍，需要同步调整告警阈值，否则会一直误报。
21 条直接回复
Hhuang_ke·2 天前
有没有人做过对照实验？我做了一组，把变量控制到只剩这一个，结果差距只有 4%，基本在噪声范围内。所以我觉得主因可能不是这个。
101 条直接回复
Rran_bo·2 天前
已收藏。正好这周要改这块，少走很多弯路。
284
Wwinter·28 分钟前
这不是 verilog-newbie 的问题，是用法的问题。文档里写了这个 API 不是线程安全的，要自己在外面加锁。
1
Zzhu_zong·2 小时前
楼主这个排查思路值得学习。我们之前是直接从日志下手，绕了很大一圈。
1
这是帖子详情页 /zh-CN/c/verilog-newbie/post/p6。帖子与评论都由种子随机数确定性生成 —— 同一个帖子每次打开内容一致，因此可以直接分享链接、刷新、被搜索引擎收录。真实实现里这一页是 MySQL 读帖子 + Redis 缓存热帖 + 评论树按 path 字段一次性取出。
看数据表设计 →